Associate Professor in Formal Methods for the Development of Digital Systems -ENSIMAG / LIG

Organisation/Company Grenoble INP - Institute of Engineering Department Engineering Research Field Computer science » Digital systems Researcher Profile Other Profession Positions Other Positions Application Deadline 3 Apr 2026 - 16:00 (Europe/Paris) Country France Type of Contract Permanent Job Status Full-time Offer Starting Date 1 Sep 2026 Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No

Offer Description

Teaching

School: Grenoble INP - EnsimagSchool website: , School presentation: Since its creation, Grenoble INP - Ensimag has established itself as a leading school in digital technologies, combining expertise in applied mathematics and computer science. The school aims at training engineers with a deep mastery of the fundamentals, ensuring their ability to keep up with technological advancements and continuously adapt throughout their careers.In a world where the digital economy generates a quarter of global growth, information technologies now accountfor more than one in three job opportunities for executives across sectors such as health, culture, energy, and environmentalsciences. In this context, Grenoble INP - Ensimag positions itself at the heart of the digital revolution,shaping engineers ready to tackle the complex challenges of contemporary society.Every year, Grenoble INP - Ensimag welcomes and trains over 300 students in its core disciplines, with the ambitiouseducational goal of transforming its students into the inventors, engineers, and operators of this new society andaddressing the environmental challenges posed by digital technologies.

Teaching Profile:

The successful candidate will play a significant role in teaching core computer science courses at the L3 and M1 levels (e.g., algorithms, programming in various languages among which Go and Rust, compilers, programming language theory, logic, system modeling, etc.). He/She will also contribute to the development and implementation of key educational projects within the Ensimag program.The appointee will join the existing team of teachers in charge of coordinating all courses on the abovementioned topics. In the context of the new Ensimag curricula, which began rolling out at the start of the 2025 academic year and will continue at the start of the 2026 academic year for the M1 level, the successful candidate will be involved in new specializations related to digital system development supported by formal methods (system modeling, automatic validation, proofs, compilation) with applications in safety and security.

Research

Host laboratory: LIG labLaboratory website: Laboratory presentation: The Grenoble Computer Science Laboratory (LIG) is a prominent research center whoseacademic partners include Université Grenoble Alpes, Grenoble INP - UGA, CNRS, and Inria. The LIG brings togethernearly 500 researchers, faculty members, PhD students, and support staff. These members are affiliated with variousinstitutions and are distributed across the LIG’s three sites: the campus, Minatec, and Montbonnot.The laboratory’s mission is to build on the complementarity and recognized excellence of its 22 research teams tocontribute to the advancement of the fundamental aspects of computer science (models, languages, methods, algorithms).Additionally, it aims to foster synergies between the conceptual, technological, and societal challenges associatedwith this discipline.Research Profile: The LIG laboratory is seeking outstanding candidates to strengthen its research activities on formalapproaches applied to digital system development. Candidates may conduct their research on one or more of the following topics:

• Programming Language Theory
• Compilers
• Modeling tools and automatic validation of computer programs and systems
• Formal methods applied to safety or security properties

Position assigned to a restricted area: YES (Protection mechanism for the nation’s scientific and technical potential, requiring the authorization of the Security and Defense Official for the appointment of teaching and research staff).

Languages ENGLISH Level Good

Research Field Computer science » Digital systems Years of Research Experience 1 - 4

Additional Information

Selection process

Applications must be submitted via the Odyssée platform of the French Ministry of Higher Education and Research, between Tuesday March 3rd 2026, 10am (Paris time) and Friday April 3rd 2026, 4pm (Paris time), deadline.Any document sent outside the Odyssée application will not be taken into account.When candidates are interviewed by the selection committee, they will be asked to take part in a pedagogical work experience, the details of which will be communicated when the invitation is sent out.Please note that part of the audition may also be carried out in English.