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

Thales

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

  • CDI 
  • Palaiseau
  • Éducation : Non spécifié
  • Expérience : Non spécifié

L'entreprise

Thales

Thales

  • Logiciels, Cybersécurité, Aéronautique / Spatiale
  • > 2000 salariés

Le poste

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

  • CDI 
  • Palaiseau

  • Éducation : Non spécifié
  • Expérience : Non spécifié

Qui sont-ils ?

Chez Thales, nous sommes fiers de travailler ensemble pour imaginer des solutions innovantes qui contribuent à construire un avenir plus sûr, plus vert et plus inclusif. Un avenir de confiance. Mais ces technologies ne viennent pas de nulle part.

L’intelligence humaine est le moteur derrière la technologie qui fait la renommée de Thales.
Chez Thales, tout commence par l’Intelligence Humaine. C’est pourquoi notre ambition est de vous offrir la meilleure « expérience » possible. Nous nous efforçons de mettre en place les conditions de votre développement, de faciliter votre quotidien, votre équilibre vie personnelle - vie professionnelle, et d’étendre vos perspectives. 

Un savoir-faire technologique au service de la société.
Les projets que nous conduisons sont complexes et nos clients exigeants. Pour répondre aux besoins actuels et futurs de nos clients, nous maîtrisons plus d’une centaine de disciplines, de l’optique à la physique quantique, du traitement du signal à la connectivité et à l’intelligence artificielle.
Rejoindre Thales, c’est repousser les limites de la technologie et la mettre au service du progrès et du développement durable de nos sociétés. C’est donc être au cœur d’une formidable aventure technique. 

Une attention portée à l’équilibre des collaborateurs au service de leur réussite.
C’est pourquoi, notamment, nous nous efforçons de créer un environnement de travail accueillant et d’accorder la flexibilité nécessaire à l’équilibre entre vie professionnelle et vie personnelle.
Nous savons que cet équilibre est essentiel à votre épanouissement et à la réussite des projets que nous vous confierons. 

Des parcours professionnels riches.
Chez Thales, nous jouons collectif. Ce qui signifie travailler en équipe, côtoyer des experts et donc apprendre et développer ses compétences en permanence tout en faisant bénéficier le Groupe de son savoir-faire.
C’est aussi la possibilité d’évoluer, de changer de fonction ou d’activité, voire de pays.

Thales
Envie d’en savoir plus sur Thales ?Culture d'entreprise, équipes, stack technique, offres d'emplois... C’est parti pour l’immersion !
Visiter le profil

Descriptif du poste

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, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activités mondiales de Thales. Grâce à une politique de partenariat proactive avec le monde académique et un réseau international d’entreprises innovantes, le rôle des équipes de Thales Research & Technology est de proposer aux différentes entités opérationnelles du groupe Thales des innovations de rupture qui seront aussi des différenciateurs techniques ; de maintenir et d’accroître l’avance technologique de ces solutions mais aussi d’en assurer la compétitivité. Les activités de TRT France se situent aussi bien dans le domaine Hardware (Electronique, Optronique, Radiofréquences, semi-conducteurs, science des matériaux etc.), qu’en Algorithmie et Software (Intelligence Artificielle, Big Data, Cybersécurité, Aide à la décision, Optimisation etc.) et en Systèmes (conception architecturale, processus et outils). Thales Research & Technology rassemble plus de 250 ingénieurs de recherche, une 30aine de doctorants ainsi que chaque année, plus d’une soixantaine de stagiaires et de nombreux coopérants. Rejoignez l’aventure !

Le laboratoire Systèmes Embarqués Critiques mène des activités de R&D dans le domaine des Méthodes Formelles et les applique pour assurer la sûreté et la cyber-sécurité des solutions Thales.

Dans ce cadre nous recherchons un :

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

Basé à Palaiseau (91)

QUI ETES-VOUS ?

  • Vous êtes docteur ou ingénieur en informatique, dans le domaine des méthodes formelles appliquées, ou plus généralement dans un des domaines suivants : génie logiciel, architecture matérielle ou intelligence artificielle (IA) ?

  • Faire adopter les méthodes formelles par un public non familier vous motive ?

  • Vous avez une expérience dans un des domaines suivants :

    • Langages de description de haut-niveau type SystemVerilog ou VHDL,

    • Fonctionnement des processeurs RISC-V,

    • Analyse ou preuve de programme, model-checking, exécution symbolique, précision numérique,

    • Application des méthodes formelles à l’Intelligence Artificielle,

    • Systèmes critiques (cyber-sécurité, avionique, communication,…) ?

  • Vous avez la capacité d’appréhender une nouvelle problématique et de monter en compétences sur de nouveaux sujets ?

  • Enfin vous êtes à l’aise en anglais ?

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 !

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :

En nous rejoignant, vous intégrerez le laboratoire Systèmes Embarqués Critiques et prendrez part au développement ou évaluation de technologies innovantes pour la sûreté et la sécurité.

Au sein d’une équipe reconnue par des publications internationales de premier rang et sa capacité à appliquer l’excellence académique aux problématiques industrielles, ce poste vise en priorité à progresser sur la preuve formelle d’architecture matérielle type RISC-V. En parallèle, l'équipe aborde collectivement toute l'étendue des méthodes formelles et d'autres sujets pourront vous être confiés.

Dans ce contexte, vos missions seront les suivantes :

  • Développer l’expertise collective de Thales Research & Technology avec les autres laboratoires par vos publications académiques et vos propositions de brevets.

  • Monter et contribuer à des projets collaboratifs avec des partenaires extérieurs ou des entités du groupe Thales, par exemple, sur les domaines d’application suivants :

    • les satellites,

    • l’avionique,

    • les technologies des cartes à puce et des équipements de sécurité,

    • la cybersécurité des systèmes critiques ;

  • Identifier les technologies les plus pertinentes à travers une veille académique et des évaluations d’outils innovants ;

  • Encadrer des stagiaires et/ou des doctorants.

Promouvoir et appliquer les méthodes formelles de manière pragmatique au sein d’un grand groupe international et communiquer sur les avancées scientifiques et techniques dans le milieu scientifique et industriel vous motive ? Alors n’hésitez plus !

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

Thales
Thales

Cette offre vous tente ?

Postuler
Questions et réponses sur l'offre