PhD and post-doc positions

A number of such openings are available every year. Please contact the researcher or the head of the team you would like to work with. We also advertise 2 related funding programs from the Foundation Sciences Mathématiques de Paris :

Every year, the CNRS (French National Center for Scientifc Research) has job openings, including some openings for researchers in Computer Science. The application deadline is usually in early January. Details are available on the CNRS website. You should contact one permanent member of IRIF, and in particular the head of your host research team sufficiently in advance for preparing your files.

In 2018, two faculty positions are opened: one full professor position, and one assistant professor position. Let us recall that the french system requires every applicant to pass an official 'qualification' procedure before they can apply for such positions.

Poste de professeur / Full professor position

Fiche complète

Profil Graphes et applications

Mots clefs Informatique théorique ou fondamentale / Théorie et algorithmique des graphes / Science des données / Réseaux informatiques, sociaux, biologiques

Objectifs pédagogiques et besoin d'encadrement Le ou la professeur·e recruté·e doit pouvoir intervenir dans tous les cursus assurés par l’UFR d’informatqiue et en particulier dans le Master IAP dans des domaines associés au profil de recherche comme, par exemple, les données massives, les grands réseaux, les moteurs de recherche…

Filières de formation concernées Les enseignants de l'UFR d'informatique interviennent majoritairement dans les formations propres de l'UFR (licence et master), ainsi que dans des formations liées (école d’ingénieurs EIDD, cursus mathématique, bio-informatique, linguistique informatique, …)

Activités de Recherche Ce poste de professeur.e est ouvert pour le recrutement d'un.e expert.e dans une thématique relevant de l'informatique fondamentale, en vue d'intégrer l'IRIF. L'UFR d’informatique privilégiera, sans exclure les autres dossiers, les candidatures relevant des recherches en théorie des graphes (théorie structurelle ou algorithmes) ou de ses applications. Parmi les applications des graphes, l'IRIF est notamment intéressé par celles en relation avec les sciences des données, les réseaux informatiques, les réseaux sociaux, les bases de données, les systèmes d’information et les systèmes dynamiques. Les interactions avec d'autres disciplines, dont la biologie et la sociologie, seront également appréciées. La qualité scientifique, puis la largeur du spectre de compétences et les capacités des candidat.e.s à interagir avec les autres thématiques de l'IRIF seront des critères importants de sélection.

Contacts
Intégration : tout responsable d'équipe thématique ou de pôle, cf présentation de l'IRIF
Laboratoire IRIF : Frédéric Magniez et Giuseppe Castagna, direction@irif.fr
UFR Informatique : Hugues Fauconnier et Carole Delporte, direction-ufr@informatique.univ-paris-diderot.fr

Poste de maître de conférence / Assistant professor position

Fiche complète

Profil Science du logiciel

Mots clefs Génie logiciel et programmation / Méthodes formelles / Sureté et sécurité / Informatique théorique et fondamentale

Objectifs pédagogiques et besoin d'encadrement L'UFR d'informatique a, entre autres, des besoins d'enseignement en génie logiciel, sécurité, gestion de projets, systèmes embarqués. Une implication de la personne recrutée dans un ou plusieurs de ces domaines et plus généralement dans les diverses tâches liées à l’enseignement sera particulièrement appréciée.

Filières de formation concernées Les enseignants de l'UFR d'informatique interviennent majoritairement dans les formations propres de l'UFR (licence et master), ainsi que dans des formations liées (école d’ingénieurs EIDD, cursus mathématique, bio-informatique, linguistique informatique, …)

Activités de Recherche L'IRIF contribue à l'amélioration de la qualité du logiciel en aidant à la construction d'une science du logiciel, un ensemble de connaissances et d'outils formels et pratiques dont le logiciel est l’objet. La personne recrutée participera à cet effort. Plus précisément, elle pourra apporter son expertise dans la conception de langages de programmation qui garantissent par construction ou par typage que les programmes vérifient certaines propriétés, telles que : sûreté d'exécution, confidentialité, complexité, respect de protocoles, usage de ressources, correction fonctionnelle. Elle pourra aussi contribuer à la construction ou à la certification des logiciels : outils de développement (systèmes d'archivage de code source, compilateurs, machines virtuelles, assistants de preuve, etc.), analyse (calculs de dépendances, inférences de différences sémantiques, etc.) et vérification (analyseurs statiques, interprétations abstraites, etc.).

Contacts
Intégration : tout responsable d'équipe thématique ou de pôle, cf présentation de l'IRIF
Laboratoire IRIF : Frédéric Magniez et Giuseppe Castagna, direction@irif.fr
UFR Informatique : Hugues Fauconnier et Carole Delporte, direction-ufr@informatique.univ-paris-diderot.fr