Postdoctoral Researcher Position in Formal Verification

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

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

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

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

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

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

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 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 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 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 OpportunityThe Odyssey team at INRIA is seeking a highly skilled postdoctoral researcher to work on stochastic modeling of oceanic flows, small-scale dynamics, and wave-current interaction. This 18-month position is part of the ERC Stuod project, a collaborative effort between INRIA, Ifremer, and Imperial College.Context and TeamThe Odyssey team is a...

Context and Advantages of the PositionThis postdoctoral research position 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 successful candidate will be expected to develop appropriate distributed models...

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

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