Postdoctoral Researcher in Formal Methods for Games

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Job DescriptionContext and OpportunitiesThe Odyssey team at INRIA is seeking a highly skilled postdoctoral researcher to join our team and contribute to the ERC project STUOD. As a postdoctoral researcher, you will work closely with our team to develop and apply stochastic modeling techniques to improve our understanding and forecasting of ocean...

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

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