Contact Us

If you think Frama-C could be part of any kind of scientific collaboration, including research projects, internships, PhDs, post-doctoral positions and dissemination activities, please contact thibaud.antignac(at)cea.fr or loic.correnson(at)cea.fr.

Open positions

Permanent Computer Scientist Position at CEA LIST - LSL

Develop and extend the applicability of Frama-C for cybersecurity purposes [More details]
Keywords: cybersecurity, software analysis, formal methods, open source

PhD Position at CEA LIST - LSL

Machine Learning for Improving Formal Verification of Code [More details]
Keywords: machine learning, graph neural networks, code representation learning, formal methods

Internship Position at CEA LIST - LSL

Cybersecurity and Safety analysis with Frama-C / Eva [More details]
Keywords: Security, Software verification, Static analysis, Formal methods, Abstract Interpretation

Internship Position at CEA LIST - LSL

Deep Learning for improving formal verification with Frama-C / Eva [More details]
Keywords: Deep Learning, Graph Neural Networks , Representation Learning, Static analysis, Formal methods

Newest Frama-C Questions & Answers on Stack Overflow

Find us