Ingénieur - Etude des Structures Catégoriques Langages et Théories de Types H/F - CNRS

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. Le CNRS Les métiers de la recherche

• Statistiques
• Anglais
• Travail en équipe
• Langages de programmation
• Mathématiques
• Sens de l’organisation