Associate Professor in Modelling, Verification and Quantitative Analysis of Cyber Physical Systems (Telecom Paris)
Telecom Paris is recruiting an Associate Professor (tenured position -- "maitre de conferences") in Modelling, Verification and Quantitative Analysis of Cyber Physical Systems (CPS).
Please forward this offer to your colleagues looking for a position in this domain (Application deadline : March, 26th, 2020)
Context
=======
--> Telecom Paris, one of France's top five graduate engineering schools, considered the leading French school in Information and Communication Technology (ICT)
--> Department INFRES (Computer Science and Networks)
--> Group ACES: Autonomous and Critical Embedded Systems
--> Position: Associate professor (Maitre de conference)
--> Location: on the Campus of Palaiseau (20km south of Paris), France
--> Keywords: cyber-physical systems (CPS), formal verification, quantitative analysis, model driven engineering
--> Additional keywords: safety, security, autonomous systems, multi-paradigm modelling.
Telecom Paris is one of the top four engineering schools in France for training general engineers. Recognized for its close ties with businesses, this public graduate school ensures excellent employment prospects in all industries and is considered the number-one engineering school for digital technology. With its top-level innovative teaching, Telecom Paris is at the center of a unique innovation ecosystem, drawing on the interaction and cross-disciplinary nature of the school's academic programs, interdisciplinary research, two business incubators and its campuses (Paris and Sophia Antipolis - EURECOM). Its LTCI laboratory has been accredited as an outstanding unit in the field of digital sciences for its international reputation and exceptional number of initiatives supporting the socio-economic world and industry, as well as for its great contribution to teaching.
Profile
=====
The research team of Autonomous and Critical Embedded Systems of Telecom Paris is looking for a tenured Associate Professor (Maitre de Conference, permanent position) in the area of Modeling, Verification and Analysis of Cyber Physical Systems (CPS). The candidate is expected to strengthen the research force of the school by contributing to ongoing and future projects related to fundamentals and software related modeling, verification and quantitative analysis of CPS. A specific focus will be given to modelling, verification and analysis in (at least) one of the following contexts: safety, security, autonomous systems, multi-paradigm modelling.
To ensure smooth integration into the research program of ACES and Telecom Paris, it is desired for the candidate to share interests in one or more of the following areas: formal verification, quantitative analysis and model driven engineering of non-functional properties, safety, security, autonomic computing, multi-paradigm modelling.
The candidate is also expected to join the teaching curriculum of the department of Computer Science of Telecom Paris on a variety of subjects in computer science, with a specialization on cyber physical systems (modelling, design, programming, analysis, ...), set up new courses and educational tools on emerging disciplines
Qualifications
===========
--> PhD degree in Computer Science
--> Strong expertise in at least on of the following fields:
- formal verification (model-checking, proof assistants),
- quantitative analysis for cyber physiscal systems (energy consumption, safety, security, timing performance ...)
- model driven engineering using multi-paradigm modelling.
--> Convincing research record
--> Proficient level of written and oral English. If the candidate is not French speaking, she or he must commit to acquire a sufficient level to teach in French as quickly as possible (less than two years)
--> Experience in under-graduate and graduate level teaching is highly appreciated
Application
=========
--> Curriculum Vitae and Motivation Letter
--> List of publications
--> Research and teaching activities statement
--> List of (at least two) references
--> Brief presentation of research and teaching projects (3 pages max.)
Application procedure
==================
Documents to provide are listed in
https://www.telecom-paris.fr/fr/lecole/telecom-paris-recrute/emplois/enseignement-recherche/enseignant-chercheur-verification-analyse-logiciel-systeme...
Please send files by electronic mail to recrutement@telecom-paris.fr
Contact points
==============
Laurent Pautet (laurent.pautet@telecom-paris.fr)
Application deadline
================
March, 26th, 2020