Contact Us

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.

Community

Gitlab Issues
The official Frama-C issues on its Gitlab (for bug reporting and feature requests).
Stack Overflow
The Frama-C community uses Stack Overflow for general-purpose questions.
Frama-C-discuss
The official Frama-C mailing list (announcements and general questions).
Mail archives
All mails sent to Frama-C-discuss since 2008.
Archives of the old Frama-C discuss list
Up until October 2020, mailing list was hosted by another provider, and moving the archives to the newer host took some time. In the interim, old archives could be found there.
Frama-C on Gitlab
Frama-C development repositories (including daily snapshots and related code bases, such as open source case studies).
ACSL on Github
Official Github repositories for the ANSI/ISO C Specification Language (ACSL).
Twitter
@frama_c

Open positions

Permanent Computer Scientist Position at CEA LIST - LSL

Develop and extend the applicability of Frama-C for cybersecurity purposes [More details]
Keywords: cybersecurity, software analysis, formal methods, open source

PhD Position at CEA LIST - LSL

Machine Learning for Improving Formal Verification of Code [More details]
Keywords: machine learning, graph neural networks, code representation learning, formal methods

Internship Position at CEA LIST - LSL

Cybersecurity and Safety analysis with Frama-C / Eva [More details]
Keywords: Security, Software verification, Static analysis, Formal methods, Abstract Interpretation

Internship Position at CEA LIST - LSL

Deep Learning for improving formal verification with Frama-C / Eva [More details]
Keywords: Deep Learning, Graph Neural Networks , Representation Learning, Static analysis, Formal methods

Newest Frama-C Questions & Answers on Stack Overflow

Find us