[TYPES/announce] Postdoc and PhD positions in Paris in collaboration with Fujitsu Japan

[Caterina Urban]

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 (caterina.urban at inria.fr). 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.