Telecom ParisTech is opening an associate professor position with skills and academic records related to safety critical and / or embedded system engineering. This position is aimed to strengthen cooperation between S3 (System, Software and Services) and SEN (Digital Electronic Systems) research teams respectively part of Computer Science and Network (INFRES) department, and Communication and Electronic (COMELEC) department. Such collaborations are highly encouraged through the � Confience Num�rique � initiative initiated at the Institut Mines Telecom scale.

For any detail or question, please contact lirida[dot]naviner[at]telecom-paristech[dot]fr and laurent[dot]pautet[at]telecom-paristech[dot]fr.

Position Description

Research

• Manage and carry out theoretical and applied research in the field of safety critical and / or embedded systems.
• Elaborate and get involved in innovating research projects (e.g. industrial or academic funding with national or international scope). The applicant is expected to consider participating to the � IRT Syst�mes Complexes � (a research institute gathering ALSTOM, Renault, Peugeot, ...)
• Get involved in research chairs (creation and animation). Participating to the chair ISIC would be highly appreciated (nota ISIC involve many of the top ranked engineering schools, Ecole Polytechique, ENSTA ParisTech, Telecom ParisTech�, and major industrial partners such as THALES, Dassault Aviation, DGA, ...)
• Reinforce industrial and academic collaborations within the institution (e.g. between S3 and SEN teams), and also partners settled on the campus of Saclay. (LIX, LRI, INRIA, INRIA, IRT SystemX, ...) or abroad (SEI/CMU, ...)

Teaching

• Get involved in lecture design for teaching in academic or engineering curriculum. Update or design new lectures or teaching tools. Participate to lecture coordination and scheduling
• Get involved in teaching activities. Give lectures and supervise study or lab sessions in engineering curriculum (main curriculum of the school, taught in French, hence spoken highly is expected), in � formation continue � with � mast�res sp�cialis�s �, and in curriculum from Paris-Saclay University or Pierre and Marie Curie University (Paris 6 University).
• Get involved in internships management and assessment (defense, supervision).

Skills and Diplomas

Required diplomas

It is required to satisfy either the condition on diplomas or experience (see details for this point on web site)

� PhD or equivalent (highly recommended)

• Or alternative criteria: see the detailed requirements at http://perso.telecom-paristech.fr/~pautet/poste-systemes-embarques-critiques.html

Skills required

• Expected expertise : good knowledge of issues, theory, and best practices of safety critical software or hardware design and use. Academic skills and records in formal methods and verification, or dependability, or concurrent and embedded system design expected.
• Good publication record (Top ranked conference and journals) in its field of expertise. Experience in research project welcome.
• Non trivial record of teaching in higher education in one of the expected field of expertise of the position (cited above)
• Some knowledge in technologies of communication (as a tool for teaching or carrying out research)
• Fluent in spoken and written english

Complementary detailed skills

• Formal methods:

Skills in reachability analysis of stochastic transition models, or discrete event systems, or data flows models

• Dependability

Modeling of safety, software fault propagation and risk (as in Altarica, or AADL error annex)

Analysis and modeling of fault in hardware architectures

• True concurrency modeling in hardware embedded architectures

Real time Scheduling in multi core system, dependability of multi-core platforms (timing integrity�)

Application (required documents)

Application will be registered when you submit the following elements following this link http://services.infres.enst.fr/candidatures/

• Detailed curriculum vitae
• Motivation letter
• A report of the past activities of the applicant with respect to research and teaching. Both aspects are expected to receive the same attention in order to allow assessing the maturity of the applicant.
• Main publications (please limit yourself to major publications)
• Contact details of two academic referees that could be contacted for further processing of the application
• A brief description of the research and teaching projects of the applicant. (limited to 3 pages).

Important dates

• April 6^th 2015: deadline for submitting a complete application file
• March to April: Possibility to organize visits of the applicants to the research teams (to get more insight on position, and to allow candidate to present themselves before the recruitment interview)
• 05/19/2015: official interview with the recruiting committee.
• By the end of May: notification to candidates of the results of the interviews
• September 2015: expected start of activity