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.
Postdoc Position
Outline Runtime Annotation Checking
Keywords: runtime annotation checking, outline monitoring, compilation, source code generation
PhD Position
Runtime Verification of Multi-State Properties
Keywords: runtime annotation checking, code generation, formal program transformation and analysis
Internship
Implement a new output for Frama-C in LSIF format to interact with IDEs (VSCode) and forges (GitHub, GitLab).
Keywords: Frama-C, Program Analysis, IDE, Continuous Integration
3-year Computer Scientist
Develop and extend the kernel 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
3-year Computer Scientist
Develop and extend the formal analysis capability of Frama-C. In particular, provide new features either in the Eva plug-in or WP plug-in
Keywords: Software Analysis, Formal Methods, OCaml
Internship
Deep Learning for improving formal verification with Frama-C / Eva
Keywords: Deep Learning, Graph Neural Networks , Representation Learning, Static analysis, Formal methods
Internship
Cybersecurity and Safety analysis with Frama-C / Eva
Keywords: Security, Software verification, Static analysis, Formal methods, Abstract Interpretation