Post-Doctoral Research Visit F/M Post-doc in formal verification

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

Contexte et atouts du poste The research group DEVINE 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 14 months in the area of formal methods at Inria, Université de Rennes. The research project which the candidate will join is the following: resolution of...

Research Position Context The Formal Verification team at INRIA is seeking a postdoctoral researcher to work on formal methods for real-time systems. Project Overview We are looking for a researcher with a strong background in formal verification and a strong publication record to work on a project involving formal verification and testing of real-time...

Company OverviewInria is a French joint research center that brings together experts from Inria, CNRS, and Université de Rennes to push the boundaries of formal methods.Salary and BenefitsWe offer a competitive salary of €2788 per month. Our benefits package includes subsidized meals, partial reimbursement of public transport costs, possibility of...

Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Thèse ou équivalent **Fonction **:Post-Doctorant **A propos du centre ou de la direction fonctionnelle**: The Inria Centre at Rennes University is one of Inria's nine centres and has more than thirty research teams. The Inria Centre is a major...

Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD**Niveau de diplôme exigé **:Thèse ou équivalent**Fonction **:Post-Doctorant**Niveau d'expérience souhaité **:Jeune diplôméA propos du centre ou de la direction fonctionnelle The Inria Rennes - Bretagne Atlantique Centre is one of Inria's eight centres and has more than...

Contexte et atouts du poste One or two year postdoc position under the supervision of George Giakkoupis. Mission confiée The position is part of a research project on the design and formal analysis of algorithms for fundamental distributed problems, on dynamically evolving networks and/or with dynamically evolving data. Part of the project...

Contexte et atouts du poste The Odyssey team is offering a 18 month postdoc position on ocean modelling within the ERC Stuod (Stochastic transport in ocean dynamics). Odyssey (for Ocean DYnamicS obSErvation analYsis) is a recently created team involving researchers from Inria (Rennes, France), Ifremer (Brest) and IMT Atlantique (Brest). Inria is one...

Internationally recognized generalist engineering school of the IMT (Institut Mines-Télécom), leading French engineering school (Technological University), IMT Atlantique aims to support transitions, train responsible engineers, and use scientific excellence to serve teaching, research and innovation.As part of the PEPR "5G and Networks of the Future"...

Context and Advantages of the PositionThis postdoctoral research visit is part of a research project on the design and formal analysis of algorithms for fundamental distributed problems, on dynamically evolving networks and/or with dynamically evolving data.Main ActivitiesThe position involves the development of appropriate distributed models for such...

Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 20 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post-doc (H/F) - Modélisation énergétique des infrastructures du edge-Cloud continuum** Référence : UMR6074-ANNORG-008 Nombre de Postes :...

Context and Advantages of the PositionThe DEVINE research group, a joint research center of Inria, CNRS, and Université de Rennes, is seeking a postdoctoral researcher to join their team.Research ProjectThe recruited person will work on the resolution of parameterized games using antichains, a research project within the ANR BisoUS project.Main...

Job Context and Qualifications The Inria Odyssey team is seeking a postdoctoral researcher to work on stochastic modelling of oceanic flow for an 18-month term within the ERC Stuod project. The successful candidate will join a team of researchers from Inria, Ifremer, and IMT Atlantique, focusing on mathematical and numerical modelling of ocean flows,...

Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 29 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post doc - Algorithmes de compression à faible complexité (H/F)** Référence : UMR6074-NICKER-002 Nombre de Postes : 1 Lieu de travail : RENNES Date...

Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 11 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post-Doc en chimie macrocyclique et de coordination à l'ISCR (H/F)** Référence : UMR6226-STELEG-004 Nombre de Postes : 1 Lieu de travail :...

À propos de nousCreated in 1966, INSA Rennes is a member of the INSA Group, the leading French network of state graduate and post graduate engineering schools, composed of 7 schools in France and 6 partner schools.Research and innovation are the key elements of INSA, which benefits from the expertise of its 168 professors and lecturers. With six...

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

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 to work alongside him to bring their current technology to the next level through innovation and experimentation in order to have a...

**À propos de nous**: Created in 1966, INSA Rennes is a member of the INSA Group, the leading French network of state graduate and post graduate engineering schools, composed of 7 schools in France and 6 partner schools.Research and innovation are the key elements of INSA, which benefits from the expertise of its 168 professors and lecturers. With six...

**À propos de nous**: **STRUCTURE DE RATTACHEMENT** L’École des hautes études en santé publique (EHESP) est un établissement public à caractère scientifique, culturel et professionnel (EPSCP). Grand établissement, l’EHESP est membre du réseau des écoles de service public (RESP), de France Universités et de la conférence des grandes écoles...