Postdoc: Generative AI for Formal Code Annotations

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...

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...

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,...

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...

Un centre de recherche en sciences numériques recherche un candidat post-doctorant à Rennes pour analyser l'application des modèles de langage dans les méthodes formelles. Le poste exige un solide bagage en méthodes formelles ou en intelligence artificielle, et des compétences en développement logiciel. Le candidat contribuera à créer des techniques...

**Context and description**: Located in Rennes (Ille-et-Vilaine, Brittany), the DIS division is seeking a researcher with expertise in Formal Methods to undertake the following responsibilities: - Research on innovative solutions for critical and non-critical systems, with a focus on security, safety, or business activities using Formal Methods; - Clearly...

**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...

**Design and Formal Verification of Hardware/Software Security Mechanisms**: - Réf **ABG-128442** - Sujet de Thèse - 10/02/2025 - Contrat doctoral - CentraleSupelec - Lieu de travail- Rennes - Bretagne - France - Intitulé du sujet- Design and Formal Verification of Hardware/Software Security Mechanisms - Champs scientifiques- Informatique - Mots clés-...

Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD**Contrat renouvelable **:Oui**Niveau de diplôme exigé **:Thèse ou équivalent**Fonction **:Post-DoctorantA 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 thirty research teams. The...