20 meilleures offres (assistant chef de projet, bretagne) (à pourvoir)

Jeune chercheur en intelligence artificielle pour les mathématiques formelles et les assistants à la preuve.
Inria —Rennes (35)
- Niveau Doctorat
- Informatique
- Compétences rédactionnelles
- Prise en charge du transport quotidien
Chef.fe de projet contenus éditoriaux - poste 3072
Département Ille-et-Vilaine —Rennes (35)
Chef de projet webmarketing
soledis —Vannes (56)
- Master
Chef de projet Webmarketing spécialisé SEO (H/F)
Dream me up —Saint-Avé (56)
- De 26 000 € à 32 000 € par an
- Temps plein
- Télétravail partiel
- Service client
- Esprit d'analyse
- Sens de l'organisation
- Réductions tarifaires
Postuler rapidement
il y a 5 jours
Chef de projets santé H/F
CPTS GWENED —Saint-Avé (56)
- À partir de 30 000 € par an
- Temps plein
- Master
- Esprit d'analyse
- Sens de l'organisation
- Travail à domicile occasionnel
- Horaires flexibles
Postuler rapidement
il y a 5 jours
Chef(fe) de Projet Ingénierie Naval H/F
Ekium —Lorient (56)
- Service client
- Ingénierie
- Anglais
Chef de projet études environnementales - H/F
Geofit —Vannes (56)
- De 35 000 € à 42 000 € par an
- Bureautique
- Tarifs préférentiels
- Horaires flexibles
15 h
Assistant(e) gestion de production
LAUDREN ELECTRONIQUE —Lanester (56)
- À partir de 27 830 € par an
- Temps plein
- Systèmes PGI
- En présentiel
- Production
Postuler rapidement
Chef de projet H/F
Snef —Brest (29)
- De 42 € à 55 € par an
- Télétravail partiel
- Master
- Gestion de projet
- Électrotechnique
Postuler rapidement
Chef de projet ERP Technique H/F
S-quaar —Vannes (56)
- De 50 000 € à 55 000 € par an
- Oracle
- Informatique
- Anglais
CHEF DE PROJETS PEDAGOGIQUES DIGITAUX H/F
EDUSERVICES SAS —Plescop (56)
- Compétences rédactionnelles
- Niveau Bac
- Niveau Licence
Postuler rapidement
Chef.fe de projet webmarketing
Addviso —Rennes (35)
- Anglais
- Horaires flexibles
Assistant Débutant - Audit - Rennes (H/F)
Grant Thornton —Saint-Grégoire (35)
- Temps plein
- Télétravail partiel
- Ingénierie
- Anglais
- Master
Postuler rapidement
Chef de Projet Process continu F/H
Laita —Créhen (22)
- Temps plein
- AutoCAD
- Ingénierie
- Anglais
ASSISTANT RESSOURCES HUMAINES H/F
Groupe EONNET —Moréac (56)
- Microsoft Office
- Master
- Sens de l'organisation
Coordinateur de secteur / assistant d'agence (H/F)
Ouihelp —Lorient (56)
- À partir de 28 200 € par an
- Sens de l'organisation
- Niveau Bac +2
Postuler rapidement
Chef de Projet Process continu F/H
Even —Créhen (22)
- Temps plein
- AutoCAD
- Ingénierie
- Anglais
Assistant Chef de projet formation H/F
Crédit Mutuel Arkéa —Brest (29)
- Temps plein
- Compétences rédactionnelles
- Sens de l'organisation
- Compétences en communication
Chef de projet H/F Gestion de projets / Affaires / Commerce · Brest, Caudan, Rennes · Hybride
SNEF —Brest (29)
- De 42 € à 55 € par an
- Master
- Gestion de projet
- Électrotechnique
Chef de Projets F/H
VINCI Energies —Quimper (29)
- Service client
- Ingénierie
- Anglais

Je souhaite recevoir la dernière alerte Emploi pour les postes de ce type : assistant chef de projet (bretagne)

En vous connectant à votre compte, vous acceptez les Conditions d'utilisation de SimplyHired et consentez à notre Politique relative aux cookies et Politique de confidentialité.

Afficher des offres d'emploi dans d'autres lieux

assistant chef de projet jobs near bretagne

Chef De Projet, Brest (29) : emplois

Chef De Projet, Quimper (29) : emplois

Chef De Projet, Vannes (56) : emplois

Chef De Projet, Lorient (56) : emplois

Assistant Chef De Projet, Brest (29) : emplois

Stage Droit Public, Paris (75) : emplois

Stage Assistant, Perpignan (66) : emplois

Stage Assistant, Poitiers (86) : emplois

Stage Assistant, Carpentras (84) : emplois

Stage Assistant, Narbonne (11) : emplois

Assistant Pedagogique, Saint Omer (62) : emplois

Assistant Adv, Paris (75) : emplois

Assistant D'agence, Loire : emplois

Assistant Juridique Cdd, Paris (75) : emplois

Assistant D'agence, Rouen (76) : emplois

Assistant Comptable, Strasbourg (67) : emplois

Assistant D'agence, Bretagne : emplois

Assistant De Recherche Psychologie, Paris (75) : emplois

Assistant Pedagogique, Troyes (10) : emplois

Assistant Administratif, Angers (49) : emplois

Jeune chercheur en intelligence artificielle pour les mathématiques formelles et les assistants à la preuve.

Inria -
Rennes (35)

Soumettre votre candidature

Détails de l'emploi

Avantages

Prise en charge du transport quotidien
RTT
Programme de formation

Qualifications

Français
Rust
Niveau Doctorat
Informatique
Compétences rédactionnelles
Git
Anglais
Master
Développement logiciel
Intelligence artificielle
Outils de développement
Python

Description complète du poste

Type de contrat : CDD

Niveau de diplôme exigé : Thèse ou équivalent

Fonction : Chercheur contractuel

Niveau d'expérience souhaité : Jusqu'à 3 ans

A propos du centre ou de la direction fonctionnelle

Le centre Inria de l'Université de Rennes est l'un des huit centres d’Inria et compte plus d'une trentaine d’équipes de recherche. Le centre Inria est un acteur majeur et reconnu dans le domaine des sciences numériques. Il est au cœur d'un riche écosystème de R&D et d’innovation : PME fortement innovantes, grands groupes industriels, pôles de compétitivité, acteurs de la recherche et de l’enseignement supérieur, laboratoires d'excellence, institut de recherche technologique.

Contexte et atouts du poste

Dans le cadre des projets ERC Fresco et AI4Maths soutenu par Renaissance Philanthropy, l'objectif est de développer des techniques de traduction automatique et certifiée entre les assistants à la preuve Lean et Rocq, afin de rendre totalement transparent le fait qu'une bibliothèque mathématique ou logicielle ait été formalisée dans l'un ou l'autre système.

Ce travail s'inscrit dans un contexte de collaboration étroite avec le SIC d'Inria Rennes ainsi qu'avec les équipes Argo, Gallinette et PiCube. Il impliquera des interactions régulières avec ces partenaires et nécessitera des séjours fréquents sur les différents sites afin de favoriser les échanges scientifiques et le développement conjoint des outils et des fondements théoriques associés.

Mission confiée

### Missions

La personne recrutée contribuera au développement de nouvelles méthodes de traduction automatique entre les assistants à la preuve Lean et Rocq, en s'appuyant sur les capacités des modèles de langage de dernière génération (*Frontier LLMs*).

Dans un premier temps, elle participera à la conception et à l'évaluation de chaînes de traduction exploitant les modèles les plus performants du marché afin d'identifier les architectures et stratégies les plus adaptées à la formalisation mathématique et à la traduction certifiée de preuves.

Dans un second temps, elle contribuera au développement, à l'adaptation et à l'entraînement de modèles open source spécialisés, avec pour objectif d'atteindre des performances comparables à celles des modèles propriétaires tout en permettant un déploiement local, une meilleure maîtrise des coûts d'infrastructure, de la confidentialité des données et de l'empreinte environnementale.

Les travaux incluront également la constitution de jeux de données, l'évaluation des modèles sur des corpus de preuves formelles, l'intégration des outils développés dans les environnements Lean et Rocq, ainsi que l'étude de mécanismes de vérification permettant de garantir la correction des traductions produites.

Collaboration

La personne recrutée évoluera dans un environnement fortement collaboratif, à l'interface entre intelligence artificielle, méthodes formelles et assistants à la preuve.

Elle travaillera en étroite interaction avec le SIC d'Inria Rennes ainsi qu'avec les équipes Argo, Gallinette et PiCube. Ces collaborations donneront lieu à des échanges scientifiques réguliers, à la participation à des réunions de projet, ainsi qu'à des séjours fréquents sur les différents sites partenaires afin de favoriser le transfert de compétences et le développement conjoint des outils de traduction et de vérification.

Principales activités

Analyser les besoins scientifiques des projets ERC Fresco et AI4Maths en matière de traduction automatique et certifiée entre les assistants à la preuve Lean et Rocq.

Développer des programmes, applications et chaînes de traitement basés sur des modèles de langage de dernière génération (Frontier LLMs) pour la traduction de preuves formelles et de bibliothèques mathématiques.

Concevoir, adapter et évaluer des modèles open source spécialisés afin d'obtenir des performances comparables aux modèles propriétaires tout en permettant un déploiement local et une maîtrise de l'empreinte environnementale.

Constituer des jeux de données, tester, évaluer et améliorer les systèmes développés jusqu'à validation sur des corpus représentatifs de preuves formelles.

Rédiger la documentation technique, les rapports d'avancement et les publications associées aux travaux réalisés.

Activités complémentaires

Présenter l'avancement des travaux aux partenaires scientifiques des projets et participer aux réunions de coordination avec le SIC d'Inria Rennes et les équipes Argo, Gallinette et PiCube.

Diffuser les outils et modèles développés auprès des communautés Lean, Rocq et intelligence artificielle via des dépôts open source et des démonstrateurs.

Assurer une veille scientifique et technologique sur les modèles de langage, l'IA pour les mathématiques et les assistants à la preuve, et contribuer à l'animation de la communauté autour de ces thématiques.

Compétences

Compétences techniques et niveau requis

Bonne maîtrise de la programmation (Python, OCaml, Rust ou langage équivalent).
Connaissances en intelligence artificielle, en particulier sur les modèles de langage (LLM), l'apprentissage automatique ou le traitement automatique des langues.
Capacité à conduire des expérimentations, analyser des résultats et évaluer des systèmes d'IA.
Maîtrise des outils de développement collaboratif (Git, intégration continue, gestion de projets logiciels).
Niveau Master ou équivalent en informatique, intelligence artificielle, mathématiques appliquées ou domaine connexe.

Langues

Anglais scientifique : niveau B2 minimum, C1 souhaité (lecture d'articles, rédaction technique et échanges scientifiques).
Français : capacité à évoluer dans un environnement de travail francophone.

Compétences relationnelles

Capacité à travailler en équipe dans un contexte de recherche collaborative.
Curiosité scientifique et goût pour l'apprentissage continu.
Autonomie dans la conduite de projets et la résolution de problèmes.
Qualités de communication écrite et orale.
Capacité à interagir avec des interlocuteurs issus de disciplines variées (IA, méthodes formelles, mathématiques, génie logiciel).

Compétences additionnelles appréciées

Connaissances des assistants à la preuve (Lean, Rocq/Coq, Isabelle, HOL, etc.).
Expérience avec les modèles open source et leur adaptation (fine-tuning, RAG, évaluation).
Connaissances en vérification formelle, théorie des types ou mathématiques formelles.
Expérience de contribution à des projets open source ou de recherche.
Publications, stage de recherche ou participation à des projets en intelligence artificielle ou en méthodes formelles.

Avantages

Restauration subventionnée
Transports publics remboursés partiellement
Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
Accès à la formation professionnelle

Rémunération

Selon expérience

Informations générales

Thème/Domaine : Preuves et vérification
Plateformes expérimentales logiciel (BAP E)
Ville : Rennes
Centre Inria : Centre Inria de l'Université de Rennes
Date de prise de fonction souhaitée : 2026-07-01
Durée de contrat : 2 ans, 11 mois
Date limite pour postuler : 2026-07-31

Attention: Les candidatures doivent être déposées en ligne sur le site Inria. Le traitement des candidatures adressées par d'autres canaux n'est pas garanti.

Consignes pour postuler

Merci de candidater en ligne en déposant votre CV et une lettre de motivation.

Sécurité défense :
Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.

Politique de recrutement :
Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.

Contacts

Équipe Inria : GALLINETTE
Recruteur :
Tabareau Nicolas / [email protected]

L'essentiel pour réussir

Nous recherchons une personne curieuse, autonome et enthousiaste à l'idée de travailler à l'interface entre intelligence artificielle, assistants à la preuve et mathématiques formelles. Une forte appétence pour la recherche, le goût de l'expérimentation et l'envie d'explorer de nouvelles approches sont essentiels pour réussir dans ce poste.

La personne recrutée devra être à l'aise dans un environnement scientifique collaboratif, apprécier les échanges interdisciplinaires et être capable d'interagir aussi bien avec des spécialistes des modèles de langage qu'avec des chercheurs en méthodes formelles et en théorie des types. Une bonne capacité d'apprentissage, d'adaptation et de communication sera particulièrement appréciée dans un domaine en évolution rapide.

Un intérêt marqué pour les modèles de langage, la programmation, la vérification formelle ou les mathématiques constitue un atout important. Une expérience préalable en recherche, en développement de logiciels scientifiques ou en intelligence artificielle sera valorisée, sans être indispensable pour les candidats démontrant un fort potentiel d'apprentissage et une réelle motivation pour le projet.

A propos d'Inria

Inria est l’institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l’interface d’autres disciplines. L’institut fait appel à de nombreux talents dans plus d’une quarantaine de métiers différents. 900 personnels d’appui à la recherche et à l’innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start-up. L'institut s'eﬀorce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.

Soumettre votre candidature

Affinez votre recherche

assistant chef de projet emplois - bretagne

Je souhaite recevoir la dernière alerte Emploi pour les postes de ce type : assistant chef de projet (bretagne)

Related Searches

Afficher des offres d'emploi dans d'autres lieux

A propos du centre ou de la direction fonctionnelle

Contexte et atouts du poste

Mission confiée

Principales activités

Principales activités

Activités complémentaires

Compétences

Compétences techniques et niveau requis

Langues

Compétences relationnelles

Compétences additionnelles appréciées

Avantages

Rémunération

Informations générales

Consignes pour postuler

Contacts

L'essentiel pour réussir

A propos d'Inria