Post-Doctoral Research Visit F/M Formal modeling and analysis for automated transportation systems

About INRIA and CONVECS INRIA is a leading French research institute dedicated to advancing computer science and its applications. The CONVECS team at INRIA focuses on the formal modeling and verification of complex systems, with expertise in areas such as communication protocols, distributed algorithms, and embedded systems. The Opportunity We are seeking...

Job SummaryWe 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 automated transportation systems, focusing on outdoor truck transportation and indoor logistics.Key ResponsibilitiesDevelop formal models describing the...

Job DescriptionContext and RequirementsWe 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...

Position Overview A postdoctoral opportunity is available at the Inria research center of Univ. Grenoble Alpes, focusing on the formal modeling and verification of complex automated transportation systems. This role emphasizes the integration of formal methods in the design and analysis of systems characterized by numerous hardware and software...

Context and Advantages of the Position A postdoctoral opportunity is available at the Inria research center of Univ. Grenoble Alpes, focusing on the formal modeling and verification of asynchronous concurrent systems. The research activities emphasize the development of advanced formal languages tailored for specifying the behavior and properties of...

Job SummaryWe 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 automated transportation systems, focusing on outdoor truck transportation and indoor logistics.Key ResponsibilitiesDevelop formal models describing the...

Context and Advantages of the Position A postdoctoral opportunity is available at the Inria research center of Univ. Grenoble Alpes, focusing on the formal modeling and verification of asynchronous concurrent systems across various domains such as communication protocols, distributed algorithms, and embedded systems. This position emphasizes the...

Job DescriptionContext and RequirementsWe 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...

Job SummaryWe 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 automated transportation systems, focusing on outdoor truck transportation and indoor logistics.Key ResponsibilitiesDevelop formal models describing the...

INRIA is seeking a talented Formal Systems Engineer to contribute to the development of cutting-edge high-performance computing technologies.As part of our research team, you will play a crucial role in analyzing and verifying the design of HPDcache, a state-of-the-art L1 data cache compatible with RISC-V processors. This highly configurable cache features...

Position Overview Reporting directly to the Director of Solution Software Research and Performance, the Research Engineer will play a crucial role in developing and implementing performance measurement and analysis techniques for our next-generation logistics solutions. This position is at the forefront of innovative research, aimed at significantly...

Contexte et atouts du poste Working Context. This research will be conducted by the DANCE research team (webpage): DANCE (“Dynamics and Control of Networks”) is a joint team of GIPSA-lab and Inria Grenoble–Rhône-Alpes. Our team has a strong expertise in modeling, estimation and control of large-scale networks with application to...

Job DescriptionAbout the RoleWe are seeking a highly skilled Formal Methods Engineer to join our team at INRIA. As a key member of our research group, you will be responsible for developing and applying formal methods to design and verify complex concurrent systems.Key ResponsibilitiesModel concurrent systems using formal languages developed by...

Job DescriptionContext and Key ResponsibilitiesThis 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 applications to Electromobility. The research will be part of the PEPR Digitalisation et Décarbonation des Mobilités...

Job Title: Postdoctoral Research Visit F/M Strategies for Optimal EV Charging Infrastructure and Power Allocation in EV Electromobility NetworksContext 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...

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

Position Overview The DANCE research team at GIPSA-lab and Inria Grenoble–Rhône-Alpes is seeking a skilled researcher to contribute to the PEPR-FORBAC initiative. Our focus lies in modeling, estimation, and control of large-scale networks with a particular emphasis on Electromobility. Job Responsibilities As part of this project, you will play a key role...

About the JobCSTB is seeking a highly skilled Post-Doctoral Researcher in Deep Learning to join our team in Grenoble. The successful candidate will be responsible for developing and implementing deep learning models for building data analysis.Key ResponsibilitiesDevelop and train deep learning models for building data analysisContribute to the development of...

Job Title: Postdoctoral Research Visit F/M Strategies for Optimal EV Charging Infrastructure and Power Allocation in EV Electromobility NetworksContext 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...

**Job Summary**At Sttraten, we are seeking a skilled Automated Systems Engineer to join our team. As an Automated Systems Engineer, you will be responsible for designing, developing, and implementing automated systems that meet the needs of our clients.**Key Responsibilities**Project Analysis: Conduct thorough analyses of client projects to identify areas...