Are you talented, ambitious and enthusiastic? Do you want to contribute to a sustainable and safe world? Then keep on reading!
We are now looking for Developers that demonstrated an interest in advanced techniques such as formal methods, logic, parsers, formal specifications or similar, either by having a MA/PhD degree, or by having done similar things in your previous professional career or during your spare time.
Sounds like you? Find out more here!
Share this article

Learn more about how to develop specifications with Digital Twins
Fill out your information here.
More News & Articles
CentraleSupélec students dive into project together with Prover to get more knowledge about the rail industry and Provers tools.
Here we will explore how rail control and signaling systems can potentially benefit from AI, with a particular focus on generative AI such as Large Language Models (LLMs).