Stage - Ingénieur-e logiciel - Spécification et vérification formelles d'algorithmes en TLA+ F/H

il y a 1 mois


Massy, France Safran Electronics & Defense Temps plein

Job Description

La spécification et la mise au point de systèmes concurrents est un problème réputé particulièrement ardu, et occasionne des bugs « dormants » difficiles à débusquer par des campagnes de test traditionnelles. Le langage de spécification TLA+ propose un formalisme mathématique fondé sur une logique modale, permettant de décrire de façon non ambigüe les évolutions possibles et les propriétés souhaitées d'un système, logiciel ou matériel. Associé à un model checker (TLC), il constitue un outil remarquablement efficace pour la mise au point et le déverminage de systèmes concurrents, avant même le prototypage.
L'objectif de ce stage, après s'être familiarisé avec TLA+ et les outils associés (TLC, PlusCal), sera de modéliser différents algorithmes de synchronisation utilisés pour implémenter le micro-noyau temps-réel d'ASTERIOS, dans le but d'en proposer une vérification formelle : communication inter-processus, synchronisations inter-coeurs, ordonnancement. Selon l'avancement, l'utilisation d'un assistant de preuve (TLAPS) pourra être envisagé pour élaborer des preuves formelles de propriétés de sûreté.

Complementary Description

Asterios Technologies est un fournisseur de solutions logicielles complètes pour le développement de systèmes temps-réel critiques complexes, qui développe et commercialise une solution innovante, à la pointe de la technologie, offrant :
- Des méthodes et outils de conception pour la mise au point des applications temps-réel critiques à forte contrainte de sûreté de fonctionnement ;
- Une plateforme d'exécution temps-réel incluant un micro-noyau sur cible matérielle multi-cœurs.

Basée à Massy (91), Asterios Technologies est présent principalement dans les secteurs de l'aérospatial, la défense, et l'automobile ; et cherche également à s'étendre dans les secteurs ferroviaire, nucléaire et médical.

Créée en 2011, et filiale à 100% de Safran Electronics & Defense depuis juin 2023, Asterios Technologies est une entreprise à taille humaine, évoluant dans un environnement de type start-up avec une agilité qui lui est propre, tout en bénéficiant du rayonnement de Safran.

Dans ce contexte, Asterios Technologies offre la possibilité de s'épanouir au sein d'une équipe R&D autonome et créative, où les méthodes de travail y sont basées sur la collaboration inter-équipes, et où l'ambiance de travail y est dynamique et sympathique. Asterios Technologies offre également des perspectives d'évolutions professionnelles.

Job Requirements

En fin de cursus Bac+5, spécialisé-e en informatique, vous êtes intéressé-e par la sûreté de fonctionnement, et les applications des méthodes formelles pour la vérification de programmes. Plus généralement, vous avez un intérêt pour les fondements théoriques de l'informatique, et la formalisation mathématique de problèmes algorithmiques.

Compétences demandées :
• Sens de la communication,
• Rigueur,
• Travail d'équipe.

Specificity of the job

La compréhension de l'anglais technique est requise pour ce stage.



  • Massy, France Safran Electronics & Defense Temps plein

    Job Description Au sein de la Direction Electronique de Massy, vous êtes responsable de la du développement de FPGAs complexes embarqués sur des calculateurs aéronautiques. Vos activités pourront couvrir l'ensemble du cycle en V : devis, définition des exigences, définition de l'architecture, codage, intégration sur carte, validation,...


  • Massy, France THALES Temps plein

    QUI SOMMES-NOUS ?L'activité Systèmes terrestres et aériens conçoit des systèmes, des équipements, des capteurs et des services pour le contrôle du trafic aérien civil et militaire, la défense aérienne ainsi que le combat naval et terrestre.Le site de Massy est leader dans les systèmes de commandement et de contrôle des opérations aériennes et...


  • Massy, France Akkodis Temps plein

    La ligne de service Consulting & Solutions d’Akkodis France renforce ses équipes et recrute un Ingénieur(e) développement en traitement d’image H/F en CDI dans le secteur de l’aéronautique à Massy. Nous recherchons un Ingénieur(e) Développement en Traitement d’Image spécialisé dans l’aérospatial et la défense. Le candidat idéal...


  • Massy, Palaiseau, France Akkodis Temps plein

    La ligne de service Consulting & Solutions d’Akkodis France renforce ses équipes et recrute un Ingénieur(e) développement en traitement d’image H/F en CDI dans le secteur de l’aéronautique à Massy. Nous recherchons un Ingénieur(e) Développement en Traitement d’Image spécialisé dans l’aérospatial et la défense. Le candidat idéal...


  • Massy, France SAFRAN Temps plein

    Quelles sont les missions ?Vos activités pourront couvrir l'ensemble du cycle en V : devis, définition des exigences, définition de l'architecture, codage, intégration sur carte, validation, vérifications virtuelle et physique. En relation directe avec l'équipe projet (ingénieur produit, responsable de lot, concepteurs carte, concepteurs SW), vous...


  • Massy, Île-de-France SAFRAN Temps plein

    Quelles sont les missions ?Vos activités pourront couvrir l'ensemble du cycle en V : devis, définition des exigences, définition de l'architecture, codage, intégration sur carte, validation, vérifications virtuelle et physique. En relation directe avec l'équipe projet (ingénieur produit, responsable de lot, concepteurs carte, concepteurs SW), vous...


  • Massy, France Safran Electronics & Defense Temps plein

    Job Description Au sein de la Direction Electronique de Massy, vous êtes responsable de la vérification DO254 DAL A de FPGAs complexes embarqués sur des calculateurs aéronautiques. Vos activités couvrent le cycle de vérification des FPGA, la définition et conception des banc de tests ainsi que l'amélioration des méthodologies de...


  • Massy, France SAFRAN Temps plein

    Poste : Vos activités pourront couvrir l'ensemble du cycle en V : devis, définition des exigences, définition de l'architecture, codage, intégration sur carte, validation, vérifications virtuelle et physique. En relation directe avec l'équipe projet (ingénieur produit, responsable de lot, concepteurs carte, concepteurs SW),...


  • Massy, France Codra Temps plein

    Contexte Panorama est une suite logicielle en constante évolution. Pour maintenir un haut niveau de qualité et répondre aux attentes de nos clients ainsi qu’aux évolutions techniques, nous renforçons régulièrement nos équipes. Nous sommes donc à la recherche d’ingénieurs en développement logiciel intéressés par l’informatique à...


  • Massy, France Safran Electronics & Defense Temps plein

    Job Description La mission prend place au sein du Centre d'Excellence Calculateurs Avioniques. Dans le cadre de la croissance liée à la ligne de produits Calculateurs, vous rejoindrez le Pôle Développement Calculateurs. En tant que Responsable Intégration/Vérification au sein d'un projet, vous serez en charge de piloter et de réaliser les...


  • Massy, Île-de-France EASY PARTNER Temps plein

    Notre entreprise, leader dans le secteur de la technologie de mesure pour l'industrie du semi-conducteur, recherche un Ingénieur Architecte et Développement Logiciel C++ pour rejoindre notre bureau proche de Palaiseau. Au sein de notre département de développement logiciel, vous intégrerez une équipe dynamique chargée de la migration de notre...


  • Massy, France Médiane Système Temps plein

    Et si vous embarquiez vers les nouvelles technologies ?Filiale du groupe industriel ICE, Médiane Système, est une société d'ingénierie innovante spécialisée en électronique, systèmes embarqués et informatique industrielle. Médiane Système a construit son identité sur une expertise technique de haut niveau en proposant à ses clients, des...

  • Ingénieur Logiciel F/H

    il y a 1 mois


    Massy, France THALES Temps plein

    QUI SOMMES-NOUS ?L'activité Systèmes terrestres et aériens conçoit des systèmes, des équipements, des capteurs et des services pour le contrôle du trafic aérien civil et militaire, la défense aérienne ainsi que le combat naval et terrestre.Le site de Massy est leader dans les systèmes de commandement et de contrôle des opérations aériennes et...


  • Massy, France Safran Electronics & Defense Temps plein

    Job Description Au sein du Design Certification Group (DCG) l'ingénieur-e Certification Développement assure trois missions complémentaires : Il-elle assure la fonction de CVE (Compliance Verification Engineer) auprès des différents bureaux de navigabilité du Groupe SAFRAN (SED, SAE, SHE), sur les métiers Logiciel, Matériel Electronique et...


  • Massy, France THALES Temps plein

    QUI SOMMES-NOUS ?L'activité Systèmes terrestres et aériens conçoit des systèmes, des équipements, des capteurs et des services pour le contrôle du trafic aérien civil et militaire, la défense aérienne ainsi que le combat naval et terrestre.Le site de Massy est leader dans les systèmes de commandement et de contrôle des opérations aériennes et...


  • Massy, France Safran Electronics & Defense Temps plein

    Job Description Au sein du Centre de Support Technique Optronique, vous participez au développement de la nouvelle politique de maintenance des système optroniques marine basé sur la gestion des données. Vos principales missions : - Monter en compétence technique sur les produits optroniques, - Identifier les éléments soumis à usure et les...


  • Massy, France THALES Temps plein

    QUI SOMMES-NOUS ?L'activité Systèmes terrestres et aériens conçoit des systèmes, des équipements, des capteurs et des services pour le contrôle du trafic aérien civil et militaire, la défense aérienne ainsi que le combat naval et terrestre.Le site de Massy est leader dans les systèmes de commandement et de contrôle des opérations aériennes et...


  • Massy, France Codra Temps plein

    Contexte du stage Notre solution Panorama est un outil reconnu sur le marché de la supervision pour sa qualité; elle est distribuée à plus de 60.000 licences dans le monde. Pour maintenir notre solution à un haut niveau de performance et de qualité, le produit évolue régulièrement et les sujets sont nombreux qu’il s’agisse de faire...


  • Massy, France Médiane Système Temps plein

    Et si vous embarquiez vers les nouvelles technologies ? Filiale du groupe industriel ICE, Médiane Système, est une société d'ingénierie innovante spécialisée en électronique, systèmes embarqués et informatique industrielle. Médiane Système a construit son identité sur une expertise technique de haut niveau en proposant à ses clients, des...


  • Massy, France THALES Temps plein

    QUI SOMMES-NOUS ?L'activité Systèmes terrestres et aériens conçoit des systèmes, des équipements, des capteurs et des services pour le contrôle du trafic aérien civil et militaire, la défense aérienne ainsi que le combat naval et terrestre.Le site de Massy est leader dans les systèmes de commandement et de contrôle des opérations aériennes et...