Full professor position in Grenoble

by David Monniaux, Feb. 20, 2024

A senior professorship is to open in Grenoble with research in the Verimag laboratory and teaching at Grenoble-INP Polytech.

Keywords: Computer programming, networks, systems, machine and system architecture;
formal method, verification

Grenoble INP - UGA is a leading public institution accredited with 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 Engineering and Management Institute of Grenoble Alpes brings together more than 1300 staff members (teacher-researchers, lecturers, administrative and technical staff) and 8300 students, 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 39 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; digital; micronanoelectronics, embedded systems; industry of the future, production systems, environment; management and business sciences.

Grenoble INP - UGA is 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.

Teaching



School : Polytech Grenoble

School website: https://www.polytech-grenoble.fr/

Contacts: Pr. Céline Darie, Directrice,[email protected]

School presentation :

Polytech Grenoble is an engineering school of Grenoble INP, the Graduate schools of Engineering and Management of Grenoble Alpes University. As school of the Polytech Group, it delivers a 5-year, government accredited degree by the Commission des Titres d’Ingénieur, equivalent to a Master’s degree.

The 5-year program (bac to bac + 5), which includes a core curriculum common to all department, is designed to provide students with scientific, general and technical knowledges and skills related to their target profession.



Teaching Profile:

Polytech Grenoble and its Computer Science, Computer Science and Electronics for Embedded Systems and Information Technologies for Health specialisations cover a wide range of computer science fields, from fundamental theory to current applications (DevOps, IoT, AI, cybersecurity, human interactions, etc.). The person recruited will be involved in reinforcing the fundamental teaching at undergraduate level in one or more specialisms. In the Computer Science specialism and at Master's level, preference is given to reinforcing subjects linked to computer networks or related fields (systems, hardware and software architectures, security).

Some courses may be taught in English, and the person recruited must be able to teach in English or, if necessary, take additional training to do so.



Research



Host laboratory: VERIMAG

Laboratory website: https://www-verimag.imag.fr/

Contacts : M. David MONNIAUX, Director, [email protected]

Laboratory presentation :

The Verimag laboratory develops fundamental and applied research for the design of safe and secure computer systems: low-level security of software against software and hardware attacks; modular, hybrid and component systems; implementation and design with constraints on shared hardware resources; frugal and resilient computer systems, socio-environmental responsibility; foundations for the engineering of autonomous systems based on machine learning; formal proofs.

Research Profile:

Cyber-physical systems are increasingly autonomous, connected and adaptable, making them more and more vulnerable to faulty or hostile environments. Conventional programming techniques have their weaknesses, which must be overcome. The inclusion of components based on artificial intelligence (machine learning) gives them new possibilities, but introduces new vulnerabilities and implies rethinking the notion of specification. On the other hand, artificial intelligence can be exploited to improve the synthesis or verification of programmes or the search for bugs.

Formal proof (in various forms: assisted proof, model-checking, abstract interpretation, etc.) is now used to build particularly critical systems (formally verified compilation in avionics and nuclear engineering, for example). Semi-formal methods have been deployed by major manufacturers (Microsoft, Facebook, etc.). Research is still needed to make these methods more accurate, better scalable and lighter, in order to extend the range of applications.

Digital technology, and in particular the construction of devices, consumes resources, particularly fossil fuels; it is therefore important to encourage resilience, frugality and adaptability rather than disposability. Verimag's research is designed to meet these challenges.

The following themes are part of major national and/or site programmes:

1. Frugal and resilient computing; socio-environmental responsibility.

2. Security at the interface between software and hardware (see national acceleration strategy), low-level operating systems, compilation.

3. Machine learning systems: specification, validation, monitoring.

The successful candidate will join the Verimag laboratory and his/her research activity must be in line with the general theme of the laboratory.

The university professor recruited will be expected to take on leadership and supervisory duties within the laboratory. In particular, it would be appreciated if he or she could take over the management of themes such as the verification of systems based on automatic learning or cybersecurity.



Specific requirements or conditions



The person recruited will be expected to :

- take on administrative responsibilities in the short or medium term (responsibility for teaching unit, year)

- take on management responsibilities within Polytech Grenoble, particularly in the Computer Science department.

- participate in the life of the school (involvement in advisory committees, supervising work placements and work-study students, etc.).

In the context of research, excellence and increasing internationalization, the quality of candidates' research activities

must be demonstrated by recent publications in the best international journals or conferences in their field.

or conferences in their field.



How to apply



Applicants must submit their applications on the Galaxie Platform of the French Ministry of Higher Education and Research from the 22nd of February 2024, 10 a.m. (Paris time) to the 29th of March 2024, 4 p.m. (Paris time), deadline.

Any document sent outside the Galaxie procedure will not be taken into account.

The interview will include simulation/situational exercises.

The details will be communicated when the invitation is sent out. In addition, part of the interview may be carried out in English.