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

Assistant/Associate Professor in Formal Methods in Hard- and Software - Permanent contract École 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. 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 emphasis 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 Job requirements 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. Scientific excellence: Renowned laboratories (LTCI, i3, CREST), cutting-edge equipment, and international recognition. Multidisciplinarity: Working at the intersection of all areas of digital technology. 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 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. Job details Title Assistant/Associate Professor in Formal Methods in Hard- and Software - Permanent contract 2026-02-27 23:59 (Europe/Paris) 2026-02-27 23:59 (CET) Télécom Paris is a member of IMT (Institut Mines-Télécom), the leading group of engineering and management schools in France. #J-18808-Ljbffr