Postdoctoral Researcher

il y a 4 jours


MontbonnotSaintMartin, Auvergne-Rhône-Alpes, France INRIA Temps plein

Job Summary

We 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 Responsibilities

  • Develop formal models describing the behavior and correctness properties of automated transportation systems
  • Study the reliability of these systems using various analysis techniques, including model checking, equivalence checking, and probabilistic verification
  • Collaborate with researchers and international partners to exchange information on informal specifications and formal modeling approaches
  • Contribute to the writing of deliverables scheduled in the A-IQ Ready project

Requirements

  • PhD in Computer Science or a related field
  • Strong background in formal methods and verification techniques
  • Proficiency in English; knowledge of French is a plus
  • Excellent team working skills

Benefits

  • Competitive salary
  • Subsidized meals and partial reimbursement of public transport costs
  • 7 weeks of annual leave and 10 extra days off due to RTT
  • Teleworking and flexible organization of working hours
  • Access to vocational training and social security coverage

  • Postdoctoral Researcher

    il y a 2 jours


    Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps plein

    Job SummaryWe are seeking a highly skilled Postdoctoral Researcher to join our team at INRIA, focusing on optimizing EV charging infrastructure and power allocation in electromobility networks. The successful candidate will contribute to the development of advanced models and algorithms for efficient charging station placement and power delivery density...


  • Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps plein

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


  • Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps plein

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


  • Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps plein

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


  • Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps plein

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


  • Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps plein

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


  • Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps plein

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


  • Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France INRIA Temps plein

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


  • Saint-Cloud, Île-de-France Institut Curie Temps plein

    About the RoleWe are seeking a highly motivated and talented individual to join our team as a Postdoctoral Computational Biology Researcher at Institut Curie. As a key member of our Bioinformatics and Computational Systems Biology of Cancer Unit, you will play a crucial role in deciphering pediatric brain treatment resistance.About the ProjectThe ENCOURAGER...


  • Saint-Cloud, Île-de-France Institut Curie Temps plein

    About the RoleWe are seeking a highly motivated and talented individual to join our team as a Postdoctoral Computational Biology Researcher at Institut Curie. As a key member of our Bioinformatics and Computational Systems Biology of Cancer Unit, you will play a crucial role in deciphering pediatric brain treatment resistance.About the ProjectThe ENCOURAGER...


  • Montbonnot-Saint-Martin, France INRIA Temps plein

    Contexte et atouts du poste A 16-month postdoctoral position, starting at September 1st, 2024 is available at the Inria research center of Univ. Grenoble Alpes in the funded by The activities of CONVECS focus on the formal modeling and verification of asynchronous concurrent systems, which are instantiated in various domains (communication protocols,...


  • Mont-Saint-Aignan, Normandie, France CNRS Temps plein

    Contexte de la rechercheLe cancer est une crise mondiale de santé publique, responsable d'environ 10 millions de décès chaque année. Les traitements conventionnels tels que la chimiothérapie et la radiothérapie ont des limites, ce qui pousse à rechercher de nouvelles approches comme l'immunothérapie, qui renforce le système immunitaire pour cibler...


  • 42000 Saint-Étienne, France Institut Mines-Télécom Temps plein

    **JOB ENVIRONMENT**: Institut Mines-Télécom is the leading public group of engineering and management Grandes Écoles in France. Consisting of eight public graduate Grandes Écoles and two subsidiary graduate schools, Institut Mines-Télécom leads and develops a rich ecosystem of partner schools, economic, academic and institutional partners, key players...


  • Saint-Cloud, France Institut Curie Temps plein

    Institut Curie is a major player in the research and fight against cancer. It consists of a Hospital group and a Research Center of more than 1000 employees with a strong international objective of the Research Center is to develop basic research and to use the knowledge produced to improve the diagnosis, prognosis, and therapeutics of cancers as part of...


  • Saint-Sébastien-sur-Loire, Pays de la Loire, France CNRS Temps plein

    Offre de posteLe Laboratoire de Mathématiques Jean Leray de Nantes Université recherche un postdoctorant pour un projet à l'interface des statistiques et de la neuroscience.MissionsLe postdoctorant devra proposer des approches statistiques innovantes à partir de l'existant sur l'analyse de données fonctionnelles et le transport optimal pour détecter...


  • Saint-Sébastien-sur-Loire, Pays de la Loire, France CNRS Temps plein

    Offre de posteLe Laboratoire de Mathématiques Jean Leray de Nantes Université recherche un postdoctorant pour un projet à l'interface des statistiques et de la neuroscience.MissionsLe postdoctorant devra proposer des approches statistiques innovantes à partir de l'existant sur l'analyse de données fonctionnelles et le transport optimal pour détecter...


  • Saint-Sébastien-sur-Loire, Pays de la Loire, France CNRS Temps plein

    Offre de posteLe Laboratoire de Mathématiques Jean Leray de Nantes Université recherche un postdoctorant pour un projet à l'interface des statistiques et de la neuroscience.MissionsLe postdoctorant devra proposer des approches statistiques innovantes à partir de l'existant sur l'analyse de données fonctionnelles et le transport optimal pour détecter...


  • Mont-Saint-Aignan, Normandie, France CNRS Temps plein

    Offre de PostdoctoratLe CNRS recherche un postdoctorant pour rejoindre son équipe de recherche en chimie organique. Le candidat sélectionné travaillera sur la synthèse et la caractérisation de molécules cubiques innovantes.MissionsPréparer des molécules cubiques en utilisant des techniques de synthèse avancéesParticiper à la vie de l'équipe...


  • Ramonville-Saint-Agne, France CLS Temps plein

    Description entreprise : CLS, filiale du CNES et de CNP, est une société internationale, pionnière dans la fourniture de solutions d’observation et de surveillance de la Terre depuis 1986. Sa vision est d’imaginer et de déployer des solutions innovantes pour comprendre et protéger notre Planète, et gérer durablement ses ressources. CLS emploie 900...


  • Saint-Paul-lès-Durance (13), France CEA Temps plein

    Description du poste **Domaine**: - Matériaux, physique du solide **Contrat**: - CDD **Intitulé de l'offre**: - Post-doctoral fellow in charge of copermeation measurements in fusion-relevant materials - H/F **Statut du poste**: - Cadre **Durée du contrat (en mois)**: - 12 **Description de l'offre**: - In fusion plants, tritium (the radioactive...