Quelles sont les missions ?

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, et la défense aérienne.

Le site de Massy est leader dans les systèmes de commandement et de contrôle des opérations aériennes et les systèmes radars de défense aérienne.

Au sein d'un projet de dimension internationale, et d'une équipe de trois personnes réalisant l'automatisation des tests des interfaces utilisateurs de ce système, vous intervenez sur l'évaluation de méthodes pour la mise en oeuvre d'assistant de preuves dans le cadre de cette automatisation.

À partir d'étapes de tests qui ont été automatisées à l'aide d'un langage impératif, il s'agit d'évaluer des méthodes basées sur des assistants de preuves pour prouver/évaluer la complétude de l'implémentation de tests automatisés.

En nous rejoignant, vos missions comporteront :

L'analyse de tests et de la complétude des éléments d'information systèmes disponibles pour la mise en oeuvre des méthodes de preuves de programme
-L'analyse de l'adéquation des méthodes de preuves (why/logique de Hoare/Extraction de programmes) de programmes liés à l'automatisation de tests
Un Choix/ une justification d'un exemple de test automatisé pour la mise en oeuvre de la méthode why
La mise en oeuvre de la méthode why
La rédaction d'un rapport d'évaluation
En fonction des résultats de l'évaluation, le déploiement de la méthode pourrait être appliqué à plus grande échelle, sur l'ensemble des tests automatisés, voire sur d'autres systèmes.

Innovation, passion, ambition : rejoignez Thales et créez le monde de demain, dès aujourd'hui.

Lire la suite

Quel est le profil idéal ?

Vous êtes de formation supérieure et vous recherchez une alternance de 1 à 2 ans ?
L'environnement informatique vous passionne ?
Vous possédez un bon esprit d'analyse et de synthèse ?
Vous aimez prendre des initiatives et êtes force de proposition ?
Dynamique et autonome, on vous reconnaît un bon relationnel et des capacités d'adaptation ?
Vous avez de bonnes compétences en langage de preuve ?
Vous connaissez UML et XML ?
Vous êtes intéressé(e) par les calculs de construction inductive ?
Vous connaissez les langages Coq, Isabelle, HOL ?
Vous maîtrisez l'extraction de programme ?

Pourquoi les rejoindre ?

Offre d'alternance
Ingénieur langage de preuve h/f THALES
THALES
Apprentissage/Alternance 24 mois
Voir les 509 offres de THALES

Ceux qui font avancer le monde s'appuient sur Thales
Dans un monde en constante mutation, à la fois imprévisible et riche d'opportunités, nous sommes aux côtés de ceux qui ont de grandes ambitions : rendre le monde meilleur et plus sûr.

Riches de la diversité de leurs expertises, de leurs talents, de leurs cultures, nos équipes d'architectes conçoivent un éventail unique de solutions technologiques d'exception, qui rendent demain possible dès aujourd'hui.

Du fond des océans aux profondeurs du cosmos ou du cyberespace, nous aidons nos clients à maîtriser des environnements toujours plus complexes pour prendre des décisions rapides, efficaces, à chaque moment décisif, quel que soit l'enjeu.

Partout où des décisions critiques doivent être prises, Thales est présent.

Nous servons cinq grands secteurs essentiels pour le développement de nos sociétés : Aéronautique, Espace, Transport terrestre, Sécurité et Défense.

 
Dépôt CV
Montrez vos talents, 15 000 recruteurs vous attendent

Je dépose mon CV dans la CV-thèque

Doc, Docx, rtf, pdf (3 Mo. max)

D'autres offres vous attendent sur Cadremploi
Continuez sur votre lancée ! Découvrez d'autres offres similaires à celle-ci
OU
Continuer ma recherche
Soyez le premier prévenu !

Recevez les offres similaires à cette annonce

En créant votre alerte, vous acceptez les conditions d'utilisation

Alerte active Vous recevrez par email les offres correspondant à la recherche

Gérer mes alertes