IRIF (CNRS and Université de Paris), Paris, France, is seeking excellent candidates for Ph.D. fellowships in all areas of Foundations of Computer Science.

IRIF (Institute for Research in Foundations of Computer Science) is a joint laboratory of the CNRS (French National Center for Scientific Research) and Université de Paris created in 2016 as the merger of the previous laboratories LIAFA and PPS. Currently, it hosts about 90 permanent faculty members, 40 non-permanent full-time researchers, and 50 Ph.D. students.

The research conducted at IRIF is based on the study and understanding of the foundations of all areas of computer science. Such research work relies on mathematical concepts developed and studied within it, but it also contributes directly to mathematics. Typical areas include but are not limited to: algorithms, their design and analysis, automata theory and applications, combinatorics, complex systems, complexity, computational formalisms, distributed computation, foundations of programming languages, interactive proof assistants, graph theory and its algorithms, logic, networks, quantum computing, software development, systems modeling and verification. For further information about IRIF please see our presentation of IRIF.

Each year, about 10-15 new Ph.D. students start their doctoral studies at IRIF.

Description of PhD studies at IRIF

In France, Ph.D. studies are typically 3 years long and can be extended in some cases to 4 years. Ph.D. fellowships are full-time research contracts with some optional additional activities such as teaching.

Many Ph.D. studies starting at IRIF are the continuation of master programs, such as the LMFI or the MPRI, but this is not mandatory and IRIF regularly welcomes Ph.D. students joining after a master in another French or foreign university.

Funding Ph.D. studies at IRIF can be obtained by applying to a scholarship through IRIF and its related partners (such as Paris Doctoral School of Mathematical Sciences (ED 386), IRIF research grants, université Paris Diderot, regional programs, industrial partnerships …) or by applying to another institution independent from IRIF (such as his/her current institution, campus France, …).

How to apply

It is advised to contact IRIF as soon as possible in order not to miss a possible call (see possible funding below).

Ideally, the contact should be the researcher you would like to work with. It can also be the head of the thematic group or head of the pole corresponding to your scientific interests (see the presentation of IRIF). Please avoid multiplying the contacts (alternatively, contact all concerned persons with a single e-mail so as they are aware of this).

Independently, there is also the possibility to directly apply to one or more specific fellowships funded by research grants. The list can be found below; it is not exhaustive and might be updated at any moment.

In all cases, the candidate should join a CV, and is advised to give as much information as possible (such as transcripts of her/his marks for the bachelor and master program).

Possible funding

Generic openings

There are several possibilities of fundings, and the candidate should contact IRIF for guidance.

IRIF depends on the graduate school ED 386 - École doctorale de Sciences Mathématiques de Paris Centre. Several scholarships are allocated directly from that school every year (the call opens in spring and its usual deadline is around mid-May).

IRIF is also eligible to several funding programs from its partners, which allow the recipients to conduct doctoral research at IRIF among other possibilities. Below are listed the most relevant programs for IRIF:

  • The Université Paris 2019 project will grant 12 PhD projects for international students to start a Ph.D. program in September 2019. Deadline: February, 15th 2019.
  • The MathInParis Doctoral program will grant 21 PhD projects for international students to start a PhD program in October 2019. Application deadline: April, 1st 2019.
  • The Paris Region PhD2 program will grant 30 PhD projects in 2019 on Digital Sciences with an industrial partner. Application deadline: May, 15th 2019.
  • The DIM MathInnov Doctoral program will grant 12 PhD projects in 2019. Application deadline: May, 20th 2019.

An application through Campus France is also possible for individual fellowships.

Specific openings

The following list describes Ph.D. scholarships that are related to specific funding programs. This list is subject to be updated at any time.

  • Algorithms for transportation networks A Ph.D. position is available about the conception of efficient algorithms for transportation networks and more generally graph related data, including robustness aspects with respect to dynamicity. Detailed description. Contact: Laurent Viennot
  • Biological Game Theory A Ph.D. position is available under the supervision of Amos Korman, supported by an ERC Consolidator Grant. The topic concerns the study of algorithmic game theoretical principles with a special focus on animal behavior, and specifically concerning bats. Corresponding experiments will be conducted by a collaborating group at Tel-Aviv University. The candidate should be acquainted with probability theory, programming, game theory, and should love animals. Contact: Amos Korman
  • Consistent query answering A Ph.D. position is available under the co-supervision of Cristina Sirangelo, IRIF and Diego Figuieira LABRI (Bordeaux), supported by the ANR grant QUID (Querying Incomplete and Inconsistent Data). The topic is in the field of database theory and particularly about consistent query answering, with a focus on query rewriting. The candidate should have a strong background in theoretical computer science, particularly on logic and complexity. A background on database theory is welcome but not required. Fore more details see
  • Formal Methods for the Analysis of Distributed Algorithms We are looking for a Ph.D. student interested in developing formal techniques to ease the design of distributed algorithms. The Ph.D. will be funded by the project Fredda ( and the student will be co-supervised by Arnaud Sangnier and Benedikt Bollig (LSV-Ens Cachan). The candidates should have a strong background in distributed systems, in logic and automata. Abilities to develop prototypes would be appreciated. Contact: Arnaud Sangnier