Context

IRIF (CNRS and Université Paris Cité), Paris, France, is seeking strong candidates for master internships 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é Paris Cité. 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.


Description of master internships at IRIF

Master internships last a few months, and maximum six months, usually from February-March to August-September. Master internships at IRIF are research internships and can be pursued in the context of validating a research master program, such as the LMFI or the MPRI.

Master internships at IRIF are remunerated with a “gratification” of €4.05/hour.


How to apply

A student interested in doing a master internship at IRIF can contact an IRIF member. It is advised to contact IRIF as soon as possible, preferably several months before the expected start of the internship.

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).

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). If selected, the candidate will have to establish a three-party internship convention between their university, themself, and Université Paris Cité.


Specific Openings

Below is a list of specific openings for master internships at IRIF. The list can be updated regularly.
To add an opening, please contact couteau@irif.fr.

Real-time analysis and verification of ROS2 robotic applications

An internship proposal is available with Pierre-Emmanuel Hladik (LS2N) and Mohammed Foughali (IRIF) for Masters student in computer science or a closely related field (preferably in the last year, equivalent to second year of Masters), motivated and committed to learn and explore challenging research problems.

For more information, please refer to the internship description. To apply for this position, please send an email with your CV (mandatory) and motivation letter (optional but strongly recommended) to the internship pierre-emmanuel.hladik@ls2n.fr and foughali@irif.fr.

A Principled Investigation of the Lottery Ticket Hypothesisfor Deep Neural Networks

A master internship is available in the Algorithms and Complexity group, on a topic related to optimization and deep learning. The project consists of both theoretical and experimental work, and involves designing and testing new algorithms for sparsifying deep neural networks.

For more information, please refer to the internship description or e-mail Adrian Vladu adrian.vladu@irif.fr.

Information per time unit in timed systems

This internship is available in ASV (Automata, structure and verification) pole, is related to two starting research projects and can be continued in a PhD thesis. It concerns measuring information content and transmitting cyber-physical data. More details and contacts here.

Timed distances

This internship is available in ASV (Automata, structure and verification) pole, is related to two starting research projects and can be continued in a PhD thesis. It concerns the approximated verification of cyber-physical systems and its geometrical foundation. More details and contacts here.

Learning hybrid automata

This internship is available in ASV (Automata, structure and verification) pole, is related to a starting Franco-Japanese research projects and can be continued in a PhD thesis. Its aim is to find new approaches to machine learning of cyber-physical systems. More details and contacts here.

Internship openings in the theory and algorithmics of graphs group (multiple openings)

We welcome master students to do their stage on almost any area of graph theory. If interested, then write to vmitsou@irif.fr for a meeting and discussion after which we may find a suitable supervisor.