Logic List Mailing Archive

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@univ-grenoble-alpes.fr

-          Dr. Ayoub Nouri ayoub.nouri@huawei.com


-- 
Ayoub Nouri
Eng, PhD Computer Science
Grenoble, France
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam