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 2 semaines

    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

    Basic Software System Engineer

    il y a 3 semaines


    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

    Basic Software System Engineer

    il y a 3 semaines


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


  • Astek PARIS ER ARRONDISSEMENT, France

    Ce que nous allons accomplir ensemble : · Pour accompagner notre développement et renforcer notre équipe d'experts, nous recherchons un Ingénieur système software. Dans le cadre du développement de sous-systèmes de contrôle commande, vous interviendrez sur des systèmes d'armes de ...


  • Astek PARIS ER ARRONDISSEMENT, France

    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. · Nos Plus · - Astek est g ...


  • 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 ...


  • Kicklox Saint-Cloud, France

    **L'offre**: · **Secteurs** · Aéronautique · **Missions à réaliser** · 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 (M ...


  • HITACHI ASTEMO FRANCE S.A.S. Drancy, France

    **Description** · **Ready to contribute to the future of the automotive industry?**: · We are part of Hitachi Astemo, focusing on world-leading advanced mobility solutions within the fields of electrification, autonomous driving, and connectivity to help reduce environmental dama ...


  • Renault Group Guyancourt, France

    Société · RENAULT s.a.s. · Descriptif du poste · Rejoignez la nouvelle Génération de Renault Group · En pleine mutation, la voiture se connecte, s'automatise et le logiciel prend une place majeure. Pour répondre à ce challenge, la filiale Renault Software Labs a été créée en 2017 ...


  • 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 : · Pour accompagner notre développement et renforcer notre équipe d'experts, nous recherchons un Ingénieur système software. Dans le cadre du développement de sous-systèmes de contrôle commande, vous interviendrez sur des systèmes d'armes d ...


  • 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 ...


  • Snap Inc. Paris, France À temps plein

    is a technology company. We believe the camera presents the greatest opportunity to improve the way people live and communicate. Snap contributes to human progress by empowering people to express themselves, live in the moment, learn about the world, and have fun together. The Co ...


  • DASSAULT SYSTEMES Paris, France

    Imaginez demain · L'équipe d'architecture a pour mission d'urbaniser le système d'information de Dassault Systèmes et de poster toutes les questions fonctionnelles, architecturales et techniques transverses aux différents quartiers du SI. · Vos futurs défis · Dans le cadre de la ...

  • Poclain Hydraulics Industrie

    Responsable Logiciel

    il y a 3 semaines


    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 2 semaines


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