Maître de Conférences en Informatique théorique - CDD Tenure Track - 36 mois

Domaines concernés

Le ou la maitre de conférences sera recruté/recrutée au sein du laboratoire de recherche SAMOVAR à TSP, soit dans l'équipe ACMES, soit dans l'équipe SCN. Nous recherchons une personne exceptionnelle en informatique, capable de présenter un projet de recherche de niveau international dans le domaine de l'informatique théorique. La personne sélectionnée jouera un rôle central dans l'élargissement des frontières de recherche de notre laboratoire, en participant activement à une forte collaboration avec d'autres équipes des laboratoires d'informatique d'IP Paris (LIX, LTCI, et/ou U2IS). Le poste est un CDD de 36 mois de type « Tenure track », assorti d'un financement d’amorçage.

Profil attendu

Dans le domaine de l'informatique théorique :

• Mener des recherches de haute qualité, en obtenant des résultats novateurs et en les appliquant aux études de cas du laboratoire SAMOVAR ;
• Diriger un nouveau groupe dans le domaine de l'informatique théorique et collaborer avec les membres de SAMOVAR, dans l'un des domaines des méthodes formelles, de la logique et de l'IA symbolique, avec des applications potentielles à la sécurité, à l'apprentissage automatique, au génie logiciel, etc.
• Participer à l'enseignement des cours d'informatique et de génie logiciel existants à TSP, ainsi qu'à l'élaboration de nouveaux cours, principalement au niveau du troisième cycle.

1. Recherche

1.1 Production et animation

• Mener des recherches collaboratives et de qualité dans le domaine de l'informatique théorique et éventuellement dans ses différents domaines d'application. Le candidat devra intégrer l'une des équipes du Samovar travaillant sur ces domaines (ACMES ou SCN) et collaborer avec d'autres équipes des laboratoires d'informatique d'IP Paris (LIX, LTCI, U2IS, etc.) ;
• Développer un nouveau thème de recherche et/ou renforcer les thèmes existants pour améliorer la collaboration entre les membres de SAMOVAR travaillant dans le domaine de l'informatique théorique
  
• (Co-) superviser des étudiants diplômés, des post-doctorants, des ingénieurs de recherche ;
• Postuler à des appels à projets nationaux et européens de grande qualité (ANR JCJC, ERC grants).

1.2 Domaines de recherche

Les domaines de recherche peuvent inclure l'un des domaines suivants (la liste n'est pas exhaustive) : méthodes formelles, génie logiciel, sécurité et sûreté, IA symbolique, etc. Les équipes de recherche Samovar associées à ces domaines de recherche sont indiquées ci-dessous :

• Équipe ACMES :
  • Méthodes formelles et/ou génie logiciel (théorie des langages formels, théorie des automates et vérification des modèles, tests logiciels, conception correcte d'algorithmes et de structures de données, correction et fiabilité des logiciels).
  • Fondements des systèmes basés sur les données et les connaissances (logique formelle à la base de la conception de schémas de données et de langages de requêtes, raisonnement symbolique, méthodes déductives et inductives, représentation logique, ontologies formelles, raisonnement sous incohérence et incertitude, logique computationnelle et satisfiabilité propositionnelle, raisonnement symbolique et interprétation de modèles).
• Équipe SCN :
  • Cryptographie (théorie des nombres, basée sur les courbes, basée sur les codes), cybersécurité et théorie des codes, vérification formelle des politiques de contrôle d'accès, méthodes formelles pour la sécurité des logiciels, y compris l'analyse au niveau source et l'analyse au niveau binaire.

2. Enseignement

• Concevoir et/ou dispenser des cours et d'autres activités d'enseignement dans le domaine de l'informatique et de l'ingénierie des logiciels/systèmes
  
• Élaborer et proposer de nouveaux cours, principalement au niveau du deuxième cycle (maîtrise en informatique), dans le domaine de l'informatique théorique et ses domaines d'application connexes.

Formation

• Doctorat dans le domaine de l'informatique ou dans un domaine connexe ;

Compétences, connaissances et expériences indispensables

• Expérience significative de la recherche dans un laboratoire universitaire ou industriel internationalement reconnu d'au moins deux ans ;
• Anglais écrit et parlé couramment.
• Publications de qualité exceptionnelle dans des conférences et des revues internationales ;
• Expérience de la (co-)supervision d'étudiants de troisième cycle ;
• Une expérience internationale dans la recherche serait très appréciée ;
• La maîtrise orale et écrite du français serait très appréciée.
  

Capacités et aptitudes

• Capacité d’organisation et d’animation
• Qualités rédactionnelles et de synthèse
  
• Qualités relationnelles et pédagogiques
• Réactivité, esprit d’initiative et de rigueur
• Aptitude au travail en équipe au sein de contrats de recherche nationaux ou internationaux, en collaboration avec des partenaires académiques et industriels
• Aptitude à la négociation et à la coordination de contrats nationaux, européens, industriels
• Aptitude à la conduite de projets

Informations complémentaires et candidature

• Date limite de candidature : 28 avril 2024
• Date prévue pour l'audition : 29 mai 2024
• Date de début : 1er septembre 2024 (flexible)
• Nature du contrat : CDD de 36 mois renouvelable, de type « Tenure track », assorti d'un financement d’amorçage
  
• Localisation du poste: Palaiseau (91)
  
• Catégorie et métier du poste (interne): II - C, Maitre de conférences ou A (fonction publique)
  
• Les postes offerts au recrutement sont ouverts à toutes et tous avec, sur demande, des aménagements pour les candidats en situation de handicap
• Emploi ouvert aux titulaires de la fonction publique et/ou aux contractuels
• Conditions de travail : Télétravail possible, restaurant et cafétéria sur site, accessibilité en transport en commun (avec participation de l'employeur) ou proche des axes routiers et association du personnel
• Dossier de candidature (en un seul document) :

- CV détaillé

- une lettre de motivation


- un projet d’intégration à Télécom SudParis en recherche et en enseignement

- une liste des principales publications

- les coordonnées de deux référents

Les éléments complémentaires comme des relevés d’enseignement, des lettres de soutien, des distinctions, etc., sont laissées à l’appréciation du candidat.

• Pour compléments d’information, les candidats sont invités à prendre contact avec le Directeur du Laboratoire Samovar : Pr. F. Desbouvries: francois.desbouvries@telecom-sudparis.eu
  Équipe ACMES : Pr. W. Gaaloul: walid.gaaloul@telecom-sudparis.eu
  Équipe SCN : Pr. J. Garcia-Alfaro: joaquin.garcia_alfaro@telecom-sudparis.eu

Présentation de Télécom SudParis :

Télécom SudParis (https://www.telecom-sudparis.eu/) est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l’excellence scientifique de son corps professoral et une pédagogie mettant l’accent sur les sciences et technologies du numérique. Télécom SudParis est membre fondateur de l'Institut Polytechnique de Paris.


Le laboratoire « Services répartis, Architectures, Modélisation, Validation, Administration des Réseaux » (SAMOVAR) (http://samovar.telecom-sudparis.eu/) est le laboratoire de recherche propre de Télécom SudParis. Il succède depuis 2020 à l’UMR CNRS 5157 du même nom. Il accueille également quelques enseignants-chercheurs de l’ENSIIE.

L’Institut Polytechnique de Paris (https://ip-paris.fr/) est un établissement public d’enseignement supérieur et de recherche qui réunit cinq Grandes Écoles d’ingénieurs françaises : l’École polytechnique, l’ENSTA Paris, l’ENSAE Paris, Télécom Paris et Télécom SudParis. Sous l’égide de l’Institut, elles mettent en commun leur expertise bicentenaire afin de poursuivre deux grandes ambitions : développer des programmes de formation d’excellence et une recherche de pointe. Grâce à l’ancrage de ses cinq Écoles fondatrices, l’Institut Polytechnique de Paris se positionne comme une institution d’enseignement et de recherche leader en France et à l’international. En effet, l’École polytechnique, l’ENSTA Paris, l’ENSAE Paris, Télécom Paris et Télécom SudParis ont contribué aux révolutions industrielles et technologiques majeures de ces deux derniers siècles. Parmi les diplômés de ces Écoles figurent plusieurs prix Nobel, ainsi que de grandes personnalités du monde politique, économique et de la recherche.


Placé sous la tutelle du Ministère de l’Économie, des Finances et de la Relance, l'Institut Mines-Télécom (https://imt.fr/) est un établissement public d'enseignement supérieur et de recherche regroupant 8 grandes écoles : IMT Atlantique, IMT Mines Albi, IMT Mines Alès, IMT Nord Europe, Institut Mines-Télécom Business School, Mines Saint-Étienne, Télécom Paris et Télécom SudParis, ses deux filiales EURECOM et InSIC ainsi quatre partenaires associés ou sous convention, Mines ParisTech, Mines Nancy, Ensiie et Armines.

À propos de l'Institut Mines-Télécom :

L'Institut Mines-Télécom (IMT) est un établissement public dédié à l'enseignement supérieur et la recherche pour l'innovation dans les domaines de l'ingénierie et du numérique. À l’écoute permanente du monde économique, l'IMT conjugue une forte légitimité académique et scientifique, une proximité avec les entreprises et un positionnement unique sur les transformations majeures au XXIe siècle : numériques, énergétiques, industrielles et éducatives siècle. Ses activités se déploient au sein des grandes écoles Mines et Télécom sous tutelle du ministre en charge de l’Industrie et des communications électroniques, de deux filiales et de partenaires associés ou sous convention. L'IMT est membre fondateur de l’Alliance Industrie du Futur. Il est doublement labellisé Carnot pour la qualité de sa recherche partenariale.
Vidéo de présentation de l'Institut Mines-Télécom