Post-doctoral Research Visit F/m Campagne
il y a 6 jours
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
**Mission confiée**:
Understand the opportunities and challenges that arise in verifying the source code of an existing OS.
Design and implement tools to facilitate such verification.
Consider how a verification effort can scale, across time and to larger code fragments.
This position complements an offered PhD position on the same topic. The goal of this position is to explore technologies such as symbolic execution, to consider how they can be applied to facilitate the code verification process.
**Principales activités**:
Study of Linux kernel source code.
Design and implementation of program analyses.
Construction and validation of specifications for Linux kernel source code.
Study of whether complementary tools can help construct and maintain specifications.
**Compétences**:
Familiarity with programming in C. Familiarity with OCamlor another functional language could be helpful.
Familiarity with program verification tools such as Frama-C.
Familiarity with program analysis approaches, such as symbolic execution.
Familiarity with operating systems concepts and the Linux kernel code base.
Strong research skills, in terms of reading research papers, writing research papers, and making presentations.
**Avantages**:
- Subsidized meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
- Possibility of teleworking
- Flexible organization of working hours (after 12 months of employment)
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage
**Rémunération**:
According to civil service salary scales
**Informations générales**:
- **Thème/Domaine**: Systèmes distribués et intergiciels
Système & réseaux (BAP E)
- **Ville**: Paris
- **Centre Inria**: Centre Inria de Paris
- **Date de prise de fonction souhaitée**: 2024-10-01
- **Durée de contrat**: 1 an, 6 mois
- **Date limite pour postuler**: 2024-05-19
**Consignes pour postuler**:
**Application**- a CV
- the list of publications
- the thesis reports (if the thesis has been already defended)
- Recommendation letters (at least a letter from the PhD adviser)
**Sécurité défense**:
Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.
**Politique de recrutement**:
Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.
**Contacts**:
- **Équipe Inria**: WHISPER
- **Recruteur**:
**A propos d'Inria**:
Inria est l’institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l’interface d’autres disciplines. L’institut fait appel à de nombreux talents dans plus d’une quarantaine de métiers différents. 900 personnels d’appui à la recherche et à l’innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start-up. L'institut s'efforce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.
-
Post-doctoral Research Visit F/m
Il y a 2 mois
Paris, France Inria Temps pleinLe 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 **Contexte et atouts du poste**: **Mission confiée**: **Principales activités**: In the context identified above, the postdoc researcher is expected to contribute to MiMove’s research in one...
-
Post-doctoral Research Visit F/m campagne
il y a 1 semaine
Paris, Île-de-France Inria Temps pleinLe 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**Contexte et atouts du poste**:**Mission confiée**:**Principales activités**:In the context identified above, the postdoc researcher is expected to contribute to MiMove's research in one of the...
-
Post-Doctoral Research Visit F/M EICACS
il y a 1 semaine
Paris, Île-de-France Inria Temps pleinPhD or equivalent The promotion or development of design rules and interoperability standards, to support secure sharing of resources and exchange of data and information between those systems and platforms for the benefit of the mission execution and performance in systems of systems contexts to offer mission system software scalability to speed up...
-
Post Doctoral Fellow
il y a 2 semaines
Paris, France Center of research in myology Temps plein**Post Doctoral Fellow**: - Employer- Center of research in myology- Location- Paris, Ile-de-France (FR)- Salary- Salary will be commensurate with experience following INSERM guidelines- Closing date- 9 Jul 2024- Discipline Applied Science, Biomedicine, Health Science, Life Science Job Type Postdoctoral Employment - Hours Full time Duration Fixed...
-
Post-doctoral Research Visit F/m Modeling and
il y a 2 semaines
Paris, France Inria Temps pleinLe 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-Doctorant **Mission confiée**: The objective of this research project is de develop a mathematical model and asociated numerical methods for the simulation of the...
-
Post-doctoral Research Visit F/m Campagne
Il y a 2 mois
Paris, France Inria Temps pleinLe 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 **Mission confiée**: [1] Wolpaw et al, 2002, Clin Neurophysiol 113: 767-91. [2] Gonzalez-Astudillo et al, 2021, J Neural Eng 18: 011001 [3] Battiston et al. Nat. Physics 17.10 (2021): 1093-1098....
-
Post-doctoral Research Visit F/m Modeling and
il y a 1 semaine
Paris, Île-de-France Inria Temps pleinLe 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-Doctorant**Mission confiée**:The objective of this research project is de develop a mathematical model and asociated numerical methods for the simulation of the hemodynamics in the...
-
Post-Doctoral Research Visit F/M EICACS
Il y a 2 mois
Paris, France INRIA Temps pleinContexte et atouts du poste This position contributes to a European project which involves partners from both industry and academia of various European countries. The goal of the project include: The promotion or development of design rules and interoperability standards, to ensure the interoperability of collaborative heterogeneous assets to...
-
Post-Doctoral Research Visit F/M EICACS
il y a 4 semaines
Paris, France INRIA Temps pleinContexte et atouts du poste This position contributes to a European project which involves partners from both industry and academia of various European countries. The goal of the project include: The promotion or development of design rules and interoperability standards, to ensure the interoperability of collaborative heterogeneous assets to...
-
Post-doctoral Research Visit F/m Post-doc in
il y a 2 semaines
Paris, France Inria Temps pleinLe 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 **:Chercheur contractuel **Niveau d'expérience souhaité **:Jusqu'à 3 ans **Contexte et atouts du poste**: The WILLOW team of Inria is looking for a post-doc in robotics...
-
Paris, France INRIA Temps pleinContexte et atouts du poste Every year Inria International Relations Department has a few postdoctoral positions in order to support Inria international collaborations. The postdoctoral contract will have a duration of 12 to 24 months. The default start date is November 1st, 2024 and not later than January, 1st 2025. The postdoctoral fellow will be...
-
Paris, France INRIA Temps pleinContexte et atouts du poste Every year Inria International Relations Department has a few postdoctoral positions in order to support Inria international collaborations. The postdoctoral contract will have a duration of 12 to 24 months. The default start date is November 1st, 2024 and not later than January, 1st 2025. The postdoctoral fellow will be...
-
Paris, France INRIA Temps pleinContexte et atouts du poste This post-doc position fits within the roadmap activities of Inria's Defense & Security Department, which is devoted to applications-driven research. Among the various fields of NLP, information extraction is a crossroad topic that, by focusing on how to turn raw documents into structured data models, echoes the practical...
-
Post Doctoral Position in QML
il y a 1 semaine
Paris, Île-de-France Quantum Flagship Temps pleinPost Doctoral Position in QML (Quantum Machine Learning) The Quantum Information (QI) team in LIP6, Sorbonne Université, is looking for a post doctoral researcher in Quantum Machine Learning . The QI team is an interdisciplinary research group covering computer science, theoretical physics and experimental quantum optics. We are based in LIP6, Sorbonne...
-
Online Internship-junior Research Fellowship Program
il y a 2 semaines
Paris, France European Institute of Policy Research and Human Rights SIA Temps plein**Junior Research Fellowship Program - with online Internship** offered by **European Institute for Policy Research and Human Rights** Embark on a transformative journey with our Junior Research Fellowship! **Key Highlights**: **Duration**:4 weeks of intensive learning followed by a 4-week online internship. **Certification**: Earn the esteemed...
-
Paris, France IRCAM Temps pleinThe Acoustic and Cognitive Spaces team at IRCAM is currently recruiting for a post-doctoral researcher in 3D audio and audio signal processing on an 15-months fixed-term contract. The selected candidate should ideally start as soon as possible but no later than November 1st, 2023. INTRODUCTION TO IRCAM : IRCAM, a non-profit association located at 1,...
-
Post-doctoral researcher in 3D audio and audio signal processing
il y a 4 semaines
Paris, France IRCAM Temps pleinThe Acoustic and Cognitive Spaces team at IRCAM is currently recruiting for a post-doctoral researcher in 3D audio and audio signal processing on an 15-months fixed-term contract. The selected candidate should ideally start as soon as possible but no later than November 1st, 2023. INTRODUCTION TO IRCAM : IRCAM, a non-profit association located at 1,...
-
Post-doctoral Research Visit F/m Synchronisation
il y a 3 semaines
Paris, France Inria Temps pleinLe 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 **Contexte et atouts du poste**: The project is part of the Inno4Scale project and is in collaboration with WIKKI Germany **Mission confiée**: The planned work consists in implementing, testing...
-
Post-doctoral Research Visit F/m Synchronisation
il y a 1 semaine
Paris, Île-de-France Inria Temps pleinLe 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**Contexte et atouts du poste**:The project is part of the Inno4Scale project and is in collaboration with WIKKI Germany**Mission confiée**:The planned work consists in implementing, testing and improving...
-
Post-doctoral Research Visit F/m Learning a General
il y a 5 jours
Paris, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 4 ou équivalent **Fonction **:Post-Doctorant **Contexte et atouts du poste**: **Work conditions**: - Start date: 01/04/2024 (negotiable) - Duration of 6 months - Remuneration: to be discussed - 5 RTT days and 17,5 vacation days -...
