The Frama-C team is hiring!
We are open-source believers, and we take pride in seeing our science-fueled tools used for industry-grade applications.
We have frequent open positions to hire postdocs, PhD students and research interns in program analysis and software security. This page lists opened positions, but we are open to other collaborations, please contact allan.blanchard(at)cea.fr or loic.correnson(at)cea.fr.
Internship
Program representations for Deep Learning
Keywords: Machine Learning, Graph Neural Networks, Software verification
Internship
Cybersecurity and Safety analysis with Frama-C / Eva
Keywords: Security, Software verification, Static analysis, Formal methods, Abstract Interpretation
Internship
Parallel Abstract Interpretation
Keywords: Security, Software verification, Static analysis, Formal methods, Abstract Interpretation
3-year Computer Scientist
Design and develop the new symbolic linker of Frama-C
Keywords: Software Analysis, Formal Methods, OCaml
3-year Computer Scientist
Design and develop the new AST of Frama-C
Keywords: Software Analysis, Formal Methods, OCaml
3-year Engineer
Develop and extend Ivette, the new Electron-based Frama-C graphical user interface
Keywords: GUI, TypeScript, OCaml, Analysis Environment
Internship
Cybersecurity and Safety analysis with Frama-C / Eva
Keywords: Security, Software verification, Static analysis, Formal methods, Abstract Interpretation