Professor – Cybersecurity, Safety and Programming, Reliability of Systems, Networks or Software

Location: Grenoble, France

Contacts

Expected skills:

Applicants must show a strong interest in teaching as well as a high-level scientific record in accordance with UGA’s ambitions. They must identify with UGA’s values, that is, being open to the world, emphasising ethics and scientific integrity, showing an interest in teamwork and being committed to the community. They should also have a sense of responsibility, in particular with regard to environmental and social issues.

Context and educational objectives:

Educational expectations

• The training programmes of IM2AG Department (teaching and research department in pure and applied mathematics and computer science) cover a wide range of fields from computer science to fundamental mathematics, as well as fields at the crossroads of disciplines (cybersecurity, artificial intelligence, etc.). These training programmes are the responsibility of three teaching schools: Mathematics, Applied Mathematics and Computer Science. The successful candidate will report to the teaching school of Computer Science.
• The Department of Computer Science is responsible for the Bachelor's degree in Computer Science, the Master’s degree in Computer Science and the Master’s degree in MIAGE (computer science for businesses).

The successful candidate:

• Will be teaching Computer Science at Bachelor's and Master's level,
• May be involved in one of the CMA projects (compétences et métiers d’avenir [“competencies and jobs of the future”]) in which IM²AG is involved, for example the project cyberskills@UGA, regarding cybersecurity.
• Will participate in the development of our Computer Science courses,
• Will take on responsibilities within the Department, in particular in the CySec (CyberSecurity) and CSI (CyberSécurité et Informatique légale [cybersecurity and legal computing]) programmes of the Master’s in Computer Science.
• Must be able to teach in both French and English.

Research project and scientific impact:

Scientific profile

Laboratory overview

The successful candidate will conduct their research at the Verimag laboratory. Verimag is a joint research unit Université Grenoble Alpes (UGA), the National Center for Scientific Research (CNRS), and Grenoble Institute of Technology (Grenoble-INP). The research conducted at Verimag focuses on methods for ensuring the safety (against programming errors and accidental failures) and security (against malicious attacks) of computer systems, software, and hardware. In particular, but not exclusively, it focuses on formal or semi-formal methods, which provide mathematical guarantees for the system.

For more scientific insights into the laboratory's activities, see the HAL collection: https://cnrs.hal.science/VERIMAG/browse/last

Profile

The successful candidate will be expected to contribute to the laboratory's research topics in a broad sense. Particular attention will be paid to applications in the field of cybersecurity, as the laboratory is involved in several initiatives in this field.

Possible research topics include (this list is not exhaustive; the laboratory is open to any reasonable proposal):

• Security & safety ensured by the programming language or compiler
• Formally verified compilation
• Secure distributed programming
• Secure and safe runtime systems
• Formal verification of security protocols and cryptographic protocols
• Network security models and analyses
• Software/hardware security
• Protection against software or hardware fault injections
• Protection against side channels
• Privacy protection, confidentiality

As this is a full professorship, the successful candidate is expected to be a driving force in their field and, in the future, to represent the laboratory in national bodies (e.g., GdR sécurité or others) and in the relevant public authorities (e.g., ANSSI).

Information for candidates :

• Université Grenoble Alpes recruits on the basis of skills and makes use of all talents. It encourages applicants with disabilities to apply for teaching and research positions.
• Senior lecturers and professors are required to reside at the place where they perform their duties (Art. 5 of Decree No. 84-431 of June 6, 1984).
• HRS4R certified and committed to an OTM-R (Open, Transparent, and Merit-based Recruitment) approach, the University of Grenoble Alpes recruits on the merits of candidates and in accordance with a transparent procedure.

Job details

Title: Professor – Cybersecurity, Safety and Programming, Reliability of Systems, Networks or Software

Employer: Université Grenoble Alpes

Location: 621 avenue Centrale Grenoble, France

Published: 2026-03-13

Application deadline: 2026-04-02 16:00 (Europe/Paris)

Job type: Professor

Field: Cyber Security, Software Engineering, Programming Languages, Information Systems (Business Informatics), Computer Communications (Networks), Informatics