Publiée 20 juillet 2026
Ingénieur (H/F) - Etude des structures catégoriques, langages, et théories de types
Centre de Nanosciences et de Nanotechnologies
Paris, Île-de-France 75013, France
CDI
Description du Poste
Les Missions
Le projet a pour but de participer à l'élaboration d'une théorie des structures catégoriques supérieures comme le nerf omega-catégorique, en lien avec la semantique des langages de programmation et la théorie des types dépendents. Le candidat mettra en oeuvre ses compétences en théorie des types, formalisation des mathématiques, et analyse combinatoire.
L'Activité
• Mise en place d'outils de construction de structures catégoriques nécessaires à la construction des langages de programmation et à l'étude des relations entre eux.
• Intégration de ces outils à la théorie des types dépendents.
• Formalisation en Rocq de ces structures.
• Etude bibliographique et comparaisons entre différentes approches logicielles et combinatoires.
• Organisation d'ateliers / de conférences.
• Publication d'un compte-rendu final.
Votre Profil
Compétences
• Techniques et sciences de l'ingénieur en informatique,
• Formalisation des mathématiques (connaissance souhaitable)
• Théorie des types dépendants (connaissance approfondie)
• Assistants à la preuve (connaissance générale)
• Anglais : B2 (Cadre européen de référence)
• Capacité de conceptualisation
• Sens critique
• Sens de l'organisation
• Aptitude au travail en équipe
Votre Environnement de Travail
Laboratoire de recherche
Contraintes et risques
N/A
Rémunération et avantages
Rémunération
Entre 3 175 € et 4 864 € bruts mensuels selon expérience professionnelle
Congés et RTT annuels
44 jours
Pratique et Indemnisation du TT
Pratique et indemnisation du TT
Transport
Prise en charge à 75% du coût et forfait mobilité durable jusqu'à 300€
À propos de l'offre
Référence de l'offre
UMR7351-CARSIM-006
Secteur d'activité
Informatique, Statistiques et Calcul scientifique
Emploi type
Chef de projet / expert en ingenierie logicielle (H/F)
À propos du CNRS
Le CNRS est un acteur majeur de la recherche fondamentale à une échelle mondiale. Le CNRS est le seul organisme français actif dans tous les domaines scientifiques. Sa position unique de multi-spécialiste lui permet d'associer les différentes disciplines pour affronter les défis les plus importants du monde contemporain, en lien avec les acteurs du changement.
Les Missions
Le projet a pour but de participer à l'élaboration d'une théorie des structures catégoriques supérieures comme le nerf omega-catégorique, en lien avec la semantique des langages de programmation et la théorie des types dépendents. Le candidat mettra en oeuvre ses compétences en théorie des types, formalisation des mathématiques, et analyse combinatoire.
L'Activité
• Mise en place d'outils de construction de structures catégoriques nécessaires à la construction des langages de programmation et à l'étude des relations entre eux.
• Intégration de ces outils à la théorie des types dépendents.
• Formalisation en Rocq de ces structures.
• Etude bibliographique et comparaisons entre différentes approches logicielles et combinatoires.
• Organisation d'ateliers / de conférences.
• Publication d'un compte-rendu final.
Votre Profil
Compétences
• Techniques et sciences de l'ingénieur en informatique,
• Formalisation des mathématiques (connaissance souhaitable)
• Théorie des types dépendants (connaissance approfondie)
• Assistants à la preuve (connaissance générale)
• Anglais : B2 (Cadre européen de référence)
• Capacité de conceptualisation
• Sens critique
• Sens de l'organisation
• Aptitude au travail en équipe
Votre Environnement de Travail
Laboratoire de recherche
Contraintes et risques
N/A
Rémunération et avantages
Rémunération
Entre 3 175 € et 4 864 € bruts mensuels selon expérience professionnelle
Congés et RTT annuels
44 jours
Pratique et Indemnisation du TT
Pratique et indemnisation du TT
Transport
Prise en charge à 75% du coût et forfait mobilité durable jusqu'à 300€
À propos de l'offre
Référence de l'offre
UMR7351-CARSIM-006
Secteur d'activité
Informatique, Statistiques et Calcul scientifique
Emploi type
Chef de projet / expert en ingenierie logicielle (H/F)
À propos du CNRS
Le CNRS est un acteur majeur de la recherche fondamentale à une échelle mondiale. Le CNRS est le seul organisme français actif dans tous les domaines scientifiques. Sa position unique de multi-spécialiste lui permet d'associer les différentes disciplines pour affronter les défis les plus importants du monde contemporain, en lien avec les acteurs du changement.
