QUI SOMMES-NOUS ?

Situé sur le campus de l’École polytechnique, au cœur du pôle scientifique et technologique d’envergure mondiale de Paris-Saclay, le site de Palaiseau regroupe les activités de Thales Research & Technology (TRT), le centre de recherche du Groupe, et de ThereSIS (THALES European REsearch center for Security & Information Systems) au service des activités mondiales du Groupe. Grâce à une politique de partenariat proactive avec le monde académique et un réseau international d’entreprises innovantes, nos équipes de recherche de TRT développent des technologies de rupture et celles de ThereSIS sont dédiées à la sécurisation des systèmes d’information, à l’ingénierie des systèmes complexes et aux technologies innovantes de la transformation numérique afin d’obtenir rapidement des résultats répondant à des demandes opérationnelles concrètes.

Le laboratoire système embarqué critique à travers le thème  « Méthodes Formelles » assure des travaux de R&T en sûreté de fonctionnement & en cyber-securité au sein du groupe Thales.

Dans ce cadre nous recherchons un :

Ingénieur Méthodes formelles (H/F)

pour travailler dans le domaine « Safe & Secure »
Basé à Palaiseau (91)

QUI ETES-VOUS ?

• De formation Ingénieur ou formation équivalente, vous avez un doctorat en informatique, préférablement dans le domaine des méthodes formelles appliquées, ou potentiellement dans le domaine du génie logiciel, architecture matérielle ou IA, avec un intérêt confirmé pour au moins deux de ces domaines ?

• Renforcer l’adoption des méthodes formelles pour un public non familier et les aider à formaliser leur problématique sous forme de propriétés de sécurité et/ou de sûreté, vous motive ?

• Vos expériences vous ont permis d’acquérir les compétences suivantes :

  • Vous connaissez les langages de description de haut-niveau type SystemVerilog ou VHDL

  • Vous avez une connaissance du fonctionnement des processeurs RISC-V

  • Vous avez une expérience dans l’application des méthodes formelles à l’Intelligence Artificielle

  • Une expérience dans le domaine de la safety ou cyber-security, par exemple dans un des domaines suivant : cyber-sécurité, ferroviaire, avionique, optronique, communication, électromagnétique est un plus.

• On dit de vous que vous avez un grand sens de l’écoute et de la communication ce qui vous permet de cerner les besoins de vos interlocuteurs ?

• Enfin vous êtes à l’aise en anglais (niveau C1 minimum attendu) ?

Vous avez envie d’aborder des problématiques métiers variées, et de développer un champ de compétences qui vous est propre ? Alors n’attendez plus et découvrez vos futures missions !
<b
Le profil recherché (compétences et l’expérience requises) est détaillé dans le « Descriptif du poste » ci-dessus
 

Dans un monde en constante mutation, à la fois imprévisible et riche d’opportunités, la confiance est essentielle au développement de nos sociétés. Confiance dans nos institutions. Confiance dans nos infrastructures. Confiance dans la technologie. Confiance les uns envers les autres. Ceux qui font avancer le monde s’appuient sur Thales. Ils sont animés de grandes ambitions : rendre le monde meilleur et plus sûr. Du fond des océans aux profondeurs du cosmos ou du cyberespace, nous aidons nos clients à affronter les défis d’un monde incertain avec confiance et à explorer ces nouvelles frontières avec optimisme. Maîtriser des environnements toujours plus complexes pour prendre des décisions rapides, efficaces, à chaque moment décisif. Nous travaillons en collaboration pour concevoir et fournir des solutions technologiques d’exception, à la fois créatives et résilientes, au service de l’humain et durables. Ensemble, nous cultivons le potentiel extraordinaire de la technologie pour construire un avenir dans lequel chacun puisse avoir confiance.

Référence Apec : 169185966W

Cliquez sur ce lien pour postuler à cette offre d’emploi.

Étiquetté comme : Cadre du secteur privé