- 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
-
Bsw System and Software Engineer
il y a 3 semaines
Bosch Group Saint-Ouen, Francede 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 ...
-
System & Software Quality Manager
il y a 3 semaines
Valeo Bobigny, FranceValeo 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 ...
-
Basic Software System Engineer
il y a 3 semaines
Bosch Group Drancy, Francede 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 ...
-
Basic Software System Engineer
il y a 3 semaines
Bosch Group Drancy, Francede 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 ...
-
Senior Systems Software Engineer
il y a 3 semaines
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 ...
-
Go Software Engineer, Commercial Systems
il y a 3 semaines
Canonical - Jobs Paris, FranceThis 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 ...
-
Ingénieur Système Software
il y a 1 jour
Astek PARIS ER ARRONDISSEMENT, FranceCe 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 ...
-
Ingénieur Système Software
il y a 1 jour
Astek PARIS ER ARRONDISSEMENT, FranceCe 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 ...
-
Architect Mission Support System Software
il y a 3 semaines
DASSAULT AVIATION Saint-Cloud, FranceDassault 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 ...
-
Technical Leader Mission Support System Software
il y a 5 jours
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 ...
-
System and Software Product Engineer
il y a 2 jours
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 ...
-
Architecte Software/système Sw Update
il y a 21 heures
Renault Group Guyancourt, FranceSocié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 ...
-
Ingénieur système Software – Secteur Aérospatial – Paris
il y a 2 semaines
Astek Paris, France CDICe 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 ...
-
Embedded Systems Software Developer
il y a 4 semaines
IC Resources Paris, FranceEmbedded 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 ...
-
Ingénieur système software – Secteur de la défense – Paris, France
il y a 1 semaine
Astek Paris, France CDICe 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 ...
-
Architecte système Software – Secteur Transport Te – Paris, France
il y a 2 semaines
Astek Paris, France CDICe 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 ...
-
Software Engineer, Embedded Systems and Signal Processing
il y a 1 semaine
Snap Inc. Paris, France À temps pleinis 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 ...
-
Apprentissage - Modelisation Du Système
il y a 1 semaine
DASSAULT SYSTEMES Paris, FranceImaginez 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 ...
-
Responsable Logiciel
il y a 3 semaines
Poclain Hydraulics Industrie Paris, FranceDescriptif 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 ...
-
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 ...
Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software - Paris, France - INRIA
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
Rémunération
According to experience