Emplois actuels liés à Postdoctoral Researcher in Formal Verification - Rennes, Bretagne - INRIA
-
Postdoctoral Researcher in Formal Verification
il y a 3 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch Group and Project ContextThe research group at INRIA, CNRS, and Université de Rennes is seeking a postdoctoral researcher to work on formal methods and formal verification.Research ProjectThe postdoctoral researcher will work on a project focused on formal verification and testing of real-time systems using timed automata and techniques from game...
-
Postdoctoral Researcher in Formal Verification
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch OpportunityThe research group at INRIA is part of a joint research center with CNRS and Université de Rennes. We are seeking a postdoctoral researcher to work on formal methods, specifically formal verification and testing of real-time systems using timed automata and techniques from game theory, reinforcement learning, temporal logics, and...
-
Postdoctoral Researcher in Formal Verification
il y a 4 semaines
Rennes, Bretagne, France INRIA Temps pleinResearcher Position in Formal VerificationThe research group at INRIA is seeking a postdoctoral researcher to work on formal methods and formal verification of real-time systems. The successful candidate will have a strong background in theory of formal verification and a strong publication record.Key ResponsibilitiesConduct research on formal verification...
-
Postdoctoral Researcher in Formal Verification
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch Opportunity at INRIAThe research group at INRIA, a joint research center of Inria, CNRS, and Université de Rennes, is seeking a postdoctoral researcher to work on formal methods and verification of real-time systems.Project OverviewThe research project will focus on formal verification and testing of real-time systems using timed automata and...
-
Postdoctoral Researcher in Formal Verification
il y a 1 mois
Rennes, Bretagne, France INRIA Temps pleinResearch Group and Project ContextThe research group at INRIA is a joint center with CNRS and Université de Rennes, focusing on formal methods and their applications.Research ProjectWe are seeking a postdoctoral researcher to work on formal verification and testing of real-time systems using timed automata and techniques from game theory, reinforcement...
-
Postdoctoral Researcher in Formal Verification
Il y a 2 mois
Rennes, Bretagne, France INRIA Temps pleinResearch Opportunity at INRIAThe Formal Verification group at INRIA, in collaboration with the Université de Rennes, is seeking a postdoctoral researcher to work on formal methods for real-time systems.Project OverviewThe research project will focus on formal verification and testing of real-time systems using timed automata and techniques from game theory,...
-
Postdoctoral Researcher in Formal Verification
il y a 4 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch Group and Project OverviewThe research group at INRIA is a joint center with CNRS and Université de Rennes, focusing on formal methods and their applications.Research ProjectWe are seeking a postdoctoral researcher to work on formal verification and testing of real-time systems using timed automata and techniques from game theory, reinforcement...
-
Postdoctoral Researcher in Formal Verification
il y a 4 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch Group and ContextThe research group is part of a joint research center of INRIA, CNRS, and Université de Rennes, offering a unique opportunity to collaborate with experts in formal methods and real-time systems.Research ProjectWe are seeking a postdoctoral researcher to work on formal verification and testing of real-time systems using timed...
-
Postdoctoral Researcher in Formal Verification
il y a 1 mois
Rennes, Bretagne, France INRIA Temps pleinResearch Group and Project ContextThe research group at INRIA is a joint center with CNRS and Université de Rennes, focusing on formal methods and their applications.Research ProjectWe are seeking a postdoctoral researcher to work on formal verification and testing of real-time systems using timed automata and techniques from game theory, reinforcement...
-
Postdoctoral Researcher in Formal Verification
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinJob 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...
-
Postdoctoral Researcher in Formal Verification
il y a 1 semaine
Rennes, Bretagne, France INRIA Temps pleinResearch Opportunity at INRIAThe research group at INRIA belongs to a joint research center with CNRS and Université de Rennes.Research ProjectWe are seeking a postdoctoral researcher to work on formal verification and testing of real-time systems using timed automata and techniques from game theory, reinforcement learning, temporal logics, and automata...
-
Postdoctoral Researcher in Formal Methods for Games
Il y a 2 mois
Rennes, Bretagne, France INRIA Temps pleinAbout the PositionThe research group DEVINE at INRIA is seeking a postdoctoral researcher to join their team in the area of formal methods for games.Research ProjectThe successful candidate will work on the resolution of parameterized games using antichains, a research project funded by the ANR BisoUS grant.Key ResponsibilitiesDevelop and implement...
-
Postdoctoral Researcher in Formal Methods
il y a 1 mois
Rennes, Bretagne, France INRIA Temps pleinJob Opportunity at INRIAThe 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 as part of the ANR BisoUS project.Key ResponsibilitiesThe postdoctoral researcher...
-
Postdoctoral Researcher in Formal Methods for Games
il y a 4 semaines
Rennes, Bretagne, France INRIA Temps pleinContext and Advantages of the PositionThe research group DEVINE is part of a joint research center of INRIA, CNRS, and Université de Rennes.Mission and ResponsibilitiesWe are seeking a postdoctoral researcher for 14 months in the area of formal methods at INRIA, Université de Rennes.The research project involves the resolution of parameterized games using...
-
Postdoctoral Researcher in Formal Methods for Games
Il y a 2 mois
Rennes, Bretagne, France INRIA Temps pleinResearch Opportunity at INRIAThe DEVINE research group, a joint initiative of INRIA, CNRS, and Université de Rennes, is seeking a postdoctoral researcher to contribute to the resolution of parameterized games using antichains.Project OverviewThe recruited person will join an ongoing research project focused on developing and implementing resolution...
-
Postdoctoral Researcher in Formal Methods for Games
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinContext 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 in Stochastic Ocean Modelling
il y a 4 jours
Rennes, Bretagne, France INRIA Temps pleinPostdoctoral 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...
-
Postdoctoral Researcher in Stochastic Ocean Modeling
il y a 4 semaines
Rennes, Bretagne, France INRIA Temps pleinJob DescriptionContext and OpportunitiesThe Odyssey team at INRIA is seeking a postdoctoral researcher to work on stochastic modeling of oceanic flow and small-scale dynamics. The successful candidate will join a dynamic team of researchers working on cutting-edge projects in ocean modeling and data assimilation.Research FocusThe postdoctoral researcher will...
-
Postdoctoral Researcher in Wireless Networks
il y a 2 semaines
Rennes, Bretagne, France Institut Mines-Télécom Temps pleinJob DescriptionIMT Atlantique, a leading French engineering school, is seeking a postdoctoral researcher to join its SRCD department. The successful candidate will work on wireless network models for energy-efficient and sustainable 5G/6G systems as part of the PEPR "5G and Networks of the Future" project.The researcher will collaborate with the project team...
-
Postdoctoral Researcher in Stochastic Ocean Modelling
il y a 4 semaines
Rennes, Bretagne, France INRIA Temps pleinJob DescriptionContext and OpportunitiesThe Odyssey team at INRIA is seeking a postdoctoral researcher to work on stochastic modelling of oceanic flow and small-scale dynamics. The successful candidate will join a team of researchers from INRIA, Ifremer, and IMT Atlantique, with expertise in mathematical and numerical modelling of ocean flows, observational...
Postdoctoral Researcher in Formal Verification
Il y a 2 mois
About the Position
INRIA is seeking a highly skilled postdoctoral researcher to join our team in the area of formal methods. The successful candidate will be part of a joint research center with CNRS and Université de Rennes, and will contribute to the development of formal verification and testing techniques for real-time systems.
Research Project
The research project will focus on the application of formal methods to the verification and testing of real-time systems using timed automata and techniques from game theory, reinforcement learning, temporal logics, and automata learning. The candidate will explore the use of reinforcement learning techniques to develop black-box testing algorithms for timed automata.
Key Responsibilities
- Conduct research in formal verification and testing of real-time systems
- Develop and implement formal verification tools
- Collaborate with the research team to advance the state-of-the-art in formal methods
Requirements
- PhD in Computer Science or a related field
- Strong background in formal verification and testing
- Publication record in top-tier conferences and journals
- Experience with formal verification tools and techniques
Benefits
- Subsidized meals
- Partial reimbursement of public transport costs
- Teleworking possibilities (90 days per year) and flexible organization of working hours
- Partial payment of insurance costs
Compensation
Monthly gross salary: 2788€
