Postdoctoral Research Visit in Neurosymbolic Relational Graph Neural Networks 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...

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...

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 ...

Postdoctoral Researcher in Source Code History Analysis at Inria, France This postdoctoral opening is part of the SPIRALS project team at Inria , the French national research institute for the digital sciences. The research sits at the intersection of Computer Science , Software Engineering , Mining Software Repositories , Program Analysis , and large-scale code infrastructure. The project focuses on source code history analysis using HyperAST , a DAG-based model that deduplicates code subtrees ...

IMT Atlantique is advertising a post-doctoral researcher position in mechanistic interpretability and diversity of representations , based in Brest, France , within the BRAIN team (BRoader Artificial INtelligence) of Lab-STICC (UMRCNRS 6285) . The position is part of the ENDIVE project, which studies how diversity can help machine learning when annotation budget is limited. The project investigates diversity at two levels: the diversity of training data and the diversity of internal representati...