Post-doctoral Research Visit F/m Campagne
il y a 2 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-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.
-
Paris, France INRIA Temps pleinPost-Doctoral Research Visit F/M Campagne Post-Doctorant: Verification of Linux kernel source code 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...
-
A Post-doctoral Researcher Position
il y a 4 semaines
Paris 13e, France ICM Institut du Cerveau Temps plein**The Paris Brain Institute (ICM) is recruiting a Post-Doctoral Researcher position** **3-year position starting March 2023** - The Paris Brain Institute ICM is a private foundation recognized as being of public utility, whose purpose is fundamental and clinical research on the nervous system, located in the heart of the Salpêtrière Hospital in Paris....
-
Post-doctoral Research Visit F/m Modeling and
il y a 4 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 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...
-
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...
-
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...
-
Post-Doctoral Research Visit F/M
il y a 2 semaines
Paris, France INRIA Temps pleinContexte et atouts du poste The selected candidate will do her/his research at the OURAGAN team which is a joint team of Inria Paris and IMJ-PRG Sorbonne Université. She/he will be located at Sorbonne Université and will (mainly) work with Elias Tsigaridas. Mission confiée Polynomial systems solving is one of the central problems in...
-
Paris, France INRIA Temps pleinPost-Doctoral Research Visit F/M Campaign "Hybrid high-order methods for linear and nonlinear parabolic problems" 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-Doctorant Mission confiée Objective of...
-
Post-Doctoral Research Visit F/M
il y a 1 semaine
Paris, France INRIA Temps pleinContexte et atouts du poste The MiMove team at Inria Paris ( Mission confiée The proposed postdoc research will more particularly focus on the topic of IoT systems in the intelligent edge-fog-cloud compute continuum. Designing, developing and running applications in the compute continuum requires mastering and managing the complexity of...
-
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 The PostDoc position will be in the framework of the ERC Starting Grant DYNASTY (Dynamics-Aware Theory of Deep Learning). The position might include traveling to conferences for paper presentation. Travel expenses will be covered within the limits of the scale in force. Mission confiée Deep learning shows...
-
Post-Doctoral Research Visit F/M
il y a 2 semaines
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. This is a position funded to support the collaboration between Inria and University of Waterloo (Canada). The postdoctoral contract will have a duration of 12 to 24 months. The...
-
contrat doctoral en linguistique théorique/formelle et de corpus
il y a 1 semaine
Paris, France CNRS Temps pleinInformations générales Intitulé de l'offre : contrat doctoral en linguistique théorique/formelle et de corpus (H/F) Référence : UMR8129-VINGAU-027 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : lundi 6 mai 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1...
-
Contrat Post-doctoral: Matériaux Hybrides Pour
il y a 4 semaines
Paris 5e, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 8 mai 2024 **Informations générales**: **Intitulé de l'offre **:Contrat post-doctoral: Matériaux hybrides pour capteurs quantiques (H/F)** Référence : UMR8247-PHIGOL-014 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication :...
-
Chercheur Post-doctoral
il y a 4 semaines
Paris, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 14 février 2024 **Informations générales**: **Intitulé de l'offre **:Chercheur post-doctoral (H/F) : Caractérisation d'agents de contraste IRM bioinspirés pour la détection du Cu(II)** Référence : UPR4301-LAELEG-030 Nombre de Postes :...
-
PhD Program Manager
il y a 4 semaines
Paris, France Institut Curie Temps pleinThe Institut Curie Research CenterInstitut Curie is a major player in research and the fight against cancer. It brings together an advanced Hospital Group and an internationally renowned Research Centre with over 1,000 aim of Institut Curie’s Research Center is to develop cutting-edge fundamental research and apply it to improve the diagnosis, prognosis...
-
(H/F) Chercheur post-doctoral en biophysique du cytosquelette
il y a 4 semaines
Paris, France CNRS Temps pleinInformations générales Intitulé de l'offre : (H/F) Chercheur post-doctoral en biophysique du cytosquelette Référence : UMR7592-ANTJEG-019 Nombre de Postes : 1 Lieu de travail : PARIS 13 Date de publication : jeudi 4 avril 2024 Type de contrat : CDD Scientifique Durée du contrat : 12 mois Date d'embauche prévue : 19 mai 2024 Quotité de travail...
-
Paris, France INRIA Temps pleinContexte et atouts du poste The project will be funded by the PRAIRIE 3IA Institute -- ANR-19-P3IA-0001. Travel expenses are covered within the limits of the scale in force. Mission confiée The main objective of this project is the understanding and development of robust and effective stochastic optimization methods for training deep...
-
DevOps Research Platform Engineer F/m
il y a 4 semaines
Paris 5e, France Sorbonne University Temps plein**DevOps research platform engineer f/m** **We are looking for a talented person to manage and expand our computing and networking research platforms. We offer you to learn and be able to evolve on advanced technologies, in a research environment, to participate and contribute, to carry out various tasks independently and in a team, and to work in an...
-
Quantitative Risk Researcher M/F
il y a 2 semaines
Paris, France Adoc Talent Management Temps pleinCompany Adoc Talent Management is looking for a Quantitative Risk Researcher M/F for its client, a very innovative investment management company with a start-up spirit, offering a wide range of alternative strategies, specialized in equity derivatives: dividend futures and options on stocks and indices. They have the willingness to explore new businesses...
