Post-doctoral Research Visit F/m Post-doc in Formal
il y a 4 jours
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 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, competitiveness clusters, research and higher education players, laboratories of excellence, technological research institute, etc.
Contexte et atouts du poste
The research group belongs to a joint research center of Inria, CNRS, and Université de Rennes.
Mission confiée
We are looking to hire a post-doc for 13 months in the area of formal methods at Inria, Université de Rennes. There are opportunities to extend the position for another year.
1) Formal verification of real-time systems using timed automata and techniques from game theory, reinforcement learning, temporal logics, automata learning etc.
2) Parameterized model checking of distributed systems using techniques such as counter and predicate abstractions.
Principales activités
Some of the papers related to the mentioned projects are listed below:
- Concerning real-time systems:
- Concerning parameterized verification
Avantages
- Subsidized meals
- Partial reimbursement of public transport costs
- Possibility of teleworking (90 days per year) and flexible organization of working hours
- Partial payment of insurance costs
Rémunération
Monthly gross salary 2788€
-
Rennes, France Inria Temps pleinLe 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 Rennes University is one of Inria's eight centres and has more than thirty research teams. The Inria Centre is a major...
-
Rennes, France INRIA Temps pleinContexte 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...
-
Rennes, France INSTITUT NATIONAL DES SCIENCES APPLIQUEES Temps plein**Post-doc L’évaluation de l’empreinte environnementale des médias audiovisuels**: - Réf **ABG-133340** - Sujet de Thèse - 05/09/2025 - Autre financement public - INSTITUT NATIONAL DES SCIENCES APPLIQUEES - Lieu de travail- Rennes - Bretagne - France - Intitulé du sujet- Post-doc L’évaluation de l’empreinte environnementale des médias...
-
Rennes, Bretagne, France INSA RENNES Temps pleinÀ propos de nousINSA Rennes is the most important public engineering school in Brittany. It welcomes 2040 students and apprentices. More than 340 engineers, 60 masters students and 40 PhDs graduate each year. With 9 teaching departments, including 7 engineering specialties and 1 apprenticeship program, and 7 research laboratories, INSA employs around 540...
-
Rennes, France Inria Temps pleinLe 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 Rennes University is one of Inria's nine centres and has more than thirty research teams. The Inria Centre is a major and...
-
Rennes, France Inria Temps pleinLe 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 **Niveau d'expérience souhaité**: De 3 à 5 ans **A propos du centre ou de la direction fonctionnelle**: The Inria Centre at Rennes University is one of Inria's nine centres and has more than...
-
Researcher in Applied Chemical Ecology of
il y a 7 jours
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...
-
Post doc
il y a 7 jours
Rennes, Bretagne, France INSA RENNES Temps pleinÀ propos de nousL'INSA Rennes est la plus importante école publique d'ingénieurs de Bretagne. 2040 étudiants et apprentis y sont accueillis. Plus de 340 ingénieurs, 60 étudiants de masters et 40 docteurs y sont diplômés par an. Composé de 9 départements d'enseignement, 8 spécialités d'ingénieurs dont 2 par apprentissage, et tutelle de 7...
-
Sensory Research Manager
il y a 2 semaines
Rennes, France Eurofins GSC Poland Sp. z o.o. Temps pleinSensory Research Manager49_744000093178445Obowiązki Job Summary:Reporting to an Associate Research Director or a Research Director, a Research Manager is the primary contact for client communication before/during/after projects and owns and delivers full research projects.Responsibilities:We are looking for a Sensory Research Manager to reinforce our...
-
Médecin en Recherche Clinique
il y a 3 semaines
Rennes, France Biotrial Temps pleinWith over 35 years of expertise, Biotrial, a contract research organization, contributes to preserving and advancing the health of millions of individuals by improving the treatment of diseases. By joining our company at one of our sites in Europe or the Americas, you will become part of a high-performance organization and teams. Teamwork and cooperation...
