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 [email protected]
Contact points
==============
Laurent Pautet ([email protected])
Application deadline
================
March, 26th, 2020
--------------------------------------------------------------------------------------
Fabrice Kordon
Sorbonne Université
Campus Pierre & Marie Curie
LIP6/MoVe, Office 26-00/202 or 26-25/216
4 place Jussieu, 75252 Paris Cedex 05
http://lip6.fr/Fabrice.Kordon/ <http://lip6.fr/Fabrice.Kordon/>
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
