Internship on weighted automata - 6 months

ABOUT TELECOM SUDPARIS

Telecom SudParis is a public graduate school for engineering, which has been recognized on the highest level in the domain of digital technology. The quality of its courses is founded on the scientific excellence of its faculty and on teaching techniques that emphasize project management, innovation and intercultural understanding. Telecom SudParis is part of the Institut Mines-Telecom, the number one group of engineering schools in France, under the supervision of the Minister for Industry. Telecom SudParis with Ecole Polytechnique, ENSTA Paris, ENSAE Paris and Telecom Paris are co-founders of the Institut Polytechnique de Paris, an institute of Science and Technology with an international vocation.

Its assets include: a personalized course, varied opportunities, the no.3 incubator in France, an ICT research center, an international campus shared with Institut Mines-Telecom Business School and over 60 student societies and clubs. https://www.telecom-sudparis.eu/

MISSIONS:

Automata theory is a corner stone of many approaches for formal verification and computer science in general. There exists a vast number of sub-categories of automata, in the context of this internship however we are particularly interested in weighted ω-automata with bounds. That is automata that work on infinite words with weighted transitions. Moreover, only a certain amount of the weight, which is often interpreted as energy, can be stored during the execution. This increases the expressivity of the model which, however, comes at the price of a more involved verification step. The goal of this internship is to improve our prototype implementation and to continue expanding the theory and extend the formalism.

For a more detailed description please see https://philippschlehubercaissier.github.io/files/stage_wwa.pdf

ACTIVITIES :

• Acquire state of the art knowledge about weighted automata
• Improve prototype tool, develop new algorithms
• Expand the theory to multivalued weights

Level of training and/or experience required:

• Currently enrolled in an M2 computer science (or equivalent)

Essential skills, knowledge and experience:

• Foundations of automata theory and regular languages
• C++ and / or Python

Advantageous skills, knowledge and experience:

• Experience in tool development (git, CI)

Abilities and skills:

• A good level in written English
• Independent

APPLICATION PROCEDURE

• Application deadline: January, 9th 2025
• Nature of the contract: Internship 6-months
  
• Location of the position : Evry-Courcouronnes (France)
  
• The positions offered for recruitment are open to all with, on request, accommodations for candidates with disabilities
• Working conditions: restaurant and cafeteria on site, accessibility by public transport (with employer's participation) or close to main roads, staff association and sports association on campus