Emplois actuels liés à Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software - Paris - INRIA
-
Rust Software Engineer
Il y a 2 mois
Paris, France Cryspen Temps pleinCryspen is on a mission to build high-assurance software that makes the world a safer place. We're looking for passionate Software Engineers (all levels) to join our collaborative team and help us achieve that goal. Shape the Future of Security: You'll develop and maintain software solutions, primarily in Rust, with a focus on performance, safety, and...
-
Rust Software Engineer
Il y a 2 mois
Paris, France Cryspen Temps pleinCryspen is on a mission to build high-assurance software that makes the world a safer place. We're looking for passionate Software Engineers (all levels) to join our collaborative team and help us achieve that goal. Shape the Future of Security: You'll develop and maintain software solutions, primarily in Rust, with a focus on performance, safety, and...
-
Distributed Systems Engineer Role
il y a 2 semaines
Paris, Île-de-France Datadog Temps pleinAbout the Job: As a Distributed Systems Engineer at Datadog, you will design, implement, and run in production foundational platforms powering our applications. Your data pipelines will ingest, store, analyze, and query billions of events per second from companies all over the globe. The platforms are optimized for durability, high availability, low latency,...
-
Embedded Software Systems Developer
il y a 3 semaines
Paris, Île-de-France AdaCore Temps pleinAbout AdaCoreWe're a leading provider of high-integrity software development tools and services, catering to the needs of developers in industries like automotive, medical, energy, and IoT.Our team of 150 global experts is based in the US, France, Germany, the UK, and Estonia. We develop cutting-edge technologies to address the challenges of high-grade...
-
Software Engineer Rust
il y a 3 semaines
Paris, France Cryspen Temps pleinCryspen is on a mission to build highassurance software that makes the world a safer place. Were looking for passionate Software Engineers (all levels) to join our collaborative team and help us achieve that goal.Shape the Future of Security: Youll develop and maintain software solutions primarily in Rust with a focus on performance safety and security...
-
Paris, Île-de-France AdaCore Temps pleinWe are looking for a skilled Senior Bare Metal and Cross Environment Software Engineer to join our international team. The ideal candidate will have extensive experience in system programming, embedded software development, and cross-platform toolchains.Company OverviewAt AdaCore, we focus on providing developers with the tools and services necessary to...
-
High-Level System Software Developer
il y a 1 jour
Paris, Île-de-France AdaCore Temps pleinAbout AdaCoreAt AdaCore, we're dedicated to helping developers create safe, secure, and reliable software solutions. With 30 years of experience partnering with global leaders in aerospace & defense, air traffic management, space, railway, and financial services, we've established a reputation for delivering high-quality tools and services that simplify the...
-
High-Grade Embedded Software Developer
il y a 3 semaines
Paris, Île-de-France AdaCore Temps pleinWe're adapting our proven technologies to assist a new generation of developers.Adapt our Ada/C/C++ GNU-based compiler and runtimes to new cross targets (RTOS or bare metal); Help with the maintenance of our existing cross compilers, mainly VxWorks, QNX, LynxOS, PikeOS, Linux, and bare metal; Skill sets required for this role include system programming,...
-
Software Engineer for Scalable Systems
il y a 3 semaines
Paris, Île-de-France amo Temps pleinOverviewWe are a cutting-edge tech company, amo, seeking an experienced Software Engineer for Scalable Systems. Our team is responsible for developing and maintaining high-performance systems that can handle massive traffic, data, and rapid scaling.Estimated SalaryThe estimated salary for this role is between $120,000 to $180,000 per year, depending on...
-
Software Engineer
il y a 4 semaines
Paris, France Datadog Temps pleinDistributed Systems engineers at Datadog design, implement and run in production the foundational platforms powering our applications. Your data pipelines will ingest, store, analyze and query in real-time billions of events per second from companies all over the globe. The platforms are optimized for durability, high availability, low latency,...
-
Junior Power Systems Software Engineer
Il y a 2 mois
Paris, France Artelys Temps pleinJoining Artelys means becoming part of a stimulating environment, made up of passionate experts and giving yourself the opportunity to take part in projects addressing various complex issues dealing with some of the major challenges of our time. - Artelys is in charge of developing, for a consortium of Transmission System Operators (TSOs), a tool for...
-
Software Engineer for Distributed Machine Learning
il y a 3 semaines
Paris, Île-de-France Inria Temps pleinInria, a renowned research institute in France, is seeking a highly skilled Software Engineer to join their MiMove team. This exciting opportunity involves developing a solution for distributed/federated machine learning over IoT data streams as part of the CP4SC project.As a key contributor to the CP4SC project, you will be responsible for designing and...
-
Senior Software Engineer
Il y a 3 mois
Paris, France Datadog Temps pleinDistributed Systems engineers at Datadog design, implement and run in production the foundational platforms powering our applications. Your data pipelines will ingest, store, analyze and query in real-time billions of events per second from companies all over the globe. The platforms are optimized for durability, high availability, low latency,...
-
Senior Embedded Systems Developer
il y a 1 jour
Paris, Île-de-France European Tech Recruit Temps pleinAre you a seasoned software developer with a strong background in the telecoms space looking for a new challenge at a pioneering chip manufacturer?At European Recruitment, we're working closely with a high-growth semiconductor company to find an exceptional individual to join their team and contribute to the design, development, and marketing of integrated...
-
Software Developer for Chip Manufacturer
il y a 4 jours
Paris, Île-de-France European Tech Recruit Temps pleinAbout European Tech Recruit">We are working alongside a cutting-edge semicon company to help them bring on board a software developer to design, develop, and market integrated circuits and modules for 4G and 5G cellular IoT devices.Key Responsibilities:Develop and maintain drivers and test applications for ASIC baseband hardware blocks in collaboration with...
-
High-Performance Embedded Software Developer
il y a 3 semaines
Paris, Île-de-France AdaCore Temps pleinAt AdaCore, everything revolves around empowering developers to build software that is safe, secure, and reliable. We achieve this by providing cutting-edge tools and services through a subscription-based model.We are adapting our proven technologies to meet the growing demand for secure applications in industries such as automotive, medical, energy, and...
-
Software Engineer
Il y a 7 mois
Paris 9e, France AdaCore Temps plein**Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software.** Our 150 global experts based in the US, France, Germany, the UK, and Estonia, collectively develop cutting-edge technologies to address the challenges of high-grade software development. Joining AdaCore is about joining a culture of innovation,...
-
Senior Software Engineer for High-Integrity Systems
il y a 1 jour
Paris 01 Louvre, Île-de-France AdaCore Temps pleinAt AdaCore, we are committed to helping developers create safe, secure, and reliable software. Our approach is centered around simplifying high-integrity software development through a subscription-based model.We cater to industries like automotive, medical, energy, and IoT, where the demand for secure applications continues to grow. Our team of 150 global...
-
Embedded Software Designer for Cellular IoT Devices
il y a 1 jour
Paris, Île-de-France European Tech Recruit Temps pleinCompany OverviewEuropean Tech Recruit is partnering with a leading-edge semiconductor company to find a skilled Embedded Software Designer.Job DescriptionWe are seeking an experienced Embedded Software Designer to join our client's team. As a key member of the software development team, you will be responsible for designing and developing embedded software...
-
Embedded Software Engineer
Il y a 4 mois
Paris, France SCALINX Temps plein**Contract type** - Permanent**Starting Date** - Immediately**Location** - Paris FRANCE**Offer date** - 11/09/2024**Offer Ref.** - scx_real_time_emb_sw_2024_04 **Job function **Building on its first successes and customer commitments, SCALINX expands its activity and strengthens its Software team to leverage a dynamic start-up environment. SCALINX’s team...
Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software
Il y a 6 mois
Contexte et atouts du poste
Scientific context: 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...) in the context of the RIOT-rs project.
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
Complementary information: Every year Inria International Relations Department proposes a few postdoctoral positions in order to support Inria international collaborations. The postdoctoral fellow will be recruited by one of the Inria Centres in France (Saclay in our case) but time will shared between France and the partner’s country (Berlin, Germany in our case). Please note that the postdoctoral fellow has to start his/her contract located in France and that the visits abroad have to respect Inria rules for missions.
Candidates for postdoctoral positions are recruited after the end of their Ph.D. or after a first post-doctoral period: for the candidates who obtained their PhD in the Northern hemisphere, the date of the Ph.D. defense must be later than September 1, 2022; in the Southern hemisphere, later than April 1, 2022. The postdoctoral position must take place in a scientific environment that is different from the one of the Ph.D. (and, if applicable, from the position held since the Ph.D.). A particular emphasis is thus put on French or international candidates who obtained their doctorate abroad.
Deadline to apply: June 2nd 2024
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
