Ceci est une ancienne révision du document !


Context

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. Every year, about 30 academics visit IRIF for a least 1 month.

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 presentation of IRIF.


How to get funded

The starting date of the positions is usually in September-October, but this greatly varies. The visits at IRIF are financed either by the resources of the laboratory, or by group or personal 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

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 group ressources or personal grants.