Responsable utilisateurs des systèmes d'information (H/F)
Offre publiée le 20/12/2024
💼 Offre d'emploi
- Type de contrat
- Contrat à durée déterminée - 12 Mois
- Durée de travail
- Expérience
- Débutant accepté
- Salaire
- Permis demandé
- Aucune information
📍 Entreprise
- Employeur
- Non renseigné
Lieu de travail
75 - PARIS 13 (Code postal 75013) Voir sur une carte
Description de l'offre
Mission :
Le projet a pour objet de participer au développement d'extensions de la théorie équationnelle de l'assistant à la preuve Rocq, en lien avec la théorie des types cubiques et des outils de la réécriture. Le candidat mettra en œuvre ses connaissances et compétences en théorie des types, formalisation des mathématiques et programmation fonctionnelle.
Activités :
- Mise en place d'outils de réécriture modulo dédiés au sein de l'écosystème Rocq
- Intégration de ces outils de réécriture à la théorie des types dépendants
- Formalisation en Rocq de modules de théorie des types cubiques
- Comparaison entre formalisation cubique et simplicial de l'axiome d'univalente
- Etude bibliographique et comparaisons entre différentes approches logicielles
- Organisation d'ateliers / de conférences.
- Publication d'un compte-rendu final.
Identifiant de cette offre d'emploi sur France Travail : 9639117
Libellé ROME de l'offre d'emploi : Ingénieur / Ingénieure de recherche scientifique (Code ROME : K2402)
Autre appellation de l'offre : Ingénieur / Ingénieure de recherche scientifique
Offre d'emploi et contenus récupérés en partenariat avec France Travail. Cojob n'est pas responsable des informations fournies.