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 allan.blanchard(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

PhD Position

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

Internship Position

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

Internship Position

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

Fixed Term Computer Scientist Position

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

Fixed Term Engineer Position

Develop and extend the new Frama-C GUI [More details]
Keywords: graphical user interface, software analysis, formal methods, open source

Fixed Term Computer Scientist Position

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

Fixed Term Engineer Position

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

Newest Frama-C Questions & Answers on Stack Overflow

Find us