Quatre postes d'enseignants-chercheurs sont à pourvoir à l’UFR d’Informatique de l’Université Paris Diderot en vue d’une intégration à l’IRIF :

• 1 poste de Professeur en Informatique fondamentale
• 1 poste de Maître de Conférences en Algorithmes et structures discrètes
• 1 poste de Maître de Conférences en Automates, structures et vérification
• 1 poste de Maître de Conférences en Preuves, programmes et systèmes

Attention: la date limite de candidature est fixée au 6 mars 2019 (à confirmer) pour un recrutement au 1er septembre 2019.

Profil Informatique fondamentale

Mots clefs Informatique théorique ou fondamentale

Objectifs pédagogiques et besoin d'encadrement Dans le cadre d’une augmentation d’effectif liée à ParcoursSup et de la mise en place des nouvelles maquettes, l’UFR d’informatique doit renforcer et partiellement renouveler ses enseignements essentiellement dans la licence et les masters d’informatique. On attend de la personne recrutée des compétences pédagogiques et une expérience dans les domaines de l’informatique couverts par les cursus assurés pas l’UFR. On attend aussi de la personne recrutée des prises de responsabilité dans l'encadrement pédagogique (suivi et soutien des étudiants, responsabilité de cursus, participation au fonctionnement de l’UFR…)

Filières de formation concernées Tous les cursus où intervient l'UFR sont concernés par ce recrutement: ses formations propres (Licence info, double licence math et info, bio et info, japonais et info, Master Informatique pro, recherche et apprentissage) ainsi que les formations liées (école d’ingénieurs EIDD, cursus mathématique, bio-informatique, linguistique-informatique, master PISE…).

Activités de Recherche Ce poste de professeur est ouvert pour le recrutement d'’un ou une experte dans une thématique relevant de l'informatique fondamentale, en vue d'intégrer l'IRIF. Les candidatures sont sollicitées sur toutes les thématiques de l’'informatique fondamentale présentes ou non à l'IRIF. Ces thématiques sont regroupées à l'IRIF autour de 3 grands axes dans lequel le ou la candidate devra se rattacher :
- Algorithmes et structures discrètes
- Automates, structures et vérification
- Preuves, programmes et systèmes.

Sans être exhaustif, les ouvertures thématiques possibles pourront concerner par exemple la sécurité, l'analyse des masses de données, l'apprentissage algorithmique, le génie logiciel, tout comme les liens avec d'autres disciplines telles que les mathématiques, la biologie, la physique, les sciences sociales, tant que les travaux et les projets des candidats sont de nature fondamentale.

Date limite de candidature : 6 mars 2019 (à confirmer)

Contacts
Intégration : tout responsable d'équipe thématique ou de pôle de l'IRIF, 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

Les lettres de recommandation sont à envoyer à drhconcours@univ-paris-diderot.fr en indiquant le numéro du poste et le nom du candidat avant la date de clôture du dépôt du dossier.

Profil Algorithmes et structures discrètes

Mots clefs Algorithmique

Objectifs pédagogiques et besoin d'encadrement Dans le cadre d’une augmentation d’effectif liée à ParcoursSup et de la mise en place des nouvelles maquettes, l’UFR d’informatique doit renforcer et partiellement renouveler ses enseignements essentiellement dans la licence et les masters d’informatique. On attend de la personne recrutée des compétences pédagogiques et une expérience dans les domaines de l’informatique couverts par les cursus assurés pas l’UFR. On attend aussi de la personne recrutée des prises de responsabilité dans l'encadrement pédagogique (suivi et soutien des étudiants, responsabilité de cursus, participation au fonctionnement de l’UFR…)

Filières de formation concernées Tous les cursus où intervient l'UFR sont concernés par ce recrutement: ses formations propres (Licence info, double licence math et info, bio et info, japonais et info, Master Informatique pro, recherche et apprentissage) ainsi que les formations liées (école d’ingénieurs EIDD, cursus mathématique, bio-informatique, linguistique-informatique, master PISE…).

Activités de Recherche Les algorithmes sont au coeur de notre société numérique. De plus, les aspects algorithmiques intervenants dans d'autres sciences que l'informatique sont de plus en plus prégnants. La compréhension fine de l'algorithmique est plus que jamais un enjeu scientifique majeur. Les activités de recherche de la personne recrutée s'inscriront dans cet effort. Deux thématiques sont particulièrement mises en avant : algorithmes, graphes et complexité fine (difficulté dans P) d'une part, et algorithmique quantique d'autre part. De façon plus large, on s'intéressera aux fondements de l'algorithmique et de ses structures de données; les outils algorithmiques centralisés ou distribués pour les technologies émergentes ou le traitement des grandes masses de données; l'application de l'approche algorithmique et des outils combinatoires à la compréhension d’autres disciplines.

Date limite de candidature : 6 mars 2019 (à confirmer)

Contacts
Intégration : Responsable du pôle Algorithmes et structures discrètes ou tout responsable d'équipe thématique du 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

Les lettres de recommandation sont à envoyer à drhconcours@univ-paris-diderot.fr en indiquant le numéro du poste et le nom du candidat avant la date de clôture du dépôt du dossier.

Profil Automates, structures et vérification

Mots clefs Informatique Fondamentale / Automates et logiques / Méthodes formelles / Vérification

Objectifs pédagogiques et besoin d'encadrement Dans le cadre d’une augmentation d’effectif liée à ParcoursSup et de la mise en place des nouvelles maquettes, l’UFR d’informatique doit renforcer et partiellement renouveler ses enseignements essentiellement dans la licence et les masters d’informatique. On attend de la personne recrutée des compétences pédagogiques et une expérience dans les domaines de l’informatique couverts par les cursus assurés pas l’UFR. On attend aussi de la personne recrutée des prises de responsabilité dans l'encadrement pédagogique (suivi et soutien des étudiants, responsabilité de cursus, participation au fonctionnement de l’UFR…)

Filières de formation concernées Tous les cursus où intervient l'UFR sont concernés par ce recrutement: ses formations propres (Licence info, double licence math et info, bio et info, japonais et info, Master Informatique pro, recherche et apprentissage) ainsi que les formations liées (école d’ingénieurs EIDD, cursus mathématique, bio-informatique, linguistique-informatique, master PISE…).

Activités de Recherche Les systèmes informatiques sont omniprésents, offrant de plus en plus de services automatisés, gérant et contrôlant de multiples tâches complexes dans tous les secteurs de notre vie moderne (transport, finance, santé, énergie, commerce, etc.). La maîtrise des comportements de ses systèmes et des garanties qu'ils offrent à leur utilisateurs est donc de la plus grande importance. Il est alors crucial de développer des méthodes rigoureuses et systématiques permettant d'aider à leur compréhension et à leur conception, et à assurer un haut degré de confiance dans leurs comportements. L'IRIF est très actif dans ce domaine, développant différents thèmes de recherche allant des fondements mathématiques aux applications, en passant par l'étude de modèles de calcul et de formalismes de spécification, et par la conception d'algorithmes et de méthodes d’analyse et de décision. Le poste ouvert a pour but de renforcer cette activité par le recrutement d'un maître de conférences ayant de l'expertise un ou plusieurs aspects tels que:
- la théorie des automates et des jeux, y compris les modèles stochastiques,
- les modèles formels de systèmes/programmes et logiques de programmes,
- les modèles de données et de connaissance et les formalismes logiques associés,
- les procédures de décision, les méthodes algorithmique ou déductives d'analyse, de vérification, ou de synthèse/réparation de programmes,
en lien avec les fondements mathématiques de l'informatique et des applications dans des domaines tels que: les systèmes, les bases de données, la programmation concurrente, l'algorithmique distribuée, les systèmes embarqués, etc.

Date limite de candidature : 6 mars 2019 (à confirmer)

Contacts
Intégration : Responsable du pôle Automates, structures et vérification ou tout responsable d'équipe thématique du 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

Les lettres de recommandation sont à envoyer à drhconcours@univ-paris-diderot.fr en indiquant le numéro du poste et le nom du candidat avant la date de clôture du dépôt du dossier.

Profil Preuves, programmes et systèmes

Mots clefs Informatique théorique ou fondamentale / Algèbre, logique, interactions

Objectifs pédagogiques et besoin d'encadrement Dans le cadre d’une augmentation d’effectif liée à ParcoursSup et de la mise en place des nouvelles maquettes, l’UFR d’informatique doit renforcer et partiellement renouveler ses enseignements essentiellement dans la licence et les masters d’informatique. On attend de la personne recrutée des compétences pédagogiques et une expérience dans les domaines de l’informatique couverts par les cursus assurés pas l’UFR. On attend aussi de la personne recrutée des prises de responsabilité dans l'encadrement pédagogique (suivi et soutien des étudiants, responsabilité de cursus, participation au fonctionnement de l’UFR…)

Filières de formation concernées Tous les cursus où intervient l'UFR sont concernés par ce recrutement: ses formations propres (Licence info, double licence math et info, bio et info, japonais et info, Master Informatique pro, recherche et apprentissage) ainsi que les formations liées (école d’ingénieurs EIDD, cursus mathématique, bio-informatique, linguistique-informatique, master PISE…).

Activités de Recherche Le pôle Preuves, programmes et systèmes de l'IRIF a pour objectif de créer un continuum scientifique allant de la théorie du calcul au développement logiciel, en mariant concepts et méthodes issus des mathématiques, de la logique et de l'informatique. Les activités du pôle portent sur les fondements logiques du calcul, les interactions entre algèbre et calcul, la modélisation et le développement logiciel, et toutes les interfaces entre ces thèmes : théorie de la démonstration, logique linéaire, théorie des types, correspondance de Curry-Howard, sémantique des preuves et programmes, structures algébriques du calcul, réécriture et applications, modélisation de systèmes réels, conception de langages de programmation et d'outils d'analyse, programmation certifiée, etc.

Ce concours vise le recrutement d'une personne dont l'activité de recherche s'inscrit dans les objectifs scientifiques du pôle Preuves, programmes et systèmes. Une capacité à renforcer les interactions existantes ou à en créer de nouvelles, au sein du pôle ou avec d'autres thèmes de l'IRIF, sera appréciée.

Date limite de candidature : 6 mars 2019 (à confirmer)

Contacts
Intégration : Responsable du pôle Preuves, programmes et systèmes ou tout responsable d'équipe thématique du 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

Les lettres de recommandation sont à envoyer à drhconcours@univ-paris-diderot.fr en indiquant le numéro du poste et le nom du candidat avant la date de clôture du dépôt du dossier.