Post-doctoral Research Visit F/m Compositional
il y a 3 semaines
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
-
Research Manager
il y a 1 mois
Nantes, France Eurofins Temps pleinDescription du poste 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...
-
UX Researcher
il y a 4 semaines
Nantes, France HR-TEAM Temps pleinDans 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...
-
Artificial Neurons Based On Mott Insulator:
il y a 1 mois
Nantes, France CNRS Temps plein**Artificial neurons based on Mott insulator: realization, testing and modelling**: - Réf - **ABG-115484** - Sujet de Thèse- 26/06/2023- Contrat doctoral- CNRS- Lieu de travail- Nantes - Pays de la Loire - France- Intitulé du sujet- Artificial neurons based on Mott insulator: realization, testing and modelling- Champs scientifiques- Physique -...
-
Visiteur Médical Ouest
il y a 1 mois
Nantes, France Amplifon Group Temps pleinAmplifon est un groupe international italien et le leader mondial dans la distribution de solutions auditives. Nos 20 000 collaborateurs, répartis dans 9 500 points de vente et 26 pays, s'efforcent chaque jour de comprendre les besoins uniques de chaque client afin de proposer des produits et des services innovants et hautement personnalisés, et de...
-
Visiteur Médical Ouest
il y a 1 mois
Nantes, France Amplifon Group Temps pleinAmplifon est un groupe international italien et le leader mondial dans la distribution de solutions auditives. Nos 20 000 collaborateurs, répartis dans 9 500 points de vente et 26 pays, s'efforcent chaque jour de comprendre les besoins uniques de chaque client afin de proposer des produits et des services innovants et hautement personnalisés, et de...
-
Agent - Agente d'État des Lieux Indépendant Nantes H/F
il y a 5 heures
NANTES, 44100, Rezé, France CHECK & VISIT Temps pleinChez Check and Visit, nous nous sommes donnés une mission : aider les professionnels de l'immobilier à réaliser et fiabiliser les états des lieux des logements de leur parc locatif grâce à des solutions innovantes et digitales.Pour accompagner notre croissance, nous sommes à la recherche d'agent(e) d'état des lieux indépendant(e) sur le...
-
Internship Ai/ml for Video Coding Technologies
il y a 4 jours
Nantes, France Canon Research Centre France Temps plein**CANON Research Center France, is the European research center of the CANON group. Its main mission is to develop innovative technologies related to digital imaging and networks in order to contribute the development of innovative products for the CANON group. For several years, the Canon Group diversifies its activities to address new professional markets...
-
Stage Apprentissage Par Renforcement Dans Un
il y a 4 semaines
Nantes, France Canon Research Centre France Temps plein**CANON Research Centre France, est le centre de recherche européen du groupe CANON. Sa mission principale est de développer des technologies novatrices liées à l’imagerie numérique et aux réseaux afin de contribuer au développement de produits innovants pour le groupe CANON. Depuis plusieurs années, le Groupe Canon diversifie ses axes de recherche...
-
Industrial Phd
il y a 1 mois
Nantes, France VIPER RF France Temps plein**Context**: The development of high-power amplification stages is essential to meet the transmission link budget requirements, along with high gain antenna architectures. Payload integration presents additional challenges to the RF front-end, such as the requirement for reliable operation during the Mission (derating, low junction temperature), and low...
-
Expert / Experte D'état Des Lieux (H/F)
il y a 1 mois
Nantes, France Check and Visit Temps pleinPrésentation de l'entreprise: Devenez agent(e) d’état des lieux indépendant(e) en moins d’un mois ! Chez Check and Visit, nous nous sommes donnés une mission : aider les professionnels de l’immobilier du monde entier à réaliser et fiabiliser les états des lieux des logements de leur parc locatif grâce à des solutions innovantes et digitales....
-
Stage Simulateur D'onde 5g
il y a 4 semaines
Nantes, France Canon Research Centre France Temps plein**CANON Research Centre France, est le centre de recherche européen du groupe CANON. Sa mission principale est de développer des technologies novatrices liées à l’imagerie numérique et aux réseaux afin de contribuer au développement de produits innovants pour le groupe CANON. Depuis plusieurs années, le Groupe Canon diversifie ses axes de recherche...
-
Nantes Université Recrute Un.e Chargé.e de Projet
il y a 1 mois
Nantes, France Université de Nantes Temps pleinDu 26 mars 2024 au 23 avril 2024Catégorie A, contractuel-le, CDD jusqu’au 31/12/2025 (L332-2,3) **Environnement et contexte de travail**: - Localisation : Nantes, centre-ville La Direction de la recherche, des partenariats et de l'innovation accompagne le pilotage de l’établissement, conseille et accompagne les porteurs de projets et assure le...
-
Assistant.e de Direction
il y a 1 mois
Nantes, France NANTES UNIVERSITE Temps plein**À propos de nous**: Nantes Université est un établissement public d’enseignement supérieur et de recherche qui propose un modèle d’université inédit en France unissant une université, un hôpital universitaire (CHU de Nantes), un institut de recherche technologique (IRT Jules Verne), un organisme national de recherche (Inserm) et des grandes...
-
Gestionnaire de Direction
il y a 1 mois
Nantes, France NANTES UNIVERSITE Temps plein**À propos de nous**: Nantes Université est un établissement public d’enseignement supérieur et de recherche qui propose un modèle d’université inédit en France unissant une université, un hôpital universitaire (CHU de Nantes), un institut de recherche technologique (IRT Jules Verne), un organisme national de recherche (Inserm) et des grandes...
-
Gestionnaire Des Doctorants
il y a 1 mois
Nantes, France ÉCOLE CENTRALE DE NANTES Temps pleinCentrale Nantes est une grande école d’ingénieurs qui diplôme des ingénieurs, des étudiants de masters et des doctorants à l’issue de parcours académiques basés sur les développements les plus actuels de la science et de la technologie et sur les meilleures pratiques du management. Établissement public sous tutelle du ministère de...
-
Chargé.e de Projet évaluation de La Recherche
il y a 1 mois
Nantes, France NANTES UNIVERSITE Temps plein**À propos de nous**: Nantes Université est un établissement public d’enseignement supérieur et de recherche qui propose **un modèle d’université inédit** en France unissant une université, un hôpital universitaire (CHU de Nantes), un institut de recherche technologique (IRT Jules Verne), un organisme national de recherche (Inserm) ainsi que...
-
Surveillant - Visiteur de Nuit (H/F)
il y a 1 mois
Nantes, France Notre-Dame de Terre-Neuve Temps pleinL’Association Voir Ensemble recrute 1 agent des services intérieur veille de NUIT En CDI à 0.80 ETP Poste à pourvoir janvier 2023 sur le pôle Voir Ensemble Pays de la Loire FOYER TERRE NEUVE CHAUVE Mission globale Accompagner la personne la nuit dans les actes essentiels de la vie quotidienne en tenant compte de ses besoins et de son degré...
-
Post Doc
il y a 1 mois
Nantes, France Orange SA Temps plein**About the role**: Your role is to carry out a Post doc work on: "Assessment and minimization of environmental impacts on the life cycle of a Wifi network" within the framework of the FACTO project, selected under a call for projects from the ANR (National Research Agency) The number of smart homes is rapidly increasing around the world with an increasing...
-
Responsable Régional Visuel Merchandiser
il y a 1 mois
Nantes, France H&M Temps pleinDescription de l'entreprise Qu’est ce qui rend H&M unique ? Tellement de choses ! Notre culture d’entreprise & nos valeurs, les opportunités de développement & les défis, les avantages & bien plus encore. Mais surtout, nos collaborateurs, qui font de nous ce que nous sommes. H&M est un lieu où vous pouvez pleinement exprimer votre personnalité,...
-
Post-doc en Simulation évènements Discrets
il y a 3 jours
Nantes, France Centrale Innovation Temps plein**Keen to participate in the technical challenges of future silent aircraft?** **The team**: The CPS3 team (Conception, Pilotage, Surveillance et Supervision des systèmes) researches complex systems ; focusing in their design, management and supervision. **Your mission**: When a disturbing event occurs, companies should be able to forecast their impact on...