Emplois actuels liés à Postdoctoral Researcher in Formal Modeling and Verification - MontbonnotSaintMartin, Auvergne-Rhône-Alpes - INRIA
-
Postdoctoral Researcher in Formal Modeling and Verification
il y a 3 semaines
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob 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...
-
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob DescriptionContext and Key ResponsibilitiesWe are seeking a highly skilled postdoctoral researcher to join our team at INRIA, a world-renowned research center. The successful candidate will work on formal modeling and verification of asynchronous concurrent systems, with a focus on automated transportation systems.Key ActivitiesThe postdoctoral...
-
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob 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...
-
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob 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...
-
Postdoctoral Researcher in Electromobility Networks
il y a 4 semaines
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob 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...
-
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinAbout 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...
-
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinResearch 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:...
-
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinResearch 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...
-
Postdoctoral Researcher
il y a 3 semaines
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob 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 Structures
il y a 3 semaines
Saint-Martin-dHères, Auvergne-Rhône-Alpes, France CNRS Temps pleinPostdoctoral 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...
-
Saint-Martin-dHères, Auvergne-Rhône-Alpes, France CNRS Temps pleinPostdoctoral 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,...
-
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob ContextThis position is part of the DANCE research team at INRIA, working on modeling, estimation, and control of large-scale networks applied to Electromobility. The research aims to optimize the placement of charging stations and power delivery density per unit area within the eMob-Twin V2 software framework.Work ProgramDevelop a graph-based mobility...
-
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinResearch 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...
-
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinResearch 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...
-
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob 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...
-
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob 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...
-
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob 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...
-
High-Performance Computing Research Engineer
il y a 4 semaines
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France Inria Temps pleinAbout 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 in Edge Computing
il y a 3 semaines
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinResearcher 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...
-
Cloud and Edge Computing Researcher
il y a 3 semaines
Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps pleinContext 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...
Postdoctoral Researcher in Formal Modeling and Verification
Il y a 2 mois
Context and Requirements
We are seeking a highly skilled postdoctoral researcher to join our team at INRIA, working on the formal modeling and verification of asynchronous concurrent systems. The successful candidate will contribute to the development of new formal languages and efficient verification algorithms for specifying the behavior and properties of concurrent systems.
Key Responsibilities
The postdoctoral researcher will undertake the formal modeling of automated transportation systems, including outdoor truck transportation and indoor logistics. They will study the behavior of these systems, propose the application of various analysis methods, and assess the correctness and reliability of these systems.
Deliverables and Skills
The candidate will devise formal models describing the behavior and correctness properties of the systems under study, and study their reliability using various analysis techniques. They will also contribute to the writing of various deliverables scheduled in the A-IQ Ready project.
Requirements
The ideal candidate will have a strong background in formal methods, specification languages for concurrent asynchronous systems, and proficiency in English. Knowledge of French is also welcome. The candidate will work in a team environment and have excellent relational skills.
Benefits
- Subsidized meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave
- Teleworking (90 days/year) and flexible organization of working hours
- Access to vocational training
- Social security coverage under conditions
Salary
2788 € gross salary/month
