Job Details
3-year Computer Scientist Position at CEA LIST - LSL
Posted: 28 Feb 2023Keywords: Software Analysis, Formal Methods, OCamlMission
At the heart of the Paris-Saclay campus, CEA List s Software Safety and Security Laboratory develops analysis tools to verify and enforce sensitive properties of software. Our goal is to provide trust in mission-critical and sensitive systems. We are open-source believers, and we take pride in seeing our science-fueled tools used for industry-grade applications.We are looking for a 3-year computer scientist to join our Frama-C
team starting as soon as possible. Frama-C
is a sound static and dynamic analysis platform targeting C/C++/JavaCard source code. It relies on advanced techniques such as abstract interpretation and theorem proving. The platform has been used in academia and the industry to verify the safety and security to prevent various vulnerabilities, and to prove functional properties on small and large codebases.The main goal of this position is to develop and extend the kernel of Frama-C , in particular to improve its ability to deal with large and complex codebases.Responsibilities
Develop new features and improvements for Frama-CInteract with practitioners, prescribers, and the open-source communityContribute to the dissemination of the team results in top scientific and technical venuesContribute to the development of the teamQualifications
PhD or more than three years of experience in a research-intensive teamAbility to develop in OCaml or functional languagesKnowledge of formal methods or language semanticsKnowledge of the C language and ability to quickly grasp new onesApplication
Every potential candidate feeling they could fit the description are welcome to contact us or apply by emailing the persons indicated below. We try hard to run an inclusive team, so candidates from under-represented groups are certainly welcome. The selection process will include scientific, technical, and HR interviews.
#J-18808-Ljbffr