[H/F] INGÉNIEUR DE RECHERCHE - DÉVELOPPEMENT D'UNE NOUVELLE GÉNÉRATION D'ASSISTANTS À LA PREUVE 75 - Paris (Dept.)
Offre n° 4366586
[H/F] INGÉNIEUR DE RECHERCHE - DÉVELOPPEMENT D'UNE NOUVELLE GÉNÉRATION D'ASSISTANTS À LA PREUVE
75 - Paris (Dept.)
Publié le 30 mars 2025
Référence CSP: UMR8243-JEMSAM0-016 Missions : Le projet a pour objectif de participer au développement d'une nouvelle génération d'assistants à la preuve, qui intègrent dans leurs noyaux une couche linguistique et des outils d'assistance automatisée pour guider le scientifique et faciliter la construction de documents mathématiques certifiés, depuis le choix des concepts et des définitions, jusqu'à l'élaboration des théorèmes et des démonstrations. Activités : - Conception, implémentation et expérimentation d'une couche linguistique dans un assistant à la preuve, - Développement d'outils d'extraction de paramètres (feature extraction) de larges corpus de mathématiques formalisées - Gestion incrémentale de ces larges corpus de mathématiques formalisées - Développement d'un environnement de type Gym pour permettre à l'IA d'interagir avec l'assistant à la preuve - Intégration d'un éditeur de code et d'une interface graphique pour permettre à un utilisateur humain d'interagir avec l'assistant à la preuve et l'IA Contexte de travail : Travail au sein de l'unité mixte de recherche 8243 IRIF
- 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
Employeur
CNRS
D'autres offres peuvent vous intéresser :
(déjà vu)
Chef de projets transformation en assurances (H/F)
BRAIN WORK OFFICE - 75 - PARIS 08
Chef de projets transformation en assurances F/H - CDI - Statut Cadre Dans le cadre de son plan stratégique 2024-2026, notre client, grande compagnie d'assurances, recrute un Chef de projets...
CDI - Temps plein
Publié hier
CDI
Temps plein(déjà vu)
Chargé/ chargée d'affaires en Electronique et Systèmes Embarqués (H/F)
NEARADVISE SERVICES - 77 - CHAMPS SUR MARNE
Vous serez responsable de la gestion et du développement de projets techniques en électronique, informatique embarquée. Des déplacements professionnels sont à prévoir pour notre filiale en Tunisie,...
CDI - Temps plein
Publié il y a 9 jours
CDI
Temps plein(déjà vu)
CHEF DE PROJETS AUDIOVISUEL (H/F)
DEFI TECHNOLOGY - 78 - HERMERAY
FICHE DE POSTE : CHEF DE PROJETS : AUDIOVISUEL MISSION & ATTRIBUTIONS : Etude technique : - Superviser la phase de conception du projet, en prenant en compte les besoins du client - Réaliser des...
CDI - Temps plein
Publié il y a 23 jours
CDI
Temps plein(déjà vu)
Chef.fe de projets SI et utilisateurs (H/F)
75 - PARIS 08
Notre client est une organisation engagée, reconnue pour ses projets à fort impact sociétal et environnemental. Dans le cadre de son fort développement, il recherche un(e) Chargé.e de Projets SI et...
CDI - Temps plein
Publié il y a 21 jours
CDI
Temps plein(déjà vu)
Project Management Officer - PMO (H/F)
REDSEN FRANCE - 75 - PARIS 11
Votre rôle chez nos clients : - Assister le pilotage d'un portefeuille de projets SI et métier - Assister les directeurs dans l'évaluation des projets (performance, rentabilité, qualité,...
CDI - Temps plein
Publié hier
CDI
Temps plein(déjà vu)
Project Management Officer - PMO (H/F)
SETEC EOCEN - 75 - PARIS 12
Rejoignez eocen pour une mission de grande envergure ! Qui sommes-nous ? eocen est un leader en ingénierie et gestion de projets complexes, spécialisé dans l'énergie, l'industrie lourde et les...
CDI - Temps plein
Publié il y a 2 jours
CDI
Temps plein(déjà vu)
Project Management Officer - PMO (H/F)
MBDA FRANCE - 92 - LE PLESSIS ROBINSON
Au sein d'une Direction de Programme, vous êtes intégré(e) au service « Business & Performance ». Venez partager vos compétences sur notre site du Plessis-Robinson, et les développer via un plan de...
CDI - Temps plein
Publié il y a 7 jours
CDI
Temps plein(déjà vu)
PMO data analyste (H/F)
CORELIA - 92 - Issy-les-Moulineaux
CORELIA recrute un PMO Data Analytique H/F pour : - Définir et piloter la stratégie Data pour accompagner la transformation digitale globale de l'entreprise. - Structurer et optimiser la gestion des...
CDI - Temps plein
Publié il y a 10 jours
CDI
Temps plein(déjà vu)
Coordinateur Packaging (H/F)
ADECCO - 92 - Neuilly-sur-Seine
Adecco, expert mondial des Ressources Humaines, vous accueille au sein de son agence. Notre équipe, formée aux métiers de l'Industrie vous accompagnera sur tous vos projets professionnels...
Intérim - Temps plein
Publié il y a 20 jours Soyez parmi les 1ers à postuler
Intérim
Temps plein(déjà vu)
Chef de projet utilisateurs des systèmes d'information (H/F)
Jinane Consulting - 93 - NOISY LE GRAND
Les prestations attendues consistent notamment à : ? Support technique pour assurer la résolution des incidents N2/3. ? Être en relation avec les équipes Études et Travaux et le correspondant...
Profession libérale - Non renseigné
Publié il y a 6 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)