- 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 6 jours
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 1 semaine
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 1 semaine
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 6 jours
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 1 semaine
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 1 semaine
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 ...
-
Architect Mission Support System Software
il y a 1 semaine
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 ...
-
Software Systems Architect
il y a 2 semaines
Atlas Copco Airpower N.V. Paris, FranceSoftware 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 ...
-
Ingénieur système Software – Secteur Aérospatial – Paris
il y a 3 jours
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 1 semaine
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 ...
-
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 ...
-
Responsable Logiciel
il y a 5 jours
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 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 ...
-
Analyste SOC N2-n3
il y a 3 jours
Groupe Aptenia Paris, Francela 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 ...
-
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 ...
-
Acheteur Famille Ingénierie Système
il y a 6 jours
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 ...
-
Stagiaire en Software Development
il y a 5 heures
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 ...
-
Support Aux Développements
il y a 3 jours
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 ...
-
Apprenti(E) en Développement Software
il y a 5 jours
Airbus Defence and Space SAS Paris, FranceEntreprise : 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 ...
-
Apprenti(E) en Développement Software
il y a 1 semaine
Airbus Defence and Space SAS Paris, FranceEntreprise : 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 ...
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