PODC Archives

ACM PODC Participants List

PODC@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Petr Kuznetsov <[log in to unmask]>
Reply To:
Petr Kuznetsov <[log in to unmask]>
Date:
Thu, 23 Jan 2020 15:05:07 +0100
Content-Type:
text/plain
Parts/Attachments:
text/plain (93 lines)
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://mintel.imt.fr/offres_emploi.php?id=1760

Please send files by electronic mail to [log in to unmask]


Contact points
==============

     Laurent Pautet  ([log in to unmask])

Application deadline
================

March, 26th, 2020

ATOM RSS1 RSS2