Postdoc and PhD positions at Inria and École Normale Supérieure in Paris in collaboration with Fujitsu Japan

by Caterina Urban, Aug. 23, 2022

Caterina Urban, research scientist at Inria and École Normale Supérieure in Paris, is looking for strong and motivated postdocs and PhD students to work on a collaborative project with Fujitsu Japan on practical formal verification methods for machine learning.

Fully funded PhD positions in Computer Science as well as postdoc positions are available in Paris in the context of a collaboration with Fujitsu Japan on the design and development of practical formal verification methods for machine learning.

Ideal candidates should be motivated and committed to research and have a strong background in formal methods, ideally static analysis, or in machine learning. Postdocs will be encouraged to also carry out their own research agenda. 

The start date is any time, but the sooner the better. Postdoc positions are for 2 years and renewable. PhD positions are for 3 years in France (1 year extension is typically accepted).

PhD students and postdocs will be based in the Inria research team ANTIQUE at École Normale Supérieure in Paris, and will have the opportunity (but not an obligation) to teach (in French or even in English). Knowledge of French is helpful to navigate the city but absolutely not necessary (free French courses are available at the university, if interested). Research visits to Fujitsu Japan will be possible and encouraged. 

Interested people should contact me via email ([email protected]). Applications may contain some of the following: CV, motivation letter, references or recommendation letters, transcripts of grades for master’s studies, links to publications or MSc thesis if relevant.