Emplois actuels liés à Postdoctoral Researcher - Rennes, Bretagne - INRIA
-
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 Stochastic Ocean Modelling
il y a 5 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 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 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 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 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 Formal Verification
il y a 2 semaines
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 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 Stochastic Modelling of Oceanic Flow
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinJob Context and RequirementsThe Odyssey team at INRIA is seeking a postdoctoral researcher to work on stochastic modelling of oceanic flow, small-scale dynamics, and wave-current interaction within the ERC Stuod project. The successful candidate will join a team of researchers from Inria, Ifremer, and IMT Atlantique, with expertise in mathematical and...
-
Postdoctoral Researcher in Stochastic Modelling of Oceanic Flow
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch 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...
-
Postdoctoral Researcher in Stochastic Modelling of Oceanic Flow
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch 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...
-
Postdoctoral Researcher in Formal Verification
il y a 3 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 Stochastic Ocean Modeling
il y a 3 semaines
Rennes, Bretagne, France INRIA Temps pleinJob 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...
-
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 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 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...
-
Rennes, Bretagne, France INRIA Temps pleinJob 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,...
-
Postdoctoral Researcher in Stochastic Ocean Modelling
il y a 1 mois
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 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 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
Il y a 2 mois
Research Opportunity at INRIA
We are seeking a highly skilled postdoctoral researcher to join our team at INRIA and contribute to a research project on the design and formal analysis of algorithms for fundamental distributed problems.
Project Overview
The project focuses on developing distributed models for dynamic settings, building on the evolving data framework introduced in centralized settings. The successful candidate will work under the supervision of George Giakkoupis and collaborate with our team to achieve the project's objectives.
Key Responsibilities
- Design and analyze algorithms for distributed problems on evolving networks and data
- Develop distributed models for dynamic settings, leveraging the evolving data framework
- Publish research results in top venues of theoretical and distributed computing
Requirements
- Background in theory of distributed computing or dynamic graph algorithms
- Excellent research skills and experience in algorithm design and analysis
- Strong publication record in top-tier conferences and journals
Benefits
- Subsidized meals and partial reimbursement of public transport costs
- Possibility of teleworking (90 days per year) and flexible organization of working hours
- Partial payment of insurance costs
Compensation
Monthly gross salary amounting to 2788 euros.
