Post doctoral researcher in Formal Methods for Security of Communicating Systems

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, ENPC and Telecom Paris are co-founders of the Institut Polytechnique de Paris, an institute of Science and Technology with an international vocation. Vidéo présentation de Télécom SudParis

ABOUT INSTITUT MINES-TELECOM :

The Institut Mines-Télécom (IMT) is a public institution dedicated to higher education and research for innovation in the fields of engineering and digital technology. Always attentive to the needs of the business world, the IMT combines strong academic and scientific legitimacy, close ties with companies and a unique positioning on the major transformations of the 21st century: digital, energy, industrial and educational. Its activities are carried out by the Mines and Télécom Grandes Ecoles under the authority of the Minister for Industry and Electronic Communications, two subsidiaries and associated partners or partners under agreement. ITM is a founding member of the Alliance Industrie du Futur. It has been awarded the Carnot label for the quality of its research partnerships.
Institut Mines-Télécom video presentation

MISSIONS:

Postdoctoral researcher is invited to join the Orange-Télécom SudParis collaborative project, in the area of the Formal Methods for Security (of communicating systems).

The project concerns both fundamental and applied studies in the corresponding domain. Formal verification and model checking, as well as model based security testing are the key strategies to be utilized during the project

ACTIVITIES:

1/ Conducting research in the are of formal methods for security, in collaboration with industrial partner, including

• regular participation in the meetings

• joint work in a research team

• modeling the relevant case studies, w.r.t. security oriented properties and test purposes

• utilizing existing solutions for checking security properties, improving existing solutions, proposing the novel ones

• performing experimental evaluation, analyzing the results

2/ Presentation and publication of the obtained results, in collaboration with Orange, including

• international conferences and journals

• (national) seminars and workshops

• technical reports

• participation in Summer/Winter Schools on the subject

3/  Participation in the students’ supervision

• interns and graduate students, in particular

Level of training and / or experience required:

- PhD less 3 years

Essential skills, knowledge and experience:

- Knowledge of formal methods (existing methodologies and tools for model and software verification and validation, as well as model-based testing) and/or security
- Mastery of tools such as UPPAAL, Spin, etc.
- Knowledge of provers and solvers for security, such as Tamarin, ProVerif, etc.
- Programming skills
- Fluent written and spoken English

Advantageous skills, knowledge and experience:

- Knowledge of French

- Experience of working together on collaborative projects

Abilities and skills:

- Curiosity and autonomy in research
- Good interpersonal skills with people at all levels, ability to listen and cooperate
- Ability to work in a team
- (Scientific) writing and oral communication
- Creativity and critical thinking
- Time management and deadlines

APPLICATION PROCEDURE

• Application deadline: June 1st, 2025
• Nature of the contract: Fixed-term contract of 1 year
• Category and profession of the position: II - P, post doctoral
• To apply, please send us a CV, a cover letter
• Location of the position : Palaiseau (France)
  
• The positions offered for recruitment are open to all with, on request, accommodations for candidates with disabilities
• Working conditions: Teleworking possible, 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
• Contact person: natalia.kushik@telecom-sudparis.eu , philipp.schlehuber-caissier@telecom-sudparis.eu