Postdoctoral Researcher in Formal Verification

Research Position Context The Formal Verification team at INRIA is seeking a postdoctoral researcher to work on formal methods for real-time systems. Project Overview We are looking for a researcher with a strong background in formal verification and a strong publication record to work on a project involving formal verification and testing of real-time...

Job Context and RequirementsThe research group at INRIA is seeking a postdoctoral researcher to work on formal methods and formal verification of real-time systems using timed automata and techniques from game theory, reinforcement learning, temporal logics, and automata learning.Research ProjectThe research project will focus on developing black-box testing...

Company OverviewInria is a French joint research center that brings together experts from Inria, CNRS, and Université de Rennes to push the boundaries of formal methods.Salary and BenefitsWe offer a competitive salary of €2788 per month. Our benefits package includes subsidized meals, partial reimbursement of public transport costs, possibility of...

Context and Advantages of the PositionThe DEVINE research group, a joint research center of Inria, CNRS, and Université de Rennes, is seeking a postdoctoral researcher to join their team.Research ProjectThe recruited person will work on the resolution of parameterized games using antichains, a research project within the ANR BisoUS project.Main...

Postdoctoral Researcher Opportunity INRIA is seeking a highly motivated postdoctoral researcher to join its Odyssey team, working on the ERC project STUOD. The successful candidate will contribute to the development of stochastic models for ocean dynamics, with a focus on small-scale processes and wave-current interactions. About the Project The...

Research Position in Ocean DynamicsThe Odyssey team at INRIA is seeking a postdoctoral researcher to work on stochastic modelling of oceanic flow, focusing on small-scale dynamics and wave-current interaction. This 18-month position is part of the ERC Stuod project, which aims to improve our understanding and forecasting of ocean dynamics.Context and...

Research Position in Ocean DynamicsThe Odyssey team at INRIA is seeking a postdoctoral researcher to work on stochastic modelling of oceanic flow, small-scale dynamics, and wave-current interaction. This 18-month position is part of the ERC Stuod project, which aims to improve our understanding, reconstruction, and forecasting of ocean dynamics.Context and...

Job Context and Qualifications The Inria Odyssey team is seeking a postdoctoral researcher to work on stochastic modelling of oceanic flow for an 18-month term within the ERC Stuod project. The successful candidate will join a team of researchers from Inria, Ifremer, and IMT Atlantique, focusing on mathematical and numerical modelling of ocean flows,...

Context and Advantages of the PositionThis postdoctoral research visit is part of a research project on the design and formal analysis of algorithms for fundamental distributed problems, on dynamically evolving networks and/or with dynamically evolving data.Main ActivitiesThe position involves the development of appropriate distributed models for such...

Research Project OverviewThis postdoctoral research position is part of a research project focused on designing and formally analyzing algorithms for fundamental distributed problems on dynamically evolving networks and data.Key ResponsibilitiesThe successful candidate will work under the supervision of George Giakkoupis to develop distributed models for...

Job DescriptionAt Institut Mines-Télécom, we are seeking a highly skilled Postdoctoral Researcher to join our Data Science department. The successful candidate will contribute to the development of research and teaching activities in the interdisciplinary field of data science, focusing on spontaneous e-learning from heterogeneous Web data.Main...

Research Position in Ocean ModellingThe Odyssey team at INRIA is offering a postdoctoral research position in ocean modelling within the ERC Stuod project. The successful candidate will work on stochastic representation of ocean dynamics, focusing on small-scale dynamics and wave-current interaction.Context and ObjectivesThe team aims to improve our...

Context and Benefits of the PositionThis postdoctoral research position is part of a research project focused on designing and formally analyzing algorithms for fundamental distributed problems on dynamically evolving networks and data.Mission and ExpectationsThe successful candidate will work under the supervision of George Giakkoupis to develop distributed...

About the PositionContexte et atouts du posteWe are seeking a highly motivated postdoctoral researcher to join our team at INRIA and work under the supervision of George Giakkoupis.Mission confiéeThe successful candidate will contribute to a research project focused on designing and analyzing algorithms for distributed problems in dynamically evolving...

Rechercheur postdoctoral L'objectif principal de ce poste est de développer des algorithmes distribués pour résoudre des problèmes fondamentaux sur des réseaux dynamiques et / ou avec des données dynamiques.Compétences requisesLe candidat doit avoir une solide connaissance de la théorie des systèmes distribués et de l'algorithmique...

About the ProjectINRIA is a French national research institute for digital science and technology. This research center for scientific excellence is on the frontline of digital transformation in Europe and conducts a world-class research covering a wide range of high-impact scientific disciplines.The ANR-JCJC Archi-Noise project aims to unveil disruptive...

About the ProjectInria, the French national research institute for digital science and technology, is seeking a researcher to join its team. The project, Archi-Noise, aims to develop novel metamaterials for noise and vibration control. The candidate will work on wave physics, enriched continuum theories, and structural dynamics using a cutting-edge...

PhD Researcher in High-Content Multiplex FRET BiosensorsWe are seeking a highly motivated PhD researcher to join our team at the Institute of Genetics and Development of Rennes (IGDR) in France. The successful candidate will work on a fully-funded PhD project to develop and apply high-content multiplex FRET biosensors to monitor mitochondrial functions in...

About the ProjectInria's Archi-Noise project aims to develop innovative concepts of architected materials for noise and vibration control. This research project leverages a cutting-edge computational framework to design novel metamaterials with enhanced low-frequency noise and vibration mitigation capabilities.Job ResponsibilitiesConduct high-level...

Scientific Context INRIA, the French national research institute for digital science and technology, is seeking a highly motivated PhD candidate to join our team in the field of lattice dynamics and noise control. The successful candidate will work on the ANR-JCJC Archi-Noise project, which aims to develop novel metamaterials for noise and vibration...