Telecom Paris is recruiting an Associate Professor (tenured position --
"maître de conférences") 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 (Maître de conférence)
--> 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.
Profile
=====
The research team of Autonomous and Critical Embedded Systems of Telecom
Paris is looking for a tenured Associate Professor (Maître 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-systemes-cyber-physiques
Please send files by electronic mail to [log in to unmask]
Contact points
==============
Laurent Pautet ([log in to unmask])
Application deadline
================
March, 26th, 2020
|