The Frama-C team is hiring!

Join us!

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.

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