Professor in Computer Sciences and Networks- POLYTECH / VERIMAG

1 Mar 2024
Job Information

Organisation/Company

POLYTECH

Department

Engineering

Research Field

Computer science » Systems design

Researcher Profile

Established Researcher (R3)

Country

France

Application Deadline

29 Mar 2024 - 20:00 (Europe/Paris)

Type of Contract

Permanent

Job Status

Full-time

Hours Per Week

35

Offer Starting Date

1 Sep 2024

Is the job funded through the EU Research Framework Programme?

Not funded by an EU programme

Reference Number

62 PR 0753

Is the Job related to staff position within a Research Infrastructure?

No

Offer Description

Teaching

School: Grenoble INP – Polytech Grenoble School website: https://polytech.grenoble-inp.fr/ Contact: Pr. Céline Darie, Directrice, [email protected] School presentation: Polytech Grenoble is an engineering school of Grenoble INP, the engineering and management institute of Grenoble Alpes University*. A member of the Polytech network, it is a public school accredited by the Commission des titres d'ingénieur. The 5-year program (bac to bac + 5), which includes a core curriculum common to all specialties, is designed to provide students with scientific, general and technical knowledge and skills related to the professions covered by the various diplomas offered. Teaching Profile: Polytech Grenoble and its specializations in Computer Science, Computer Science and Electronics for Embedded Systems and Information Technology for Health cover a broad spectrum of computer science fields, from theoretical fundamentals to current applications (DevOps, Iot, AI, Cybersecurity, human interactions, etc.). The person recruited will participate in the reinforcement of fundamental teaching at undergraduate level in one or more specialties. In the Computer Science specialization and at Master's level, preference will be 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 bring themselves up to standard.

Research

Laboratory: VERIMAG Laboratory website : https://www-verimag.imag.fr/?lang=fr Contacts : M. David MONNIAUX, Directeur, [email protected] Presentation of the laboratory : The Verimag laboratory develops fundamental and applied research for the design of safe and secure computerized 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 of autonomous systems engineering 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 program synthesis, verification and bug-finding. 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 power, for example). Semi-formal methods have been deployed by major industrial players (Microsoft, Facebook...). Research is still needed to make these methods more accurate, more scalable and more lightweight, so as to extend their fields of application.
Digital technology, and in particular the construction of devices, consumes resources, notably fossil fuels; it is therefore important to promote resilience, frugality and adaptability, rather than disposability. Verimag's research is designed to meet these challenges. The person recruited must have built up a high level of scientific expertise and be able to take on large-scale research projects and develop national and international networks and collaborations. The following themes are part of major national and/or site programs: 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 or her research activity must be in line with the laboratory's general theme. The university professor recruited will be expected to assume leadership and supervisory functions within the laboratory. In particular, it would be appreciated if he/she could take over the leadership of themes such as the verification of systems based on machine learning or cybersecurity.

 

Requirements

Research Field

Computer science » Systems design

Education Level

PhD or equivalent

Skills/Qualifications

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.

Specific Requirements

Administrative activities linked to the duties of the Associate Professor: teaching unit responsibilities, course or year responsibilities. In the context of research, excellence and increasing internationalization, the quality of research activities must be attested by recent publications in the best journals or international or international conferences in their field.

Position located in a restricted area: NO (to protect the nation's scientific and technical potential, the appointment of teaching and research staff is subject to the authorization of the Defence Security Officer).

Languages

ENGLISH

Level

Excellent

Research Field

Computer science » Systems design

Years of Research Experience

1 - 4

Internal Application form(s) needed
POLYTECH VERIMAG ANGLAIS.pdf
English
(230.46 KB - PDF)
Download
Additional Information
Selection process

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 zone) to the 29th of March 2024, 4 p.m. (Paris time zone), 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.

Website for additional job details

https://galaxie.enseignementsup-recherche.gouv.fr/antares/can/index.jsp?josso_b…

Work Location(s)

Number of offers available

1

Company/Institute

POLYTECH

Country

France

City

Saint martin d'Hères (GRENOBLE)

Postal Code

38400

Street

14 place du Conseil de la Résistance

Geofield

Where to apply

Website

https://galaxie.enseignementsup-recherche.gouv.fr/antares/can/index.jsp?josso_b…

Contact

City

Saint Martin d'Hères (Grenoble)

Website

https://polytech.grenoble-inp.fr/

Street

14 place du Conseil de La Résistance

Postal Code

38400

E-Mail

[email protected]

STATUS: EXPIRED