[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.
