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.