PhD Position F/M Campagne Doctorant: verification of Linux kernel source code
Il y a 2 mois
PhD Position F/M Campagne 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é : Bac + 5 ou équivalent
Fonction : 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.
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.
Compétences
Familiarity with programming in C and OCaml.
Familiarity with program verification tools such as Frama-C.
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 (after 6 months of employment) and flexible organization of working hours 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
-
Phd Position F/m Campagne Doctorant: Verification
il y a 1 mois
Paris, France Inria Temps pleinLe 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 an existing OS. Design and implement tools to facilitate such verification. Consider how...
-
Post-doctoral Research Visit F/m Campagne
il y a 1 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**: 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...
-
Scheduler Verification and Enlarging The Scope of
il y a 1 mois
Paris, France Inria Temps plein**Type de contrat **:CDD**Niveau de diplôme exigé **:Bac + 5 ou équivalent**Fonction **:Ingénieur scientifique contractuel**Niveau d'expérience souhaité **:Jeune diplôméContexte et atouts du poste The position will take place in the Whisper team at Inria Paris, that has a long experience with program analysis and transformation of C code,...
-
Linux-Spezialist/in, Informatiker/in
il y a 2 semaines
Paris, France Workwise GmbH Temps pleinInformatik, Cloud Computing, Betriebssysteme, Linux,Open Source Computer Scientist Linux Kernel (f/m/d) Location: 76137 Karlsruhe About the company We are Europe's leadingplatform for cloud services and hosting services. We successfullysupport our customers in their business development. To ensure ourcompany's success, we have over 4,000 employees working...
-
Phd Position in 2d Sandwiches, Artificial Layered
il y a 1 jour
Paris, France Institute of Physics of the Czech Academy of Sciences Temps plein**PhD position in 2D sandwiches, artificial layered building blocks for multifunctional materials**: - Réf **ABG-122519** - Sujet de Thèse- 10/04/2024- Contrat doctoral- Institute of Physics of the Czech Academy of Sciences- Lieu de travail - Tchèque, République - Intitulé du sujet- PhD position in 2D sandwiches, artificial layered building blocks for...
-
10 Phd Positions to Work On The Pathogens of Algae
il y a 2 semaines
Paris, France MNHN MNHN Temps plein**10 PhD positions to work on the pathogens of algae, across 9 European institutions**: - Réf **ABG-123492** - Sujet de Thèse- 27/04/2024- Financement de l'Union européenne- MNHN MNHN- Lieu de travail- Paris - Ile-de-France - France- Intitulé du sujet- 10 PhD positions to work on the pathogens of algae, across 9 European institutions- Champs...
-
Postdoctoral Researcher, Code Generation
il y a 5 jours
Paris, France Meta Temps pleinMeta is seeking a Postdoctoral Researcher to work on innovative approaches to code generation with LLMs at FAIR (Fundamental AI Research). We publish groundbreaking papers and release frameworks/libraries that are widely used in the open-source community. We closely collaborate with other organizations at Meta to bring the latest research findings to...
-
Ingénieur Logiciel Embarqué Kernel Linux H/F
Il y a 2 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...
-
Ingénieur Logiciel Embarqué Kernel Linux H/F
il y a 1 jour
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...
-
Phd Position F/m
il y a 1 semaine
Paris, France Inria Temps pleinLe 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**: **Context** A standard programming pattern in typed languages is to build types de - scribing domain-specific data by composing simpler (parametrized) types de - scribing...
-
Phd Position F/m Campagne/welcome Package
il y a 1 mois
Paris, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **Contexte et atouts du poste**: The work will be conducted in the WILLOW team at Inria Paris research center. Renowned for its exceptional work in computer vision and robotics, the WILLOW team has...
-
Ph.d. Position
il y a 1 jour
Paris, France Institute of Physics of the Czech Academy of Sciences Temps plein**Ph.D. position - Dynamics of phase transitions and magnetoelectric coupling in multiferroics**: - Réf **ABG-122520** - Sujet de Thèse- 10/04/2024- Contrat doctoral- Institute of Physics of the Czech Academy of Sciences- Lieu de travail - Tchèque, République - Intitulé du sujet- Ph.D. position - Dynamics of phase transitions and magnetoelectric...
-
Embedded Linux Developer
Il y a 2 mois
Paris, France IC Resources Temps pleinEmbedded Systems Developer - Linux Division Join a renowned French firm with a global presence that specialises in designing and manufacturing high-end professional audiovisual equipment. With over 30 years of experience, They are a leading provider of products for 4K and 8K screen presentation systems, media servers, image converters, and video switchers....
-
Embedded Linux Developer
il y a 1 jour
Paris, France IC Resources Temps pleinEmbedded Systems Developer - Linux Division Join a renowned French firm with a global presence that specialises in designing and manufacturing high-end professional audiovisual equipment. With over 30 years of experience, They are a leading provider of products for 4K and 8K screen presentation systems, media servers, image converters, and video switchers....
-
Ingénieur R&D Linux Embarqué
il y a 2 jours
Paris, France Groupe iliad Temps pleinLe poste Située dans le 8e arrondissement de Paris, Freebox est la filiale R&D d’Iliad qui développe les produits triple play Free (set-top-box, gateway et répéteurs Wi-Fi). L’ingénieur R&D Linux embarqué intégrera l’équipe Gateway & Central Office . En rejoignant Freebox, tu participeras à la conception des boîtiers Freebox...
-
Ingénieur R&D Linux Embarqué
il y a 2 semaines
Paris, France Groupe iliad Temps pleinLe poste Située dans le 8e arrondissement de Paris, Freebox est la filiale R&D d’Iliad qui développe les produits triple play Free (set-top-box, gateway et répéteurs Wi-Fi). L’ingénieur R&D Linux embarqué intégrera l’équipe Gateway & Central Office . En rejoignant Freebox, tu participeras à la conception des boîtiers Freebox...
-
Paris, France INRIA Temps pleinContexte et atouts du poste In the context of the RIOT-rs project, this position will focus on designing and leading the development of formally verified open source buidling blocks for a cybersercure embedded software platform : a Rust-based, general-purpose OS running on the main low-power 32-bit microcontrollers (Arm Cortex-M, RISC-V, ESP32...). ...
-
Paris, France INRIA Temps pleinContexte et atouts du poste In the context of the RIOT-rs project, this position will focus on designing and leading the development of formally verified open source buidling blocks for a cybersercure embedded software platform : a Rust-based, general-purpose OS running on the main low-power 32-bit microcontrollers (Arm Cortex-M, RISC-V, ESP32...). ...
-
Embedded Linux Developer
il y a 1 mois
Paris, Île-de-France IC Resources Temps pleinEmbedded Systems Developer Linux Division Join a renowned French firm with a global presence that specialises in designing and manufacturing high end professional audiovisual equipment. With over 30 years of experience, They are a leading provider of products for 4K and 8K screen presentation systems, media servers, image converters, and video switchers....
-
Embedded Linux Developer
il y a 1 jour
Paris, Île-de-France IC Resources Temps pleinEmbedded Systems Developer Linux Division Join a renowned French firm with a global presence that specialises in designing and manufacturing high end professional audiovisual equipment. With over 30 years of experience, They are a leading provider of products for 4K and 8K screen presentation systems, media servers, image converters, and video switchers....