Post-doctoral Research Visit F/m Compositional

il y a 5 jours

Nantes, France Inria Temps plein

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-DoctorantA 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 thirty research teams. The Inria Center 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
- We are looking for a post-doctoral researcher to work on the CAVOC project on Compositional Automated Verification of OCaml code. This project seeks to develop a tool for automatically checking the absence of runtime errors like uncaught exceptions inside OCaml modules.- To do so, interactive models of OCaml programs are built based on operational game semantics, a theory of programming language semantics that handles higher-order control flow, abstract data types and mutable and shareable resources.- OCaml program verification is then performed using model-checking and abstract interpretation techniques over symbolic representations of these models.Mission confiée

Inside this project, you will work on the automation task. So you will design symbolic representations of these interactive models of OCaml programs, and extend the current prototype with them. Stating the absence of runtime errors as safety properties over these representations, you will design tools to check automatically such properties.

Principales activités
- The main tasks will be to:
- design symbolic representations of interactive semantics of OCaml programs based on Constrained Horn Clauses (CHC). Of particular interest will be the higher-order generalization of CHC, and the incorporation of the theory of algebraic datatypes.
- develop automated techniques to check safety properties over such CHC. To do so, you will design transformations to facilitate the task for existing solvers to check these clauses.

Compétences

Functional programming, abstract interpretation, compilation, model-checking, and/or semantics of programming language.

Avantages
- Subsidized meals
- Partial reimbursement of public transport costs

Rémunération

Monthly gross salary amounting to 2788 euros

  • Post-doctoral Research Visit F/m Category Theory in Type Theory and Vice Versa

    il y a 6 jours

    Nantes, France Inria Temps plein

    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 Rennes - Bretagne Atlantique Centre is one of Inria's eight centres and has more than thirty research teams. The Inria Center is...

  • Directeur/directrice de la recherche et des études doctorales

    il y a 3 jours

    Nantes, Pays de la Loire, France Choisir le Service Public Temps plein

    Informations générales Organisme de rattachement ONIRIS   Référence AGRI_ Date de début de diffusion /11/2025 Date de parution /12/2025 Date de fin de diffusion /12/2025 Intitulé long de l'offre Directeur/directrice de la recherche et des études doctorales (DRED) Date limite de candidature28/12/2025 EmployeurMinistère de l'Agriculture et...

  • Phd in Computational Chemistry

    il y a 2 jours

    Nantes, France Nantes Université Temps plein

    **PhD in computational chemistry (M/F) - Photochrome optimization accouting for environment**: - Réf **ABG-131836** - Sujet de Thèse - 12/05/2025 - Contrat doctoral - Nantes Université - Lieu de travail- NANTES - Pays de la Loire - France - Intitulé du sujet- PhD in computational chemistry (M/F) - Photochrome optimization accouting for environment -...

  • UX Researcher

    il y a 2 semaines

    Nantes, France HR-TEAM Temps plein

    Dans le cadre d’un projet d’envergure, nus recherchons un UX Researcher Expérimenté(H/F). Vos mission seront entre autres: - Travailler sur la partie UX Research - Participations aux rituels agiles de la squad - Réalisation de benchmark - Animation d’ateliers de co-conception - Coordination avec l’équipe Design - Rédaction de dossiers de...

  • Field Research Photographer

    il y a 1 semaine

    Nantes, France CoStar Group Temps plein

    Field Research Photographer - Nantes **Job Description**: **COSTAR GROUP - FIELD RESEARCH PHOTOGRAPHER, NANTES*** **OVERVIEW** CoStar Group (NASDAQ: CSGP) is a leading global provider of commercial and residential real estate information, analytics, and online marketplaces. Included in the S&P 500 Index and the NASDAQ 100, CoStar Group is on a mission to...

  • UX Researcher

    il y a 10 heures

    Nantes, France Lengow Temps plein

    **Lengow, an intelligent and automated e-commerce platform**: Since 2009, Lengow has been the indispensable e-commerce platform for multi-channel expansion in the European market: marketplaces, price comparison websites, affiliate marketing, display ad retargeting, social media, etc. All jobs are open in Nantes/ Paris/ London/ Munich/ Barcelona. Your...

  • Development of Innovative Control Methods to

    il y a 13 heures

    Nantes, France Oniris Ecole nationale vétérinaire, agro-alimentaire et de l'alimentation Temps plein

    **Development of Innovative Control Methods to control emerging hazards associated with protein alternatives**: - Réf **ABG-125619** - Sujet de Thèse- 03/09/2024- Contrat doctoral- Oniris Ecole nationale vétérinaire, agro-alimentaire et de l'alimentation- Lieu de travail- Nantes - Pays de la Loire - France- Intitulé du sujet- Development of Innovative...

  • Position: Research Engineer for 12 Months On

    il y a 5 jours

    Nantes, France Rennes School of Business Temps plein

    **POSITION**: Research Engineer for 12 months in France, experienced in UAV programming We are searching for a research engineer with a minimum master's degree obtained during the last two years in one of these disciplines. We are not limited to any discipline. For example, people from various backgrounds, such as Computer Science, Mechanical Engineering, or...

  • Opérateur Visite de Risque D'immeuble

    il y a 2 jours

    Nantes, France FRANCE EDL - TCHEKER Temps plein

    Vous cherchez une activité ponctuelle indépendante, flexible et bien rémunérée dans l'immobilier ? Rejoignez nous en tant qu'**Opérateur visite de risque d'immeuble Freelance** et profitez d’une opportunité unique ! **Vos missions**: - Réalisation de visite de risque et visite technique pour le compte d'assureurs et syndics de copropriété. -...

  • Agent / Agente D'état Des Lieux (H/F)

    il y a 2 semaines

    Nantes, France Check and Visit Temps plein

    Présentation de l'entreprise: Check & Visit est une jeune startup dynamique et responsable offrant à tous les bailleurs professionnels et particuliers, la possibilité d'externaliser la réalisation des états des lieux de leurs logements. Avec pour ambition de vouloir révolutionner l'état des lieux en s'appuyant sur les nouvelles technologies, Check &...