Spécialiste méthodes formelles (H/F)

Description de l'offre

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.}

À propos de Thales

QUI SOMMES-NOUS ?
Rejoignez Thales, leader mondial des technologies de sûreté et de sécurité 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, le Groupe bénéficie d'une implantation internationale qui lui permet d'agir au plus près de ses clients, partout dans le monde.
Situé sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay, Thales Research & Technology à Palaiseau est le centre de recherche du Groupe.Grâce aux nombreux partenariats avec le monde académique et un réseau international d'entreprises innovantes, nos équipes de recherche développent des technologies de rupture au service des unités opérationnelles du Groupe.Le poste est ouvert au sein du laboratoire des Systèmes Embarqués Critiques (LSEC) de Thales Research & Technology France. Depuis 2014, une des missions du laboratoire consiste à promouvoir au sein du groupe Thales l'utilisation des méthodes formelles. Pour développer l'utilisation de ces techniques, Thales et le CEA se sont associés pour créer en mars 2015, un laboratoire commun appelé FormalLab. Le laboratoire LSEC collabore avec de nombreux laboratoires académiques dans le cadre de projets de R&T collaboratifs, mais aussi avec l'écosystème industriel composé de sociétés de services, de startups et de fournisseurs d'outils.