Stage : Machine learning et traduction formelle h/f

En 2050, 70% de la population habitera en ville. L’efficacité et la sécurité du trafic ferroviaire sont des enjeux majeurs. Ensemble, concevons dès à présent les transports intelligents au service des générations futures. #SIEMENSMOBILITY

Votre feuille de route

Dans le cadre de ce stage, nous nous intéressons à une solution basée sur le traitement automatique de la langue naturelle (Natural Language Processing (NLP) en anglais) et les langages formels. La communauté NLP développe depuis des années des activités comme : les questions/réponses, la reconnaissance des conséquences sémantiques, la recherche de contradiction, … Elle a particulièrement proposé des bases de données et des modèles pré-entrainés qui sont utilisés pour entrainer et tester des modèles. Le passage du langage naturel à un langage formel est un sujet que nous souhaitons aussi explorer via le traitement automatique de la langue naturelle (NLP). Le passage dans un langage formel devrait permettre de disposer d’outils de vérification des documents et dans le cas idéal d’aller vers des spécifications formelles des documents étudiés.

Les objectifs du stagiaire sont les suivants :

• Réaliser un modèle qui compare sémantiquement des exigences écrites en langage naturel avec des exigences ayant un degré de formalisation plus avancé. Elles peuvent être formelles par exemple exprimées dans le langage de STIMULUS – CATIA. Les exigences ont un degré de formalisation plus avancé au fur et à mesure de leur raffinement.
• Réaliser un modèle qui génère des exigences formelles à partir d’exigences rédigées en langage naturel.

Vos atouts

• En formation pour un Bac + 5
• Vous recherchez un stage de 6 mois
• votre diplôme est orienté Machine learning ou méthodes formelles
• Vous programmez en Python, OCaml, ou C++

Pourquoi embarquer avec nous

C’est pour vous l’occasion d’avoir un rôle clé au sein de la division Mobility de Siemens, rejoindre un projet d’envergure et s’engager aux côtés d’une entreprise innovante. Nous vous proposons un environnement de travail convivial avec une équipe passionnée et audacieuse qui intervient aussi bien techniquement qu’en maîtrise d’œuvre.

Vous vous reconnaissez ? Alors postulez !

Source ⇲