Post-Doctoral Research Visit F/M Campagne Post-Doctorant: Verification of Linux kernel source code
il y a 2 semaines
Post-Doctoral Research Visit F/M Campagne Post-Doctorant: Verification of Linux kernel source code
Le descriptif de l’offre ci-dessous est en AnglaisType 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
-
Paris, France INRIA Temps pleinPhD Position F/M Campagne 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é : Bac + 5 ou équivalent Fonction : Doctorant Mission confiée Understand the opportunities and challenges that arise in verifying the source code of...
-
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...
-
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 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
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 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 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 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 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...
-
Ingénieur Logiciel Embarqué Kernel Linux H/F
il y a 1 mois
Paris, France Médiane Système Temps pleinEt si vous embarquiez vers les nouvelles technologies ?Filiale du groupe industriel ICE, Médiane Système, est une société d'ingénierie innovante spécialisée en électronique, systèmes embarqués et informatique industrielle. Médiane Système a construit son identité sur une expertise technique de haut niveau en proposant à ses clients, des...
-
Post-doctoral Position in Musculoskeletal
il y a 4 semaines
Paris, France INSERM U955, UNIV PARIS EST CRETEIL Temps plein**Mondor Biomedical Research Institute** is a large research institute located in the east of Paris. The institute is affiliated with Henri Mondor Hospital, the faculty of Health and Université Paris-Est Créteil, providing a multidisciplinary research environment and state-of-the-art research platforms.**Site web**: **Poste et missions **:**Mobilité...
-
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...
-
Poste de Doctorant
il y a 4 semaines
Paris 13e, France CNRS Temps pleinDate Limite Candidature : mercredi 15 février 2023 **Informations générales**: Référence : UMR7164-KEVVEL-008 Nombre de Postes : 1 Lieu de travail : PARIS 13 Date de publication : mercredi 25 janvier 2023 Nom du responsable scientifique : Josquin Errard Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la...
-
Research Engineer On Virtualisation of 5g
il y a 4 semaines
Paris, France Orange SA Temps plein**About the role**: The primary mission will consist of exploring innovative concepts for the disaggregation and virtualization of the Radio Access Network (RAN) functions of 5G, and future 6G generations of mobile networks. These concepts are part of the O-RAN Alliance framework and the OpenAirInterface (OAI) open-source stack. In particular, the mission...
-
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...
-
Post Doctorant
il y a 7 jours
Paris 5e, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 3 mai 2024 **Informations générales**: **Intitulé de l'offre **:post doctorant (H/F) au PMMH** Référence : UMR7636-FREAUG-043 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : vendredi 12 avril 2024 Type de contrat : CDD...
-
Research Engineer
il y a 4 semaines
Paris, France Meta Temps plein**Research Engineer Responsibilities**: - Write clean and robust machine learning code - Engineer, design, implement, and improve machine learning systems and tools for enabling research - Collaborate effectively within their team to help advance its research goals - Influence progress of relevant research communities by contributing to...
-
Member of Technical Staff
il y a 4 semaines
Paris, France Adaptive ML Temps plein**About the team**: **Adaptive is helping companies build singular generative AI experiences by democratizing the use of reinforcement learning**. We are building the foundational technologies, tools, and products required for models to learn directly from users' interactions and for models to self-critique and self-improve from simple written guidelines....
-
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...
