Postdoctoral Researcher in Formal Modeling and Verification for Automated Transportation Systems

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

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

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 SummaryWe are seeking a highly skilled researcher to join our team at INRIA, working on cutting-edge projects in human-robot interaction. As a member of our team, you will have the opportunity to contribute to the development of innovative systems that enable seamless collaboration between humans and robots.About the RoleThe successful candidate will be...

Context and Key BenefitsThe DataMove INRIA team, located on the campus of the Univ. Grenoble Alpes near Grenoble, is seeking a talented individual to join their friendly and stimulating group. This team is a hub for research on High Performance Computing, comprising Professors, Researchers, PhD, and Master students from around the world.This role will...

Job ContextThe successful candidate will be affiliated with the THOTH team at Inria, a renowned research institution in France. This collaboration aims to leverage the expertise of Inria and the multidisciplinary institute in artificial intelligence (MIAI) in Grenoble.Research ObjectivesThe primary goal is to investigate and develop novel methods for...

About the RoleThe Software Engineer will be part of the DataMove INRIA team, located on the campus of the Univ. Grenoble Alpes near Grenoble. The team is a friendly and stimulating group with a strong international visibility, gathering Professors, Researchers, PhD and Master students working on High Performance Computing.This work experience will bring you...

Project OverviewAs a PhD researcher at INRIA, you will be part of a multidisciplinary team working on human-robot interaction. The project focuses on developing a system that can anticipate human behavior in collaborative human-robot settings. This involves understanding human intentions, goals, and needs to enable seamless collaboration between humans and...

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

Project OverviewThe DataMove team at INRIA is seeking a researcher to contribute to the OTPaas project, a middleware for edge computing architectures aimed at middle-sized industrial companies. The project's goal is to improve French enterprises' competitiveness by installing the middleware in factories.Key ResponsibilitiesPort the energy-aware scheduling...

INRIA is a world-renowned research institution, and we're seeking a skilled Cloud Computing Researcher to join our team in Grenoble.We are part of the DataMove team, which focuses on High Performance Computing and has strong international visibility. Our team consists of Professors, Researchers, PhD students, and Master's students working together on various...

About the RoleThe successful candidate will be part of the DataMove team at INRIA, located on the campus of the Univ. Grenoble Alpes. This team is a dynamic and international group, consisting of Professors, Researchers, PhD and Master students, all working on High Performance Computing.This role will provide the opportunity to gain expertise in DevOps...

Context and Benefits of the PositionThe successful candidate will be part of the DataMove INRIA team, a dynamic and international group of researchers and engineers working on High Performance Computing.This role will provide the opportunity to gain expertise in DevOps techniques and high performance computing systems, as well as contribute to the...

Research OpportunityThe INRIA DataMove team invites a highly skilled researcher to collaborate on the OTPaaS project, focusing on task scheduling algorithms for edge computing architectures. The successful candidate will join a dynamic team of researchers, PhD students, and professors working on High Performance Computing.This project is part of a joint...

Research Opportunities at INRIA INRIA is a world-leading research institute, and we are currently seeking a highly qualified PhD researcher to join our team. The successful candidate will work on a project that aims to investigate software solutions for the efficient coupling of deep models with highly parallel numerical simulation codes on...

Research OpportunityCollaboration between INRIA and MIAI Grenoble Alpes InstituteWe are seeking a highly motivated PhD candidate to join our research team at INRIA, in collaboration with the MIAI Grenoble Alpes Institute. The successful candidate will work on a project focused on developing human-robot interaction systems that can anticipate human...