Updated: 4 months ago
Job Type: FullTime
Deadline: 30 Mar 2021

Grenoble INP – UGA is a university recognized for its academic and research excellence through obtaining the French label “Initiative d’excellence”. It offers innovative engineering and management programs, with an increasing internationalization of its course offers. The courses are grounded in sound scientific knowledge and linked to digital, industrial, organizational, environmental and energy transitions. The school constitutes the institute of engineering and management for Grenoble Alpes University, with its 1300 staff members (teacher-researchers, lecturers, administrative and technical staff) and 9000 students. It located on 8 sites (Grenoble INP - Ense3, Grenoble INP - Ensimag, Grenoble INP - Esisar, Grenoble INP - Génie industriel GI, Grenoble INP - Pagora, Grenoble INP - Phelma, Polytech Grenoble, Grenoble IAE and the INP Prepa). Grenoble INP is also a highly-ranked institution of higher education and research, leading the way in the fields of engineering and management on an international scale. It is a member of a large number of international academic and research networks. It is part of the European University UNITE!.

As part of Grenoble Alpes University, Grenoble INP has associated guardianship of 40 national and international research laboratories and of technological platforms. The research conducted there benefits both its socio-economic partners and its students. Grenoble INP is at the heart of the following scientific fields: physics, energy, mechanics and materials science, digital science; micro and nano-electronics, on-board systems; industry of the future, production systems, environmental science and management.

Grenoble INP - UGA is s an equal opportunity employer committed to sustainability. Grenoble INP-UGA celebrates diversity and equity and is committed to creating an inclusive environment for all employees. All qualified applications will be considered without discrimination of any kind.


Short profile: Quantum Computing, Computational models of the future

Category: University Professor

Job number: 27 PR 0556

Field of expertise: CNU27 (computer science and engineering)

Recruitment date: 1st September 2021

Location: Grenoble

Restricted regime area (ZRR): YES NO

(French governmental protection of scientific and technological research program)

Key words: Computational models, quantum computing, formal methods, model hybridization


Contacts : j , christophe.rippert

Ensimag is one of the best French engineering school in the fields of digital and information technology. It offers very high-level conceptual and technological classes in the fields of computer science and applied mathematics. The school prepares students for careers in digital engineering in different fields, such as information systems, banking, embedded systems, networks, but also the industry as a whole, for digitalization, design and decision-making tools.

Teaching profile:

Ensimag, a recognized school of higher education in digital technology,, is recruiting a computer science professor with the motivation and ability to create and take responsibility for training courses from the 1st to 3rd year of engineering, as well as for Master's courses. In particular, the person recruited will be responsible for the computer science modules in the Ensimag common core courses. These courses make up the whole of the 1st year and about 50% of the courses in the 2nd year.

With this recruitment, Ensimag hopes to offer more courses in quantum computing and future computational models. Quantum computing has been taught at the school for more than 15 years through specialized courses, for instance in the Master's program in Cybersecurity.

The objective is to familiarize students with quantum computing by introducing it in modules that present computational models, notions of computability and complexity, and formal methods. It also aims at enabling students to develop their skills using project-based teaching methods, with the help of the school's partner companies and laboratories. These laboratories provide the school with quantum technologies (machines or emulators). Grenoble INP-Ensimag, as an engineering school, has built important strategic partnerships with companies for training, innovation and development.

This recruitment takes place in a dynamic and interdisciplinary context of research, innovation and training in quantum engineering through the Quantum Engineering site project.

The person recruited will also represent Ensimag with his or her computational DNA and applied mathematics on themes associated with quantum in the University of Grenoble Alpes.


Research laboratory: LIG (UMR 5217 Grenoble-INP, UGA et CNRS)



Grenoble Informatics Laboratory (LIG) is one of the largest laboratories in Computer Science in France. It is structured as a Joint Research Center (French Unité Mixte de Recherche - UMR) founded by the following institutions: CNRS, Grenoble Institute of Management and Technology (Grenoble INP IIM), Inria Grenoble Rhône-Alpes, Grenoble Alps University.

500 members of LIG (faculty, full-time researchers, PhD students, administrative and technical staff) are located on three sites in Grenoble and its suburbs: the Saint Martin d'Hères Campus, Minatec, and the Montbonnot Campus.

The mission of LIG is to contribute to the development of fundamental aspects of Computer Science (models, languages, methodologies, algorithms) and address conceptual, technological, and societal challenges. Increasing diversity and dynamism of data, services, interaction devices, and use cases influence the evolution of software and systems so they need to guarantee the essential properties such as reliability, performance, autonomy, and adaptability.

Addressing such challenges is the objective of 24 research teams organized into 5 focus areas:

Data and Knowledge Processing at Large Scale,

Distributed Systems, Parallel Computing, and Networks.

Formal Methods, Models, and Languages,

Interactive and Cognitive Systems,

Software and Information System Engineering.

LIG focuses on the fundamentals of Computer Science and experimental developments while taking into account new societal challenges.

Research profile:

The notion of computation, which is clearly essential in computer science, can be modeled in several different ways.

The study of these various models requires to define notations, languages and various theoretical and practical tools to analyze the properties of these computations: verification, analysis of their behavior, complexity etc.

Classical computation models, such as Turing machines, logic or lambda-calculus, are still prominent and must be adapted and extended to support the evolution of these systems and uses. In parallel, new computation models are emerging, inspired by disciplines outside of computer science.

For instance, quantum computing, that seeks to exploit the properties of quantum systems to compute in a more efficient way, is a new computation paradigm that may lead to major breakthroughs in numerous application domains. Grenoble is a favorable ecosystem for research in this field.

The aim of this position is to strengthen and supplement the research on computation models that is carried out at the LIG.

The candidate's work can cover all aspects related to new computation models or to quantum computation and information, from the definition and the theoretical study of these models to formal methods for the verification and the analysis of these computations (program or protocol verification, logic, automated reasoning, complexity, information theory, cryptography, algorithms etc.).

View or Apply

Similar Positions