Researcher in Formal Methods
il y a 11 heures
**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 demonstrate the effectiveness of proposed solutions to both technical and non-technical stakeholders;
- Contribute to open innovation in the field of Formal Methods by collaborating with academic partners through joint research projects, co-supervision of doctoral students, direct contracts, etc.
**Required education and experience**:
- A Ph.D. in the field of Formal Methods with experience in software and hardware development or mathematics, gained within public or private R&D laboratories;
- Experience in Formal Methods and possibly in one or more of the following areas: Artificial Intelligence (Deep & Machine Learning, Reinforcement Learning, Genetic Algorithms, etc.), model engineering, control theory, software engineering, FPGA and similar hardware developments, testing, industrial and optical networks;
- Strong interest in combining Artificial Intelligence (Deep & Machine Learning, Reinforcement Learning, Genetic Algorithms, etc.) and Formal Methods at both theoretical and practical levels;
- Applied knowledge and expertise related to one or more Formal Methods tools (such as Atelier B, Frama-C, SPARK, SCADE, Why3, Dafny, F*, Boogie, Agda, Rocq, Lean, Isabelle, TrustinSoft Analyzer, PolySpace, Astrée, Z3, CVC5, Alt-Ergo, SPIN, NuSMV, Simulink Design Verifier, UPPAAL, etc.);
- Established research experience evidenced by publications or patents;
- A strong knowledge of functional (OCaml, Haskell, etc.), object-oriented (C++, C#, Java, etc.), or synchronous languages (SCADE, Lustre, etc.), as well as software engineering practices, will also be highly appreciated;
**Personal profile**:
- Open-mindedness, capacity to work in a multicultural and international environment;
- Ability to work across multiple tasks methodically and efficiently, within set deadlines;
- Motivation to work in a dynamic industrial research environment and adaptability in reordering priorities;
- Excellent communication and interpersonal skills: ability to share information with team players (must show evidence of teamwork), and to present one’s work to a wide audience (demonstrators, presentations, etc.) in an understandable and appealing fashion;
- Fluent written and spoken English;
- Availability for business trips abroad.
**Duration**: permanent contract
-
Post-doctoral Research Visit F/m Post-doc in Formal
il y a 1 semaine
Rennes, France Inria Temps pleinLe 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...
-
Rennes, France Inria Temps pleinPost-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...
-
Rennes, France Inria Temps pleinPost-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...
-
Postdoc: Generative AI for Formal Code Annotations
il y a 3 jours
Rennes, France Inria Temps pleinA 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...
-
Rennes, Bretagne, France CHEManager International Temps pleinA 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,...
-
Rennes, Bretagne, France Inria Temps pleinLe 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...
-
Researcher in Applied Chemical Ecology of
il y a 2 semaines
Rennes, France Agriodor Temps pleinResearcher position in Applied Chemical Ecology of plant-insect interactions A full-time position is opening in Agriodor’s chemical and behavioural ecology team at Biopôle (Rennes, France). Due to a rapid evolution regarding the European regulation of the use of phytosanitary products in crop protection against pest insects, it is urgent to develop...
-
Rennes, France CentraleSupelec Temps plein**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-...
-
Rennes, France EURAXESS Ireland Temps pleinOrganisation/Company CNRS Department Institut des sciences chimiques de Rennes Research Field Chemistry Physics Researcher Profile First Stage Researcher (R1) Country France Application Deadline 9 Jan 2026 - 23:59 (UTC) Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 1 Feb 2026 Is the job funded through the EU Research...
-
Sensory Research Manager
il y a 3 jours
Rennes, France SAM Sensory and Consumer Research Temps pleinSensory Research Manager Location: Rennes Role Summary Reporting to an Associate Research Director or a Research Director, a Sensory Research Manager is the primary contact for client communication before, during and after projects and owns and delivers full research projects. We are looking for a Sensory Research Manager to reinforce our Sensory Research...
