Emplois
>
Paris

    Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software - Paris, France - INRIA

    INRIA
    INRIA Paris, France

    il y a 4 jours

    Default job background
    Description

    Contexte 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...).

    The approach aimed for in this project includes the use of formal verification tools uising functional Rust as speficiation language (such as Cryspen) and fostering integration of formal verification workflows in the operating system's continuous integration processes to automate proofs on the OS as it evolves, such as in this blueprint.

    For further reading, see the output of . Recently, new standards have been specified in this domain, including the protocols necessary for

    Several positions are available They will remain open until they are filled.

    Mission confiée

    Collaboration :
    The recruited person will be in connection with RIOT-rs developers, the community developing hax, the Rust Embedded and the RIOT open source communities, as well as Inria researchers in the domain of secure low-power IoT, cryptography and formal verification.

    Responsibilities :
    The recruited person will be in particular in charge of steering interactions between RIOT-rs developers and the community developing hax. The main goal will be to "hax" up an increasing perimeter of central RIOT-rs software modules, on which a number of proofs (t.b.d.) will have to be performed, and maintained, as the OS if being developed and fleshed out further down the line.

    Steering/Management :
    The person recruited will be in charge of steering the developer community snowballing around the open source code base.

    Principales activités

    Main activities :

    propose and steer hax-based formal verification for existing and upcoming RIOT-rs building blocks
    - propose formally verified Rust rewrites for RIOT building blocks
    - implementation, documentation and CI of formally verified embedded Rust modules
    - interact with cryptography experts and formal verification experts
    - interact with secure low-power IoT network protocols experts
    - upstreaming and steering of open source communities

    Compétences

    Technical Skills
    - embedded C/Rust
    - formal verification
    - git
    - open source software workflows
    - RTOS or bare-metal experience on 32-bit microcontrollers such as ARM Cortex-M, RISC-V, ESP32
    - cybersecurity basics (communication protocols, cryptography)

    Non-Technical / Soft skills
    - distributed team work
    - good english skills (written, spoken, read)
    - consensus building

    Avantages

  • Subsidized meals
  • 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 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
  • Rémunération

    According to experience



  • Bosch Group Saint-Ouen, France

    de l'entreprise · **Prêt(e) à relever les défis de la voiture de demain ? Rejoignez Robert Bosch France et ses équipes et participez à la révolution du véhicule qui devient électrique et connecté à travers le monde ** Intégré(e) au sein du Campus de Robert Bosch France basé aux p ...


  • Valeo Bobigny, France

    Valeo is a tech global company, designing breakthrough solutions to reinvent the mobility. We are an automotive supplier partner to automakers and new mobility actors worldwide. Our vision? Invent a greener and more secured mobility, thanks to solutions focusing on intuitive driv ...


  • Bosch Group Drancy, France

    de l'entreprise · **Dans un environnement innovant, dynamique et international, nous vous offrons l'opportunité de travailler sur des métiers passionnants.** · **Description de l'entreprise** · Chez Bosch, nous façonnons le futur en inventant des technologies de pointe et des ser ...


  • Bosch Group Drancy, France

    de l'entreprise · **Dans un environnement innovant, dynamique et international, nous vous offrons l'opportunité de travailler sur des métiers passionnants.** · **Description de l'entreprise** · Chez Bosch, nous façonnons le futur en inventant des technologies de pointe et des ser ...


  • Electra Paris, France

    **What do we do ?**: · **Born in 2021 from the desire to make cities less polluted and less noisy**, Electra is helping to shift usage towards electric mobility by tackling the main obstacle of recharging. · **Electra is constantly innovating to facilitate the recharging of elect ...


  • Canonical - Jobs Paris, France

    This engineering role is an opportunity for a technologist with a passion for Linux to build a career with Canonical and drive the success of those leveraging Ubuntu and open source products. If you have an affinity for open source development, then you will enjoy working with so ...


  • DASSAULT AVIATION Saint-Cloud, France

    Dassault Aviation recrute: · Au sein de la direction Digital & User Oriented Solution, un Cabinet de Leader Technique est responsable des choix d'architecture logiciel et de la veille technique pour le portfolio Mission Support Systems (MSS). · La logique industrielle de développ ...

  • Atlas Copco Airpower N.V.

    Software Systems Architect

    il y a 2 semaines


    Atlas Copco Airpower N.V. Paris, France

    Software Systems Architect - applications for the industry · Functional area: Research and Development · Country: Sweden · City: Stockholm · On-Site/Remote: Hybrid · Date of Posting: April 25, 2024 · Last date to apply: May 12, 2024 · Join our team and work at the heart of ...


  • Astek Paris, France CDI

    Ce que nous allons accomplir ensemble : · Pour accompagner notre développement et renforcer notre équipe d'experts, nous recherchons un Ingénieur système avec une appétence pour le domaine du spatial, pour travailler sur tout le cycle en V d'un aéronef. · Astek · Créé en France ...


  • IC Resources Paris, France

    Embedded Software Engineer Join a company that specialises in developing advanced semiconductor solutions, particularly in the field of integrated circuits (ICs) and system-on-chip (SoC) technologies. Embedded Software Engineer Responsibilities You will play a pivotal role in cra ...


  • Astek Paris, France CDI

    Ce que nous allons accomplir ensemble : · Au sein d'un grand groupe du secteur automobile, et dans le cadre d'un important programme impactant son périmètre applicatif, vous assurez le développement des activités développement systèmes embarqués, nous recherchons des Architectes ...

  • Poclain Hydraulics Industrie

    Responsable Logiciel

    il y a 5 jours


    Poclain Hydraulics Industrie Paris, France

    Descriptif du poste · Poclain Hydraulics conçoit des logiciels embarqués pour les transmissions hydrauliques et électriques à destination principalement du BTP et de l'agricole. Le logiciel s'appuie sur 3 piliers principaux que sont les lois de commande, l'intégration logiciel et ...

  • Horizontal Software

    Responsable Adv

    il y a 1 jour


    Horizontal Software Paris, France

    **Contexte du recrutement et définition de poste**: · Venez intégrer les équipes de Horizontal Software rassemblées autour d'une même mission · Horizontal Software propose des solutions d'amélioration de la performance RH dans les secteurs de la formation professionnelle, des gr ...

  • Groupe Aptenia

    Analyste SOC N2-n3

    il y a 3 jours


    Groupe Aptenia Paris, France

    la supervision et l?administration des solutions du SOC ou Security Operating Center ; · l?identification de l?origine des cyberattaques. Cette identification lui permettra de bloquer leur accès par le biais des solutions existantes ; · la détection, puis l?analyse et la qualific ...

  • Capgemini

    Dems Cooptation

    il y a 6 jours


    Capgemini Paris, France

    **Capgemini Engineering Candidature Spontanée - Paris**: · Capgemini Engineering porte une offre de services à forte valeur ajoutée à destination des grands groupes industriels. De dimension internationale avec plus de 52000 collaborateurs, Capgemini Engineering vous propose de r ...


  • Thales Paris, France

    **QUI SOMMES-NOUS ?** · Sur plus de 30 sites en France, les 1 400 collaborateurs des services partagés du Groupe œuvrent chaque jour pour délivrer en interne des Services, accélérateurs de performance. En mutualisant tout ou partie des grandes fonctions de l'entreprise au sein de ...


  • Philips Paris, France

    **Job Title**: Stagiaire en Software Development - Projet Tools H/F · **Ce poste vous donne la possibilité de** · Découvrir les activités R&D de Clinical Data Services, une division de Philips Health Systems récemment intégrée, leader dans les technologies d'intégration de dispos ...


  • OCTOGONE Paris, France

    **Contexte de la mission**: Dans le cadre de la transformation de son Système d'Information, MMA a engagé un Programme de refonte sur son SI Sinistre et a choisi la solution ClaimCenter de Guidewire Software. Ce Programme a débuté en 2021 pour une durée d'environ 5 ans est mené a ...


  • Airbus Defence and Space SAS Paris, France

    Entreprise : Airbus Defence and Space SAS · - Localisation : Paris - France - Ile-de-France · - Fonction : Apprenti(e) en Développement Software · - Type de contrat: · - Date de publication : · **Description du poste**: · **Description de l'emploi**: · Et si votre aventure comme ...


  • Airbus Defence and Space SAS Paris, France

    Entreprise : Airbus Defence and Space SAS · - Localisation : Paris - France - Ile-de-France · - Fonction : Apprenti(e) en Développement Software · - Type de contrat: · - Date de publication : · **Description du poste**: · **Description de l'emploi**: · Et si votre aventure comme ...