Formal Modeling and Analysis Specialist 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...

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

Financial Analysis and ReportingAs an Accountant Specialist in a commercial financial analysis and reporting role, you will be responsible for analyzing financial data, preparing reports, and providing expert insights to inform business decisions.Key Responsibilities:Analyze financial data to identify trends and insightsPrepare financial reports and...

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

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

About the Research TeamThe DataMove INRIA team is a dynamic and international group of researchers and engineers working on high-performance computing and DevOps. We are part of the Centre Inria de l'Université de Grenoble, a top-level scientific institute with a strong network of collaborations in Europe and worldwide.We are looking for a talented engineer...

About the Centre or DepartmentInria is a world-renowned research institute with a strong presence in the Grenoble region. Our centre is a hub for innovation, bringing together researchers, engineers, and students from diverse backgrounds to tackle complex challenges in high-performance computing, verification, and embedded systems.We collaborate closely with...

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

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

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

We're seeking a talented software engineer with a solid background in C++ and object-oriented programming to join our R&D team. Our team is developing the market-leading interconnect parasitic extraction tool StarRC, which employs state-of-the-art techniques to model electromagnetic effects inside advanced chips. As a member of our team, you'll work closely...

Job SummaryAt 2070 K-T Italy S.R.L., we are seeking a highly skilled Customer Support Specialist to join our team. As a Customer Support Specialist, you will be responsible for providing exceptional customer service and technical support to our clients.Key Responsibilities:Install, troubleshoot, diagnose, and repair capital equipment at customer...

Context and Advantages of the PositionThe DataMove INRIA team is seeking a skilled engineer to join their research group in Grenoble, France. The successful candidate will have the opportunity to work on high-performance computing and DevOps technologies, collaborating with a dynamic team of researchers and engineers.The position offers a competitive salary,...

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

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

About the PositionWe are seeking a talented computer engineer to join our high-performance computing (HPC) research team at Inria. As a key member of our team, you will be responsible for designing, developing, and implementing workflow tools and schedulers as part of the PEPR NUMPEX project.Main Responsibilities• Design and develop an architecture based...

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