Postdoc: Generative Annotations for Verified Code

A research institute in digital science is seeking a Post-Doctoral Research Visit candidate with experience in formal methods or AI. The role involves collaboration with Mitsubishi Electric to enhance formal code annotations through advanced AI techniques and explores generating software verification invariants. Candidates should hold a PhD and have 3-5...

Post-Doctoral Research Visit F/M Generative Formal Code Annotations Fonction : Post-Doctorant The Inria Centre at Rennes University is one of Inria’s eight centres and has more than thirty research teams. The Inria Centre is a major and recognized player in the field of digital sciences. It is at the heart of a rich R&D and innovation ecosystem: highly...

A propos du centre ou de la direction fonctionnelleThe Inria Centre at Rennes University is one of Inria's eight centres and has more than thirty research teams. The Inria Centre is a major and recognized player in the field of digital sciences. It is at the heart of a rich R&D and innovation ecosystem: highly innovative PMEs, large industrial groups,...

Post-Doctoral Research Visit F/M Generative Formal Code AnnotationsLevel of qualifications required : PhD or equivalentFonction : Post-Doctoral Research VisitLevel of experience : From 3 to 5 yearsAbout the research centre or Inria departmentThe Inria Centre at Rennes University is one of Inria's eight centres and has more than thirty research teams. The...

Le descriptif de l'offre ci-dessous est en AnglaisType de contrat : CDDNiveau de diplôme exigé : Thèse ou équivalentFonction : Post-DoctorantNiveau d'expérience souhaité : De 3 à 5 ansA propos du centre ou de la direction fonctionnelleThe Inria Centre at Rennes University is one of Inria's eight centres and has more than thirty research teams. The...

**Offre de Stage : Stagiaire IA Générative** **Mission générale** Le stagiaire en IA Générative aura pour mission d'assister l'équipe dans l'intégration des technologies **IA** générative dans l'ingénierie pédagogique et les processus métier de l'organisme de formation. Son objectif principal sera de **développer des outils...

**Type de contrat**: CDD **Contrat renouvelable**: Oui **Niveau de diplôme exigé**: Bac + 5 ou équivalent **Fonction**: Ingénieur scientifique contractuel **Niveau d'expérience souhaité**: Jusqu'à 3 ans **A propos du centre ou de la direction fonctionnelle**: The Inria Centre at Rennes University is one of Inria's eight centres and has more than...

Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat**: CDD **Niveau de diplôme exigé**: Thèse ou équivalent **Fonction**: Post-Doctorant **A propos du centre ou de la direction fonctionnelle**: The Inria Centre at the University of Rennes is one of Inria’s nine centres and is home to more than thirty research teams. It is a...

STAGE d'Ingénieur Data Sciences / IA générative F/H Join to apply for the STAGE d'Ingénieur Data Sciences / IA générative F/H role at Numih France L'entreprise ⭐ Partager nos valeurs : Respect, Equité, Solidarité, Honnêteté. Rejoindre des collègues investis dans une mission d'utilité publique et innovante. Travailler avec des équipes motivées...

Contexte et atouts du poste The aim of the postdoc is the design and study of novel approaches for the development of stochastic geometric numerical integration. Depending on the background of the recruited person, the project will focus on the creation of new stochastic integrators on manifolds, the study of the algebraic and geometric structures underlying...