Description de la société
QUI SOMMES-NOUS ? Thales est un leader mondial des hautes technologies pour les marchés de l'Aérospatial, du Transport, de la Défense et de la Sécurité. Fort de 65 000 collaborateurs dans 56 pays, Thales a réalisé en 2017 un chiffre d'affaires de 15,8 milliards d'euros. Avec plus de 25 000 ingénieurs et chercheurs, Thales offre une capacité unique pour créer et déployer des équipements, des systèmes et des services pour répondre aux besoins de sécurité les plus complexes. Son implantation internationale exceptionnelle lui permet d'agir au plus près de ses clients partout dans le monde.
Description du poste

Description du poste :

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :En nous rejoignant, vous vous verrez confier les missions suivantes :

  • Assurer une expertise scientifique et technique en méthodes formelles (model-checking, theorem proving, interpretation abstraite, model-based-testing)
  • Connaitre & analyser l'état de l'art, de l'écosystème académique et industriel
  • Proposer et développer des solutions innovantes en vue de transferts vers les unités : technologies, cas d'étude, projets coopératifs, synthèses
  • Promouvoir (en interne et en externe) et protéger ces solutions
  • Etre support et expert auprès des entités opérationnelles du Groupe
  • Renforcer la visibilité de Thales et notamment de LSEC auprès de la communauté académique des méthodes formelles
  • Participer aux activités menées dans le cadre du laboratoire commun TRT/CEA dédié aux méthodes formelles

La perspective de rejoindre un Groupe innovant vous motive ? Alors rejoignez-nous en postulant à cette offre.

Profil recherché :

QUI ETES-VOUS ? Vous êtes issu(e) d'une formation doctorale dans le domaine de l'informatique et vous disposez d'une solide expérience dans le domaine des méthodes formelles.Vous détenez des compétences reconnues en preuve formelle (Model-checking, Theorem Proving, interprétation abstraite) et en Model-based Testing.Des compétences en Matlab, Simulink, en modélisation d'ingénierie des modèles et des connaissances dans les référentiels normatifs (EN50128, DO178C, Critères Communs) seront des atouts pour ce poste.Vous maîtrisez l'anglais.

Vous êtes rigoureux(se), polyvalent et autonome. Vous avez la capacité à communiquer efficacement et à travailler en équipe.

Plus d'offres dans cette catégorie
jobtic.fr

Ingénieur(e) Etude et Développement Java JEE Expérimenté(e) (H/F)

Description du poste :CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :Intégré(e) au sein d'une squad de 8 personnes au sein du centre de Service de Nantes, vous participerez à un projet de pilotage de missions de guerre électronique en Java/Angular dont l'architecture est ...

Lire la suite
jobtic.fr

Stage - Ingénieur étude et développement JAVA Cobol - H/F

Sopra Steria, fort de près de 42 000 collaborateurs dans plus de 20 pays, propose l'un des portefeuilles d'offres les plus complets du marché : conseil, intégration de systèmes, édition de solutions métier, infrastructure management et business process ...

Lire la suite
jobtic.fr

Ingénieur Support ingénierie TCIS

Description du poste :CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE : Au sein du Groupe Thales, la direction de l'ingénierie a pour mission de fournir aux unités du groupe des moyens de production pour leurs activités d'ingénierie, en termes de processus, méthodologie ...

Lire la suite
jobtic.fr

Responsable Architecte Logiciel H/F

Description du poste :Profil recherché :QUI SOMMES-NOUS ?L'activité avionique rassemble 10 000 collaborateurs qui œuvrent à fournir des équipements et des systèmes de pointe pour toute la chaîne de l'aéronautique civile et militaire.Le site de ...

Lire la suite
jobtic.fr

un.e Analyste Programmeur C# / ASP.NET H/F

Notre client, est spécialisé dans la conception est spécialisé dans la conception et la fabrication de pièces et de sous ensemble composites dans les secteurs de l'aéronautique (95 % de l'activité), des sports et loisirs et de l'industrie. La ...

Lire la suite