Postdoctoral Researcher in Source Code History Analysis and Incremental Code Search Inria in France

CNRS and the Lorrain Computer Science Laboratory (LORIA) in Nancy, France are advertising a 2-year postdoctoral position in cryptography , with a strong focus on symmetric-key cryptology and the analysis of modern encryption primitives. The project centers on the design and cryptanalysis of block ciphers , stream ciphers , and hash functions . The advertised research direction highlights classical and advanced attack techniques such as linear cryptanalysis , differential cryptanalysis , differen...

Inria is offering a postdoctoral research visit in neurosymbolic relational graph neural networks within the TYREX research team in France. The project sits at the intersection of computer science , graph neural networks , relational learning , and relational databases , with a strong focus on combining symbolic knowledge with message passing architectures. The research aims to move beyond purely statistical relational GNNs by injecting symbolic information such as schemas, constraints, function...

Inria is recruiting a Post-Doctoral Research Visit in AI auditing, AI security, machine learning theory, and information gain at the Inria Centre at Rennes University in France . The project sits at the intersection of black-box model auditing , model fingerprinting , adversarial ML , and offensive/defensive AI security . The research goal is to build a hierarchy of attacks and audits based on distinguishability and property testing , helping bridge the gap between legal auditing of deployed AI ...

PhD opportunity in Non-Classical Logical Reasoning and Large Language Models within the project Designing Artificial Reasoners for Communication (DesiRes) . The position is associated with the Institut de Recherche en Informatique de Toulouse (IRIT) and CNRS in France. The research focus is on combining formal reasoning methods with modern AI/LLM approaches, making it a strong fit for candidates interested in Computer Science , Mathematics , Information Technology , and related areas of Cognitiv...

CNRS is advertising a postdoctoral position in post-quantum cryptography based in Lyon, France , within the Unité de Mathématiques Pures et Appliquées (UMPA) at ENS de Lyon . The post is attached to the ERC project AGATHA CRYPTY and focuses on the algorithmic and mathematical aspects of lattice-based cryptography and isogeny-based cryptography . The successful candidate will join the number theory team of UMPA and contribute actively to cryptologic research. Expected activities include producing...