Stage - Machine learning et traduction formelle h/f

Key Skills

C Programming, C++, Machine learning techniques, Natural Language Processing (NLP), OCaml, Python Programming

Job Description

In 2050, 70% of the population will live in cities. The efficiency and safety of rail traffic are major challenges. Together, let's design intelligent transport now to serve future generations.

Your roadmap As part of this internship, we are interested in a solution based on natural language processing (NLP) and formal languages.

The NLP community has been developing for years activities such as: questions/answers, recognition of semantic consequences, search for contradictions, etc. It has particularly proposed databases and pre-trained models which are used to train and test models.

The transition from natural language to formal language is a subject that we also wish to explore via natural language processing (NLP).

The transition to a formal language should make it possible to have tools for verifying documents and, in the ideal case, to move towards formal specifications of the documents studied. The intern's objectives are as follows: Create a model that semantically compares requirements written in natural language with requirements having a more advanced degree of formalization.

They can be formal, for example expressed in the language of STIMULUS - CATIA.

Requirements have a more advanced degree of formalization as they are refined. Create a model that generates formal requirements from requirements written in natural language.

Your assets In training for a Bac + 5 You are looking for a 6 month internship your degree is machine learning or formal methods oriented You program in Python, OCaml, or C++ Why ship with us

This is your opportunity to play a key role within the Mobility division of Siemens, join a major project and get involved alongside an innovative company. We offer you a friendly working environment with a passionate and daring team which intervenes both technically and in project management.