Emplois actuels liés à Stage - Conception d'un générateur automatique de drivers en Rust - Place Jeanne Laurent Rennes France - Anssi
-
STAGE – Ingénieur Développement Logiciel pour la Sécurité Informatique
il y a 2 semaines
Rennes, France Thales Temps pleinSTAGE – Ingénieur Développement Logiciel pour la Sécurité Informatique : Conception d’un démonstrateur Moving Target Defense- F/H Join to apply for the STAGE – Ingénieur Développement Logiciel pour la Sécurité Informatique : Conception d’un démonstrateur Moving Target Defense- F/H role at Thales Lieu : Rennes, France Construisons ensemble...
-
Rue Maryse Bastié, Igny, France HGH Systèmes Infrarouges Temps pleinEnvie d'intégrer une entreprise de haute technologie française innovante ?Pionnier dans les technologies infrarouges, HGH Systèmes Infrarouges (plus de 100 personnes) est une référence Internationale de l'optronique pour les secteurs de la sécurité, de la défense, de la recherche et de l'industrie.Capable de concevoir des produits d'un bout à...
-
Développeur Rust H/F
il y a 2 semaines
Rennes, France IT Link Temps pleinPourquoi nous rejoindre ? Chez IT Link, vous ne rejoignez pas seulement une entreprise, vous intégrez une communauté certifiée Great Place to Work. Qu'est-ce que ça signifie pour vous ? Que la qualité de vie au travail et votre épanouissement sont au coeur de notre culture. 80% de nos Linkers sont fiers de déclarer qu'ils travaillent pour IT Link, et...
-
Développeur RUST F/H
il y a 2 semaines
La Canebière, Marseille, France Greenlinks Temps pleinDescription de l'entreprise Notre client, un éditeur de logiciels de pointe spécialisé dans la cybersécurité, recherche un développeur passionné maîtrisant Rust pour rejoindre son équipe. Description du poste Vos principales responsabilités : Développer les évolutions sur les différents services constituant notre produit, en assurant un haut...
-
Rue Serpentines, Courbevoie, France Sopra Real Estate Software Temps pleinDescription de l'entreprise Sopra Real Estate Software est un éditeur leader sur le marché de l'immobilier social et privé, le premier partenaire de plus de 400 grands acteurs de l'immobilier français.Chaque jour 140 millions de m² et 3,5 millions de logement sont gérés à l'aide de nos applications. Nos 700 experts accompagnent nos clients dans leurs...
-
Stage R&d
il y a 5 jours
Rennes, France CAILabs Temps plein**Qui sommes-nous ?** Fondée en 2013, Cailabs conçoit, fabrique et développe des solutions photoniques innovantes pour le spatial, l’industrie, les télécommunications et la défense. Spécialiste mondial de la mise en forme des lasers, l’entreprise a accéléré sa croissance dans le domaine spatial avec des stations-sol optiques clés en main qui...
-
Data Scientist en Stage
il y a 1 semaine
Rennes, France Avanci Temps plein**L'entreprise** Avanci est une agence de data spécialisée en stratégie de fidélisation clients. Filiale de MV Group, nous avons pour ambition d’exploiter au maximum la puissance des données pour offrir aux clients de nos clients, une expérience web personnalisée et inoubliable. Et pour accompagner notre forte croissance, nous sommes à la recherche...
-
Stage - Analytics Engineer : Conception d'un agent IA - F/H/N
il y a 2 semaines
Avenue de l'Opéra, Paris, France OCTO Technology Temps pleinCompany DescriptionOCTOPremier cabinet d'architectes IT fondé en 1998, pionnier du delivery agile et véritable concentrateur de talents. Nous incarnons les nouvelles façons de faire du conseil et du Delivery. Digital Doers & Thinkers est notre marque de fabrique. Nous privilégions aujourd'hui notre positionnement Agile & DeepTech et sommes engagés...
-
MISSION- ANESTHESIE- JURA
il y a 2 semaines
France centre hospitalier de JURA Temps pleinTMS MÉDICAL\?recherche un Médecin Anesthesiste et réanimateur (H/F), avec une inscription à jour à l'ordre des médecins en France.\? Intervention dans un centre hospitalier du département de Jura(39) Les remplacements sont des\?gardes de journée. Medecin inscrit à l'ordre
-
Stage R&d
il y a 2 semaines
Rennes, France CAILabs Temps plein**Qui sommes-nous ?** Fondée en 2013, Cailabs conçoit, fabrique et développe des solutions photoniques innovantes pour le spatial, l’industrie, les télécommunications et la défense. Spécialiste mondial de la mise en forme des lasers, l’entreprise a accéléré sa croissance dans le domaine spatial avec des stations-sol optiques clés en main qui...
Stage - Conception d'un générateur automatique de drivers en Rust
il y a 2 semaines
Au sein de la division « scientifique et technique » de la sous-direction Expertise, le laboratoire « Sécurité du Logiciel » (LSL) est responsable du développement logiciel robuste recouvrant toutes les étapes du cycle de développement.
Description du stage
Rust est un langage conçu pour éviter les erreurs mémoire grâce à son système d'ownership et de borrowing. Chaque donnée à un propriétaire unique, et l'accès à la mémoire est strictement contrôlé pour éviter les pointeurs nuls, les fuites mémoires ou les accès concurrents dangereux. De même, afin de garantir que les références restent valides et sûres, Rust demande d'ajouter des règles de durée de vie (lifetimes).
Ce système rend Rust très sûr, mais aussi contraignant : certaines structures de données ou optimisations sont difficiles à réaliser[1]. De même, lors de programmation bas niveau comme des drivers ou des microcontrôleurs, le code doit interagir avec des registres matériels, des zones de mémoire partagée ou des interruptions matérielles, ce qui n'est pas compatible avec les contraintes Safe de Rust. Pour les cas où ces restrictions sont trop fortes, Unsafe Rust permet de contourner les règles, au prix d'une sécurité qui repose alors sur le développeur.
Objectifs du stage
· Avec l'encadrant, vous allez modéliser un driver sous forme de micro-langage[2],
· coder en Rust le driver et identifier des structures de codes,
· produire un générateur de code capable de produire un driver à partir de la modélisation.
[1] ASTRAUSKAS VYTAYTAS et al. « How do programmers use unsafe rust? », OOPSLA 2020, ACM Digital Library. []
[2] REVELILLERE Laurent et al. « A DSL Approach to Improve Productivity and Safety in Device Drivers Development », Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
