Assistant/Associate Professor in Formal Methods in Hard- and Software - Permanent contract

Télécom Paris, an international multidisciplinary center for education, research, and innovation, is a leader in the digital world.

We are looking for a teacher-researcher in formal methods in the field of hardware and software. You will join the ACES team within the INFRES department.

Scientific context :

A job vacancy under the title “Formal Methods at the crossroads of Hardware and Software” is open within the ACES (Autonomous, Critical, Embedded Systems) team of Télécom Paris. The team’s activities are related to digital trust, that is cyber-security, critical embedded real-time systems,  software and systems engineering, distributed systems, as well as autonomic systems. The new position aims at strengthening the team’s expertise in hardware/software systems, where the interplay between hardware elements and software code is essential in order to ensure the correct operation of a larger system. We illustrate the ACES team’s interest in this topic through three applications that are not exhaustive. These systems play a role in recent work of the team on cyber-security, where side-channels and information leakage have been investigated by ACES members on the hardware, the operating system, and the compiler level. Other team members, have studied such hardware/software systems in order to improve the predictability and analyzability of critical real-time systems, which can be found in avionics, trains, cars, and many other applications. Yet others in the team have investigated the interplay between hardware and software in energy-constrained systems, such as tablets in rescue missions or IoT infrastructure, where energy consumption needs to be minimized.

More generally, as illustrated by the team's past activities, the studied systems, aside from their functional properties which ensure that the system performs the right computations, frequently also have to take non-functional properties into account. The open position aims at this problem domain, with a particular emphasize on formal methods (in a broad sense) in order to increase trust that the resulting system satisfies the desired (non-)functional properties.

Your main tasks will be to:

• Participate in the design and implementation of teaching programs in your scientific field

• Conduct research in your scientific field

• Participate in the development of partnerships, collaborations and contractual relationships in your scientific field

To succeed in this role, you have a PhD and are fluent in English, with in-depth theoretical or applied knowledge at the crossroads of hardware and software or related to embedded systems, software engineering, and cybersecurity. Postdoctoral or international experience in a university or industrial laboratory is appreciated.

Specific requirements can be found in the full description job.

Why join Télécom Paris?

• Scientific excellence: Renowned laboratories (LTCI, i3, CREST), cutting-edge equipment, and international recognition.

• Multidisciplinarity: Working at the intersection of all areas of digital technology.

• Industrial and academic partnerships: Industrial chairs, integration into Paris-Saclay (Europe's leading innovation hub) and the Institut Polytechnique de Paris.

• Personalized support: Integration program, dedicated training, exchange seminars, and paid study trips.

• Benefits: 1 to 3 days of remote working and nomadic working possible, 49 days of paid leave/RTT, mutual insurance & provident fund, etc.

To apply, please send your file before February 27th, 2026:

• Detailed curriculum vitae (max 2 pages)

• Covering letter

• Activity report (table of activities) on research (supervision, problems, etc.), eaching (title, volume, etc.) and collective tasks (max 4 pages)

• Teaching description (summary of activities, a brief plan for integration into teaching at university and continuing education) (max 4 pages)

• Research description (summary and results of activities, a brief plan for integration into research) (max 4 pages)

• Copy of the 3 best publications, list of publications

• Names and contact details of 2 qualified references

The selection process takes place in 4 steps:

• Exchange with the host team to establish a list of shortlisted candidate

• Preliminary interview with Human Resources

• Hearing by the recruitment committee and ranking of the selected candidates

• Final interview with the Director of Télécom Paris

Additional information:

Localisation: Palaiseau (20km from Paris)
Type of contract: Permanent
Contact:  Florian Brandner florian.brandner@telecom-paris.fr
Full job description here

Our recruitment is based on skills, without distinction of origin, age, gender identity, or sexual orientation, and all our positions are open to individuals with disabilities.