• Context
• How to get funded

IRIF (CNRS and Université de Paris), Paris, France, participates in various programs to welcome visitors for either short or long periods, for instance for spending a sabbatical year. IRIF hosts visiting researchers of many levels of expertise working in the foundations of computer science, from short periods to several months.

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 former 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 refer to our presentation of IRIF.

The visits at IRIF are financed either by IRIF ressources or research grants, or by joint applications of IRIF members and the candidates to outside funding agencies with which IRIF is affiliated. Among these, the most prominent are:

• IRIF ressources and research grants for usually a couple of weeks or months. No deadline.
• Visiting researcher program of Université de Paris for usually a one month stay. The deadline is usually in Spring.
• FSMP Distinguished Professor Fellowship for a two-to-three month stay, to promote, as a matter of priority new collaborations and/or interactions. There is a recurrent deadline every 3 months.
• FSMP Chairs allow outstanding foreign scientists to be hosted from 4 to 12 months. The deadline is usually in Fall.
• Blaise Pascal Chairs allow outstanding foreign scientists to be hosted from for at least 12 months. The deadline is usually in Spring.
• Marie Curie Individual Fellowships are also a great option for experienced researchers from across the world for a visit of a least 12 months. The deadline is usually in Summer.

It is recommended, prior to applying, to contact one or more permanent members of IRIF, those closest to the potential candidate's area, in order to get more information, or to be funded by the ressources of the laboratory.