Postdoctoral Researcher in Formal Modeling and Verification

Job DescriptionContext and Key Features of the PositionWe are seeking a highly skilled postdoctoral researcher to join our team at INRIA, a leading research center in the field of formal modeling and verification. The successful candidate will work on the formal modeling and verification of asynchronous concurrent systems, with a focus on automated...

Job Context and RequirementsA 16-month postdoctoral position is available at the Inria research center of Univ. Grenoble Alpes in the CONVECS team. The team focuses on the formal modeling and verification of asynchronous concurrent systems, which are instantiated in various domains.Research MissionThe candidate will undertake the formal modeling of automated...

Job Context and RequirementsA 16-month postdoctoral position is available at the INRIA research center of Univ. Grenoble Alpes to work on formal modeling and verification of asynchronous concurrent systems. The successful candidate will contribute to the development of new generation formal languages and efficient verification algorithms and tools.Job...

Job OpportunityWe are seeking a highly skilled Postdoctoral Researcher to join our team at INRIA, working on the PEPR Digitalisation et Décarbonation des Mobilités project. The successful candidate will contribute to the development of eMob-TwinV2, a digital twin technology for electric vehicle mobility and charging infrastructure.Research ContextThe...

About the RoleThe INRIA research center of Univ. Grenoble Alpes is seeking a highly skilled Formal Modeling and Analysis Specialist to join their team. The successful candidate will be responsible for the formal modeling and verification of asynchronous concurrent systems, with a focus on automated transportation systems.Key ResponsibilitiesDevelop formal...

Research ContextAs a postdoctoral researcher at INRIA, you will be part of the DANCE research team, focusing on modeling, estimation, and control of large-scale networks with applications to Electromobility. Your research will be conducted within the PEPR Digitalisation et Décarbonation des Mobilités initiative, aiming to tackle two primary challenges:...

Research ContextAs a postdoctoral researcher at INRIA, you will be part of the DANCE research team, focusing on modeling, estimation, and control of large-scale networks with applications to Electromobility. Your research will be conducted within the PEPR Digitalisation et Décarbonation des Mobilités initiative, aiming to optimize the placement of charging...

Job TitlePostdoctoral Research Visit F/M Strategies for Optimal EV Charging Infrastructure and Power Allocation in EV Electromobility NetworksJob DescriptionContext and Key SkillsThis research position will be conducted by the DANCE research team, a joint team of GIPSA-lab and INRIA Grenoble–Rhône-Alpes. Our team has a strong expertise in modeling,...

Postdoctoral Researcher in Dynamic and Shape-Memory StructuresJob SummaryWe are seeking a highly motivated postdoctoral researcher to join our team at the Laboratoire Interdisciplinaire de Physique (CNRS and Université Grenoble Alpes). The successful candidate will work on the development of shape-memory structures with programmable dynamics and deformation...

Postdoctoral Researcher in Dynamic and Mechanical Behavior of Shape-Changing StructuresJoin our research team at the Laboratoire Interdisciplinaire de Physique (CNRS and Université Grenoble Alpes) as a postdoctoral researcher in the field of dynamic and mechanical behavior of shape-changing structures. Our team is part of the European project DynaMorph,...

Research Context and ObjectivesThis research position is part of the DANCE research team at INRIA, focusing on the dynamics and control of networks. Our team has expertise in modeling, estimation, and control of large-scale networks, with applications to Electromobility. The research aims to optimize the placement of charging stations and power delivery...

Research Context and ObjectivesThis research position is part of the PEPR Digitalisation et Décarbonation des Mobilités initiative, focusing on optimizing EV charging infrastructure and power allocation in electromobility networks. The research will be conducted by the DANCE research team at INRIA, with a strong expertise in modeling, estimation, and...

Job DescriptionContext and Key FeaturesThis research position is part of the DANCE research team at INRIA, focusing on modeling, estimation, and control of large-scale networks with applications to Electromobility. The research will be conducted in the context of the PEPR Digitalisation et Décarbonation des Mobilités initiative.Research ObjectivesThe...

Job DescriptionContext and Key FeaturesThis research position is part of the DANCE research team at INRIA, focusing on modeling, estimation, and control of large-scale networks with applications to Electromobility. The research will be conducted in the context of the PEPR Digitalisation et Décarbonation des Mobilités initiative.Research ObjectivesThe...

Job DescriptionContext and Advantages of the PositionThis research position will be conducted by the DANCE research team at INRIA. Our team has a strong expertise in modeling, estimation, and control of large-scale networks with application to Electromobility. The research will be part of the PEPR Digitalisation et Décarbonation des Mobilités...

Job DescriptionContext and Key FeaturesThis research position will be conducted by the DANCE research team at INRIA. Our team has a strong expertise in modeling, estimation, and control of large-scale networks with application to Electromobility. The research will be part of the PEPR Digitalisation et Décarbonation des Mobilités initiative.Scientific...

About the Centre or DepartmentThe Inria Centre at the University of Grenoble brings together nearly 600 people in 22 research teams and 7 research support departments. Located on three campuses in Grenoble, the centre collaborates closely with other research and higher education institutions, as well as key economic players in the area.The Inria Centre at...

Researcher Position in Edge ComputingThe INRIA team is seeking a researcher to join their DataMove team in Grenoble, France. The successful candidate will contribute to the development of a middleware for edge computing architectures, focusing on task scheduling and energy optimization.Key ResponsibilitiesPort energy-aware scheduling algorithms to the OTPaaS...

Context and Benefits of the PositionThe candidate will be part of the DataMove INRIA team, located on the campus of the Univ. Grenoble Alpes near Grenoble. The DataMove team is a friendly and stimulating group with a strong international visibility, gathering Professors, Researchers, PhD and Master students all pursuing research on High Performance...

About the Centre or Functional DirectionThe Inria Centre at the University of Grenoble brings together almost 600 people in 22 research teams and 7 research support departments. Located on three campuses in Grenoble, the centre collaborates closely with other research and higher education institutions (Université Grenoble Alpes, CNRS, CEA, INRAE,...) as...