Two PhD student positions on formalisation of requirements and performance analysis, Grenoble (France)

The Rigorous System Design Lab. in Huawei Grenoble Research Center (GRC), France invites applications for two industrial PhD theses (CIFRE) in the area of formal modeling and analysis of embedded systems.

The first subject is related to the formalization of requirements expressed in natural language. The main objectives are to provide means for: Unambiguous specification of requirements; Early assurance of consistency between the requirements and design correctness; Use of correct-by-construction techniques to limit the need for a posteriori model checking.

The second thesis is about performance analysis of Embedded Systems. The goal is to build a rigorous model-based design-flow that allows designers to explore design alternatives and take well-grounded design decisions.

The work will primarily take place in Huawei Grenoble Research Center under the local supervision of Dr. Ayoub Nouri for Huawei and the academic supervision of Prof. Saddek Bensalem at Verimag laboratory, University of Grenoble Alpes.

Huawei GRC provides a high-quality scientific environment, travel funds, and salary competitive with similar positions in the French industry. The 3-year CIFRE contract will be setup conditioned on successful review by ANRT and doctoral registration (MSTII Doctoral School at Grenoble Alpes University).

The candidate is required to have a Master or Engineer degree in computer science or electrical computer engineering and preferably should have a strong background in model-based design and programming, as well as in mathematics. Efficient communication skills (oral and written) in English are required (French is not mandatory). The starting date is expected to be as soon as possible, between September and October 2019.

The complete application consists of the following documents, which should be sent as PDF files.

- Your resume (CV)
- One-page cover letter (clearly indicating available start date as well as relevant qualifications, experience and motivation)
- University certificates and transcripts BSc and MSc degrees
- Contact details of up to two referees

For further information about the positions, please contact:
- Prof. Saddek Bensalem saddek.bensalem at univ-grenoble-alpes.fr
- Dr. Ayoub Nouri ayoub.nouri at huawei.com