- Accueil France Travail
- Emploi
- Informatique et télécoms
- Chef de projet informatique
- Paris
- Détail de l'offre 9698655
- Accueil France Travail
- Emploi
- Informatique et télécoms
- Chef de projet informatique
- Paris
- Détail de l'offre 9698655
INGÉNIEUR (H/F) - DÉVELOPPEMENT D'EXTENSIONS DE LA THÉORIE ÉQUATIONNELLE DE L'ASSISTANT À LA PREUVE ROC 75 - Paris (Dept.)
Offre n° 9698655
INGÉNIEUR (H/F) - DÉVELOPPEMENT D'EXTENSIONS DE LA THÉORIE ÉQUATIONNELLE DE L'ASSISTANT À LA PREUVE ROC
75 - Paris (Dept.)
Publié le 21 décembre 2024
Référence CSP: UMR7351-ISADEA-001 Missions : 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. Contexte de travail : laboratoire de recherche
- Type de contrat
-
Contrat à durée déterminée - 36 Mois
Contrat travail
Profil souhaité
Expérience
- Expérience exigée de 2 An(s)Cette expérience est indispensable
Entreprise
CNRS
D'autres offres peuvent vous intéresser :
- (déjà vu)
Responsable SI métier DIALOGUE 2 (CIR,GA, Préliquidation) (H/F)
MINISTERE DE L'INTERIEUR - 75 - Paris (Dept.)
La direction d'application Dialogue 2 (DAD2) est rattachée à la Mission de gouvernance ministérielle des ressources humaines (MGMRH) de la DRH du ministère de l'Intérieur. Elle compte quelque 40...
CDI - Temps plein
Publié il y a 4 jours
CDI
Temps plein - (déjà vu)
Chef de Projet Cybersécurité (H/F)
SEGMENT ELITE - 75 - PARIS 09
Rejoignez une mission stratégique en Cybersécurité ! Nous recherchons un Chef de Projet Cybersécurité expérimenté pour piloter un programme de mise en conformité avec la réglementation européenne...
CDI - Temps partiel
Publié il y a 10 jours
CDI
Temps partiel - (déjà vu)
Project Manager (H/F)
COLLABORATION BETTERS THE WORLD - 75 - PARIS 09
CBTW recherche pour un de ses clients grand compte un(e) Project Manager Les missions consisteront en : - Identifier, recueillir, spécifier et prioriser les besoins d'évolution du process de...
CDI - Temps plein
Publié il y a 16 jours
CDI
Temps plein - (déjà vu)
RESPONSABLE SI F/H/NB (H/F)
NRJ GROUP - 75 - PARIS 16
Poste ouvert aux travailleurs en situation de handicap Type de contrat : CDI Statut : Cadre Dans le cadre d'un remplacement, nous recherchons un Responsable SI F/H/NB. Les missions que nous vous...
CDI - Temps plein
Publié il y a 16 jours
CDI
Temps plein - (déjà vu)
Project Management Officer Hydrogène - H/F (H/F)
ALPHADOZ - 75 - Paris
Afin de compléter nos équipes dans le domaine de l'Hydrogène, nous recrutons : Un PMO (Project Management Officer) - H/F basé en Belgique Localisation : Belgique (Liège) Déplacements : Occasionnel...
CDI - Temps plein
Publié il y a 2 jours
CDI
Temps plein - (déjà vu)
Chef de projet - Data Steward (Domaine Facturation- Recouvrement) (H/F)
GDF RD - 92 - BAGNEUX ET LA DEFENSE
Votre mission : Cartographie les données de son domaine (Facturation & Recouvrement), met à jour le modèle d'objets métier et documente les règles et processus qui s'appliquent à la gestion des...
CDI - Temps plein
Publié il y a 2 jours
CDI
Temps plein - (déjà vu)
International Project & Account Manager / Advertising & Content (H/F)
87Secondes - 92 - LEVALLOIS PERRET
87Seconds, The creative house that makes people feel Nous sommes une agence de création et production, experte en contenus et campagnes ATAWADAC (any time, any where, any device, any culture). Nous...
CDI - Temps plein
Publié il y a 10 jours
CDI
Temps plein - (déjà vu)
PMO Junior (H/F)
NEWMERICS GROUP - 92 - Hauts-de-Seine
Assister les chefs de projet dans la coordination des tâches et des ressources. Contribuer à la collecte, à l'analyse et à la présentation des données clés du projet. Assurer le suivi et la...
CDI - Temps plein
Publié il y a 19 jours
CDI
Temps plein - (déjà vu)
Responsable de projets f/h (H/F)
91 - ST PIERRE DU PERRAY
Safran est un groupe international de haute technologie opérant dans les domaines de l'aéronautique (propulsion, équipements et intérieurs), de l'espace et de la défense. Sa mission : contribuer...
CDI - Non renseigné
Publié aujourd'hui
CDI
Non renseigné - (déjà vu)
Project Management Officer (PMO) (H/F)
KEONI CONSULTING - 75 - PARIS 01
CONTEXTE Objectif global : Participer Production applicative Wealth Management MISSIONS : -Garantir la disponibilité des ressources techniques -Analyser et corriger les incidents en niveaux 2 et...
Profession libérale - Non renseigné
Publié il y a 13 jours
Profession libérale
Non renseigné
Découvrez d'autres services web
Réussir son CV et sa lettre de motivation
Suscitez l’intérêt du recruteur et donnez-lui envie de vous rencontrer.
B.A.BA Entretien
Apprenez à préparer votre prochain entretien.
Informations sur le marché du travail
Accédez aux informations et statistiques sur ce métier.
Simulateurs d'aides et allocations en cas de reprise d'emploi
Estimez vos futures ressources financières sur les 6 prochains mois.
- Voir plus de services (Emploi store)