Post-doctoral Research Visit F/m Post-doc in Formal

il y a 2 semaines


Rennes, France Inria Temps plein

Le descriptif de l’offre ci-dessous est en Anglais_

**Type de contrat **:CDD**Contrat renouvelable **:Oui**Niveau de diplôme exigé **:Thèse ou équivalent**Fonction **:Post-DoctorantA propos du centre ou de la direction fonctionnelle

The Inria Centre at Rennes University is one of Inria's eight centres and has more than thirty research teams. The Inria Centre is a major and recognized player in the field of digital sciences. It is at the heart of a rich R&D and innovation ecosystem: highly innovative PMEs, large industrial groups, competitiveness clusters, research and higher education players, laboratories of excellence, technological research institute, etc.

Contexte et atouts du poste

The research group belongs to a joint research center of Inria, CNRS, and Université de Rennes.

Mission confiée

We are looking to hire a post-doc for 13 months in the area of formal methods at Inria, Université de Rennes. There are opportunities to extend the position for another year.

1) Formal verification of real-time systems using timed automata and techniques from game theory, reinforcement learning, temporal logics, automata learning etc.
2) Parameterized model checking of distributed systems using techniques such as counter and predicate abstractions.

Principales activités

Some of the papers related to the mentioned projects are listed below:

- Concerning real-time systems:

- Concerning parameterized verification

Avantages
- Subsidized meals
- Partial reimbursement of public transport costs
- Possibility of teleworking (90 days per year) and flexible organization of working hours
- Partial payment of insurance costs

Rémunération

Monthly gross salary 2788€


  • Researcher in Formal Methods

    il y a 1 semaine


    Rennes, Ille-et-Vilaine, France Mitsubishi Electric R&D Centre Europe - France Temps plein

    Context and description:As a subsidiary of the Mitsubishi Electric Group, a global leader in electrical and electronic products and systems, MITSUBISHI ELECTRIC R&D CENTRE EUROPE includes a division named “Communication and Information Systems” (CIS). This division specializes in communication and control solutions for applications targeting both...

  • Researcher in Formal Methods

    il y a 1 semaine


    Rennes, France Mitsubishi Electric R&D Centre Europe - France Temps plein

    Context and description:As a subsidiary of the Mitsubishi Electric Group, a global leader in electrical and electronic products and systems, MITSUBISHI ELECTRIC R&D CENTRE EUROPE includes a division named “Communication and Information Systems” (CIS). This division specializes in communication and control solutions for applications targeting both...


  • Rennes, France INSA RENNES Temps plein

    **2-year Post-doctoral Position - Open hardware compilation for near-memory dataflow computing** Keywords: High-Performance computing, Near-memory computing, Compilation, Dataflow models of computation , Stream processing, Open hardware, RISC-V, FPGA, Computer architecture. **Laboratory: Institut d'Electronique et des Technologies du numéRique** **UMR CNRS...

  • Post doc

    il y a 1 mois


    Rennes, Bretagne, France Orange Sa Temps plein

    Votre rôle est d'effectuer un travail de Post doc sur : " la synchronisation de systèmes de jumeaux numériques " qui, au sein d'une équipe commune Orange-INRIA, contribuera au projet collaboratif " 5GMetaverse4Industry " financé par la BPI.Contexte global et problématique du sujetLe projet 5GMetaverse a l'ambition de préparer et promouvoir la 5G aux...


  • Rennes, France Springer Nature Temps plein

    **Research Chair in Toxicology leading to a Professor Position**: - Employer- French National Institute for Health Research (INSERM)- Location- Rennes (Arrondissement), Ille-et-Vilaine (FR)- Salary- According to experience- Closing date- 31 Mar 2024- Discipline Chemistry, Health Science, Life Science Job Type Postdoctoral, Researcher Employment - Hours ...

  • R&d Engineer

    il y a 7 jours


    Rennes, France Taste RH Temps plein

    TASTE is an innovative, independent and friendly recruitment consultancy positioned since 2004 in the market of expert executives (middle-top management). _ The CEO is looking at integrating a doctoral engineer in research and with a focus in waste heat, to work alongside him to bring their current technology to the next level, through innovation and...


  • Rennes, France Springer Nature Temps plein

    **ERC or ATIP/Avenir Applicant in Biological and Environmental Sciences**: - Employer- French National Institute for Health Research (INSERM)- Location- Rennes (Arrondissement), Ille-et-Vilaine (FR)- Salary- According to experience- Closing date- 31 Mar 2024- Discipline Chemistry, Life Science Job Type Postdoctoral, Researcher Employment - Hours Full...

  • Igdr Phd Call

    il y a 4 semaines


    Rennes, France Institut de Génétique et Développement de Rennes Temps plein

    **IGDR PhD call - 5 to 7 positions**: - Réf - **ABG-110411** - Sujet de Thèse- 24/01/2023- Contrat doctoral- Institut de Génétique et Développement de Rennes- Lieu de travail- Rennes - Bretagne - France- Intitulé du sujet- IGDR PhD call - 5 to 7 positions- Champs scientifiques- Biologie - Santé, médecine humaine, vétérinaire **Description du...

  • Sensory Research Manager

    il y a 4 semaines


    Rennes, France Eurofins Temps plein

    Job Description Develop and execute the partnership relation with clients (mainly FMCG players). Definition and redaction of research proposals following the brief received from the client for both quantitative and qualitative needs. Coordination of project execution in collaboration with several team from SAM France (recruitment, field, data...

  • Security Researcher

    il y a 4 semaines


    Rennes, France Ericsson Temps plein

    Join Ericsson R&D Center in Massy - a part of Paris-Saclay, one of the largest innovation zones in Europe. Located south of Paris, the hub, aspiring to become "the French Silicon Valley"! Being within the Paris-Saclay hub allows us to benefit from its extensive R&D infrastructure, leverage the richness of its ecosystem, and foster industrial and academic...


  • Rennes, Ille-et-Vilaine, France Mitsubishi Electric R&D Centre Europe - France Temps plein

    Context and description:MITSUBISHI ELECTRIC is one of the leading manufacturers of power electronics related products from components such as semiconductor power devices to systems such as HVDC systems. As MITSUBISHI ELECTRIC Group’s subsidiary, MITSUBISHI ELECTRIC R&D CENTRE EUROPE includes a research division specialised in Power Electronics, in...


  • Rennes, France Mitsubishi Electric R&D Centre Europe - France Temps plein

    Context and description:MITSUBISHI ELECTRIC is one of the leading manufacturers of power electronics related products from components such as semiconductor power devices to systems such as HVDC systems. As MITSUBISHI ELECTRIC Group’s subsidiary, MITSUBISHI ELECTRIC R&D CENTRE EUROPE includes a research division specialised in Power Electronics, in...


  • Rennes, France Mitsubishi Electric R&D Centre Europe - France Temps plein

    Context and description:MITSUBISHI ELECTRIC is one of the leading manufacturers of power electronics related products from components such as semiconductor power devices to systems such as HVDC systems. As MITSUBISHI ELECTRIC Group’s subsidiary, MITSUBISHI ELECTRIC R&D CENTRE EUROPE includes a research division specialised in Power Electronics, in...

  • Igdr Phd Call

    il y a 4 semaines


    Rennes, France Institut de Génétique et Développement de Rennes (IGDR) Temps plein

    **IGDR PhD call - 4 to 8 positions**: - Réf - **ABG-119675** - Sujet de Thèse- 24/01/2024- Contrat doctoral- Institut de Génétique et Développement de Rennes (IGDR)- Lieu de travail- Rennes - Bretagne - France- Intitulé du sujet- IGDR PhD call - 4 to 8 positions- Champs scientifiques- Biologie - Biochimie - Santé, médecine humaine, vétérinaire -...


  • Rennes, France INRIA Temps plein

    Contexte et atouts du poste About Inria, the team and the position Inria is the only French public research body fully dedicated to computational sciences. Inria's missions are to produce outstanding research in the computing and mathematical fields of digital sciences and to ensure its impact on the economy and society through technology transfer...


  • Rennes, France IRISA Temps plein

    **Model-Based DevOps: From Theory to Practice**: - Réf - **ABG-112242** - Sujet de Thèse- 20/03/2023- Contrat doctoral- IRISA- Lieu de travail- Rennes - Bretagne - France- Intitulé du sujet- Model-Based DevOps: From Theory to Practice- Champs scientifiques- Informatique - Mots clés- DevOps, Digital Twins, Self Adaptive Systems, Model Driven Engineering,...

  • Phd Positions in Rennes

    il y a 4 semaines


    Rennes, France Institute of Genetics and Development of Rennes (IGDR) Temps plein

    The IGDr (Institute of Genetics & Development of Rennes) is seeking 4 to 8 motivated PhD students, starting October, 2024. PhD students will conduct their research within one of the 15 teams of the IGDR. Cutting-edge training will be offered on topics encompassing the two main research axes of the IGDR: “Genetics, Genomics and Cancer” and “Cell...


  • Rennes, France Springer Nature Temps plein

    **Chair “Chaining-Interoperability of Digital Environmental & Health Data” leading to a prof. position**: - Employer- French National Institute for Health Research (INSERM)- Location- Rennes (Arrondissement), Ille-et-Vilaine (FR)- Salary- According to experience- Closing date- 31 Mar 2024- Discipline Computing, Environmental Science Job Type ...

  • Customer Service Ops

    il y a 5 jours


    Rennes, France Check & Visit Temps plein

    **Qui sommes nous ?** Check & Visit est la première solution d’état des lieux simple, flexible et certifiée, elle permet à tous les bailleurs de gagner du temps, de l’argent et d’obtenir des états des lieux certifiés RGS les rendant incontestables. Source de stress et de conflit, l’état des lieux pourtant obligatoire est très importante pour...


  • Rennes, France Geosciences Rennes (UMR6118) Temps plein

    **Development of fibre optic sensors for distributed measurement of underground flows with high spatial resolution**: - Réf **ABG-121486** - Sujet de Thèse- 20/03/2024- Contrat doctoral- Geosciences Rennes (UMR6118)- Lieu de travail- Rennes - Bretagne - France- Intitulé du sujet- Development of fibre optic sensors for distributed measurement of...