Professeur assistant/agrégé en informatique théorique – Contrat temporaire – 36 mois – Evry , France

Description de l’emploi

DOMAINES CONCERNÉS

Un professeur assistant/associé sera embauché au laboratoire de recherche SAMOVAR de TSP, soit dans l’équipe ACMES ou SCN . Nous recherchons un candidat exceptionnel dans le domaine de l’informatique, ayant la capacité de présenter un projet de recherche de calibre international dans le domaine de l’informatique théorique. Le professeur assistant sélectionné jouera un rôle central dans l’élargissement des frontières de la recherche de notre laboratoire, en participant activement à une forte collaboration avec d’autres équipes des laboratoires informatiques d’IP Paris ( LIX , LTCI , U2IS ).

PROFIL ATTENDU

Dans le domaine de l’informatique théorique

• Mener des recherches de haute qualité, obtenir des résultats nouveaux et les appliquer 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 l’IA logique et symbolique avec des applications potentielles à la sécurité, à l’apprentissage automatique, au génie logiciel, etc.
• Participer à l’enseignement des cours existants d’informatique et de génie logiciel à TSP, ainsi qu’à en développer de nouveaux, principalement au niveau des cycles supérieurs.

1. Recherche

1.1 Réalisation et animation

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

1.2 Domaines de recherche

Les domaines de recherche peuvent inclure l’un de ces domaines (la liste est non exhaustive) : méthodes formelles, ingénierie logicielle, sécurité et sûreté, IA symbolique, etc. Les équipes de recherche Samovar associées à ces domaines de recherche sont indiquées ci-après :

• L’équipe ACMES :
  • Méthodes formelles et/ou génie logiciel (théorie du langage formel, théorie des automates et vérification de modèles, tests de logiciels, conception correcte d’algorithmes et de structures de données, exactitude et fiabilité des logiciels)
  • Fondements des systèmes basés sur les données et les connaissances (logique formelle sous-jacente à la conception de schémas de données et de langages de requête, raisonnement symbolique, méthodes déductives et inductives, représentation logique, ontologies formelles, raisonnement sous incohérence et incertitude, logique informatique et satisfiabilité propositionnelle, raisonnement et modèle symboliques interprétation)
• L’équipe SCN :
  • Cryptographie (théorie des nombres, basée sur des courbes, basée sur du code), cybersécurité et théorie du codage, vérification formelle des politiques de contrôle d’accès, méthodes formelles de sécurité logicielle, y compris l’analyse au niveau source et l’analyse au niveau binaire.

2. Enseignement

– Concevoir et/ou dispenser des cours et autres activités d’enseignement dans le domaine de l’informatique et de l’ingénierie logicielle/système ;

– Développer et proposer de nouveaux cours, principalement au niveau des cycles supérieurs (Maîtrise en informatique), dans le domaine de l’informatique théorique et des domaines d’application connexes ;

Exigences de l’emploi

NIVEAU D’ÉDUCATION ET/OU EXPÉRIENCE REQUIS

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

COMPÉTENCES, CONNAISSANCES ET EXPÉRIENCE ESSENTIELLES

• Expérience significative en recherche dans un laboratoire académique ou industriel de renommée internationale d’au moins deux ans ;
• Anglais courant écrit et parlé.
• Publications de qualité exceptionnelle dans des conférences et revues internationales de Flagstaff ;
• Expérience en (co-)supervision d’étudiants diplômés;
• Une expérience de recherche internationale serait fortement appréciée ;
• Le français écrit et parlé est très apprécié.

CAPACITÉS ET COMPÉTENCES

• Compétences organisationnelles et de leadership
• Compétences rédactionnelles et de synthèse
• Compétences relationnelles et pédagogiques
• Réactivité, initiative et rigueur
• Capacité à travailler en équipe au sein de contrats de recherche nationaux ou internationaux, en collaboration avec des partenaires académiques et industriels
• Capacité à négocier et coordonner des contrats nationaux, européens et industriels
• Capacité à gérer des projets

PLUS D’INFORMATIONS

– Date limite de candidature : 15 avril 2024

– Date prévue de l’audition : 29 mai 2024

– Date prévue de début des travaux : 1er septembre 2024 (négociée)

– Nature du contrat : Contrat temporaire – 36 mois

– Localisation du poste : Palaiseau (France)

– Les postes proposés au recrutement sont ouverts à tous avec, sur demande, des aménagements pour les candidats en situation de handicap

– Conditions de travail : télétravail possible, restaurant et cafétéria sur place, accessibilité en transports en commun (avec contribution de l’employeur) ou à proximité des grands axes routiers et de l’association du personnel

> Formulaire de candidature (en un seul document) :

– un CV détaillé
– une lettre de motivation
– une déclaration des activités complémentaires de recherche et d’enseignement à Télécom SudParis
– les coordonnées d’au moins deux références
– une liste des principales publications
Des éléments complémentaires (attestation d’intégration, attestation de recherche et d’enseignement, dossier pédagogique, lettres de référence, distinctions , etc.) sont laissés à l’appréciation du candidat.

– Pour toute information complémentaire, les candidats sont invités à contacter le responsable du laboratoire Samovar : Pr. F. Desbouvries : francois.desbouvries@telecom-sudparis.eu

Equipe ACMES : Pr. W. Gaaloul : walid.gaaloul@telecom-sudparis.eu

Equipe SCN : Pr. J. Garcia-Alfaro : joaquin.garcia_alfaro@telecom-sudparis.eu

À PROPOS DE NOUS

Télécom SudParis (telecom-sudparis.eu), créée en 1979 sous le nom d’Institut national des télécommunications (INT), est une Grande École qui appartient au Groupe Institut Mines-Télécom (IMT). En tant que « Grande Ecole », elle forme l’élite des ingénieurs et managers de demain dans le domaine des sciences et technologies du numérique. Il est membre fondateur de l’Institut Polytechnique de Paris.

SAMOVAR ( http://samovar.telecom-sudparis.eu/ ) est le laboratoire de recherche de Télécom SudParis. C’est l’entité de l’école évaluée par le HCERES. Il regroupe l’ensemble du personnel académique de Télécom SudParis, ainsi que des collègues de l’ENSIIE effectuant des recherches en informatique.

L’Institut Polytechnique de Paris (ip-paris.fr) est un établissement public d’enseignement supérieur et de recherche regroupant cinq prestigieuses é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, ils rassemblent deux siècles d’expertise pour poursuivre deux objectifs majeurs : développer des programmes de formation de calibre mondial et une recherche de pointe. Fort de la force de ses cinq établissements fondateurs, l’Institut Polytechnique de Paris s’impose comme un établissement d’enseignement et de recherche de premier plan en France et à l’international. L’École Polytechnique, l’ENSTA Paris, l’ENSAE Paris, Télécom Paris et Télécom SudParis ont contribué à des avancées industrielles et technologiques majeures au cours des deux derniers siècles. Parmi leurs anciens élèves figurent des lauréats du prix Nobel et des personnalités éminentes du monde de la politique, des affaires et de la recherche.

L’Institut Mines-Télécom (imt.fr) est un établissement public dédié à l’enseignement supérieur et à la recherche pour l’innovation. Elle est un acteur clé de la fusion des sciences, de l’ingénierie et du numérique et oriente les compétences de ses écoles vers les grands domaines des transformations du numérique, de l’industrie, de l’énergie et de l’environnement ainsi que leurs impacts sur l’industrie du futur, villes, santé et autonomie.

Vidéo de présentation de l’Institut Mines-Télécom