Skip to content

Intern in the field of formal methods for security (M/F) – 6-months

  • On-site
    • PALAISEAU, Île-de-France, France
  • Informatique et Système d'information

Job description

ABOUT INSTITUT MINES-TELECOM BUSINESS SCHOOL

Business School of the IMT-Institut Mines-Télécom, the leading group of engineering schools in France, Institut Mines-Télécom Business School is a public and socially inclusive school that trains responsible, innovative and open managers and entrepreneurs around the world, to guide companies in the transitions at the heart of tomorrow's society, with strong digital expertise. It shares its campus with the engineering school Télécom SudParis, also a member of IMT. The school has 1,500 students, is listed each year in the ranking of the best French and European business schools, and is accredited by AACSB and AMBA. The school offers training courses ranging from post-Bac (Bachelor) to Executive Education through the Grande Ecole Program delivering a Bac + 5 diploma (Grade Master).

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:

  • The internship project focuses on the security analysis of communication systems, such as protocols and services, using formal methods. More specifically, the intern will join a research team that studies energy games and provers to build and analyse attack trees, in collaboration with an industrial partner.

  • Study widely used solvers such as ProVerif and examine how to assign costs (prices) and/or time limits to the corresponding attack scenarios (trees), in order to then execute specialised algorithms or solvers (SAT/SMT, statistical model checkers, etc.).

ACTIVITIES:

  1.     Conducting research in the area of formal methods for security, including

  •        regular participation in the meetings

  •        joint work in a research team

  •        modeling the attack scenarios in ProVerif (or similar solver), analyzing, processing and improving the output

  •        performing experimental evaluation

  

2.     Presentation and publication of the obtained results, including

  •        Seminars and workshops

  •        Master thesis

Job requirements

Level of training and / or experience required:

  • M1 completed, M2 level ongoing (it is a 6 month final internship)

Essential skills, Knowledge and experience:

  • The project lies in the intersection of two major Computer Science domains, i.e., Formal Methods and Information Security.

  • We therefore are seeking a master student in (Theoretical) Computer Science or (Cyber) Security.

  • Programming skills are required.

  • Fluent English is required (the project meetings are in English).

Advantageous skills, knowledge and experience:

  • Previous research projects or internships can strengthen the application.

  • Knowledge of security-oriented solvers (e.g., ProVerif) and SAT/SMT solvers is a plus.

  • Theoretical background on Horn clauses and Energy games is a plus.

Abilities and skills:

  •        Research and development curiosity and autonomy

  •        Teamwork and collaboration

  •        Creativity


APPLICATION PROCEDURE

  • Application deadline: 4th, January 2026

  • Nature of the contract:

  • Category and profession of the position: II - R, Research and development engineer

  • 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:

    Benjamin BISPING RS2M, benjamin.bisping@telecom-sudparis.eu

    Natalia KUSHIK, RS2M, natalia.kushik@telecom-sudparis.eu 

    Philipp SCHLEHUBER-CAISSIER, RST, philipp.schlehuber-caissier@telecom-sudparis.eu

or