Sidebar
PhD announcements
Here are some mailing lists or web sites that announce on a regular basis PhD grants in areas close to the core of the MPRI master. If you are aware of other relevant lists or if you find one of the links below is obsolete or simply not working please write to the Master's director.
In general, all applications to a French PhD School or Foundation require an advisor who is working in a laboratory attached to the School/Foundation and who presents a PhD project and a PhD student.
Paris Center PhD School in Mathematical Sciences
Paris Center PhD School in Computer Science, Electronics, and Telecom
Paris South PhD School in Computer Science
Paris Foundation for Mathematical Sciences (includes PhD)
Sorbonne Université PhD grants for foreign students (usually early deadline)
Mailing list of CNRS-GDR group on Algorithms, Languages, and Programming
INRIA job announcements (includes PhD)
CEA job announcements (includes PhD)
Research positions in Cryptography
IEEE Information theory society job announcements (includes PhD)
Specific PhD announcements for 2024-25
- Validated Numerical Software For Algebraic Curves With Singularities. Advisors: Florent Bréhard, Adrien Poteaux, CFHP, CRIStAL, Univ. Lille.
- An Algorithmic Perspective to Animal Foraging. Advisor: Amos Korman, U. Haifa, Israel.
- PhDs in counting and algebraic complexity in Regensburg. Advisor: Radu Curticapean, U. Regensburg, Germany.
- Formalisation et la vérification d’un UIDL formel bigraphique dans Coq. Advisors: Xavier Thirioux, ISAE-Supaero; Celia Picard, Cyril Allignol, ENAC.
- PhDs in Cohomology, Geometry, Explicit Number Theory. Hosting universities: Amsterdam, Bordeaux, Braunschweig, Durham, Galway, Grenoble and Sheffield.
- PhD position on formal methods for artificial intelligence, part of project SAIF. Advisors: Eric Goubault, Sylvie Putot, Cosynus team, LIX, Ecole Polytechnique.
- Machine Learning Trustability : Learning and Verification of Soft Automata, part of project SAIF. Advisors: Eric Fabre, INRIA Rennes.
- Random temporal graphs. Advisor: Mikhaïl Raskin, LaBRI, Bordeaux.
- Efficient enumeration via edits. Advisors: Antoine Amarilli, Mikaël Monet, LINKS team, CRIStAL, Lille.
- Efficient Optimization Approaches for the Acyclic Graph Coloring Problem. Advisors: David Lesaint, Jin-Kao Hao, Nicolas Dupin (email them before you upload an application), LERIA, Angers.
- Une étude approfondie des suites régulières comme pont (discret) entre combinatoire des les mots et les systèmes de numération abstraits. Advisor: Manon Stipulanti, université de Liège, Belgique.
- Gender dynamics in collaboration networks. Advisors: Rosa Figueiredo (LIA), Vincent Labatut (LIA) and Cecile Favre (ERIC).
- Décomposition d'automates finis. Advisors: Pierre-Cyril Héam et Ismaël Jecker, institut Femto-ST (CNRS), Besançon.
- Higher-dimensional automata on infinite pomsets. Advisors: Uli Fahrenberg, Hugo Bazille.
- Unfoldings and coverings for models of true concurrency. Advisor: Jérémy Dubut, LIX, Ecole Polytechnique.
- Learning models for concurrency. Advisors: Adrien Pommellet, Amazigh Amrane, LRE, EPITA.
- A verification framework for concurrent systems based on higher-dimensional automata. Advisors: Philipp Schlehuber Caissier, Natalia Kushik, Télécom Sud Paris.
- Thèses en théorie des graphes structurelle et algorithmique, optimisation combinatoire et programmation mathématique, groupe DS&OR, Fribourg, Suisse. Envoyer un CV complet, une lettre de motivation et quelques lettres de recommandation à Bernard Ries, Clément Dallard.
- Computation of distances between transducer models and application to approximate learning of word functions and relations. Advisors: C Aiswarya (CMI, Chennai, India) and Benjamin Monmege, université Aix-Marseille.
- Formal verification of e-voting protocols in a post quantum world. Advisors: Véronique Cortier, Charlie Jacomme, team PESTO, LORIA, Nancy.
- Formal verification of post-quantum secure messaging. Advisors: Charlie Jacomme, Steve Kremer, team PESTO, LORIA, Nancy.
- Phd position in formal proofs and distributed algorithms. Advisor: Karine Altisen, University of Geneva.