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.