[DL] Open position for Postdoc at Embedded Systems Unit of FBK

[Stefano Tonetta]

(We apologize if you receive multiple copies of this message)

======================================================================
Call  ES_CITADEL_2016_postdoc
======================================================================
Opening date:  September 1, 2016
Closing date:  October 1, 2016

A Researcher position is available in the Embedded Systems Research
Unit (ES) at Bruno Kessler Foundation (FBK), Center for Information
Technology.

FBK is a private research institution based in Trento (Italy) and
operating in different scientific fields and disciplines. As such, it
has the role of keeping the Autonomous Province of Trento within the
mainstream of international research. FBK is made up of seven research
centre, whose activities and production are available at
http://www.fbk.eu/research-centers.

The Embedded Systems Research Unit (ES Unit) of the Information and
Communication Technology Center of the Bruno Kessler Foundation
(FBK-irst), Trento, Italy consists of about 25 people, including
researchers, post-docs, PhD students, and programmers. The Unit
carries out research, tool development and technology transfer in the
field of design and verification of embedded systems.

Current research directions include:
* Satisfiability Modulo Theory, and its application to the
verification of hardware, embedded critical software, and hybrid
systems (Verilog, SystemC, C/C++, StateFlow/Simulink);
* Model Based Planning and Scheduling of aerospace domains using model
checking and satisfiability modulo theory techniques;
* Formal Requirements Analysis based on techniques for temporal logics
(consistency checking, vacuity detection, input determinism,
cause-effect analysis, realizability and synthesis);
* Model-based engineering and formal verification of aerospace systems
using model checking techniques, on-board reasoning systems for
autonomous vehicles using planning techniques;
* Formal Safety Analysis, based on the integration of traditional
techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification
techniques.

More information about the ES Unit is available at http://es.fbk.eu/ .

======================================================================
Job Description
======================================================================

The ES Unit has an opening for a PostDoc position in the framework of
CITADEL ("Critical Infrastructure Protection using Adaptive MILS"), an
H2020 European project started on June 1, 2016. The successful
candidate will be employed for a period of at least two years (with a
trial period of 6 months). He/She will carry out research activities
in the field of formal methods applied to the design and
implementation of adaptive systems with critical safety and security
requirements. In particular, the activities will focus on:
* declarative languages to specify dynamic architectures, their
monitoring and reconfiguration
* contract-based framework for compositional verification of the
system based on the properties of components
* design and synthesis of monitors to ensure that local properties are
satisfied
* design and synthesis of the architecture reconfiguration
* generation of proofs
The candidate is expected to work in collaboration with other
researchers, programmers, and students involved in the project.

Required:

* PhD in computer science, mathematics or electronic engineering (to
be completed within 2016)
* Solid background in logic
* Software development skills (preferably in C and Python)
* Ability to carry out an independent research program
* Ability to work in a collaborative environment and deliver in research projects
* Oral and written proficiency in English

Preferred:

In depth previous experience in at least one of the following areas:
* Symbolic Model Checking
* Temporal Logics and Property Specification Languages
* Satisfiability Modulo Theory
* Formal Specification and Analysis of Architectures
* Contracts and Interface Theories
* Architecture Description Languages
* Software Model Checking
* Model-Based Safety Analysis (e.g., automatic generation of fault trees)

======================================================================
Employment
======================================================================

Type of contract: Fixed Term Contract
Gross annual salary: about 38K Euro
Working hours: full time
Benefits: flexi-time, company subsidized cafeteria or meal vouchers,
internal car park, welcome office support for visa formalities,
accommodation, social security, etc., reductions on bank account
opening fees, public transportation, sport, language course fees.
Start date: November 2016
Workplace: Povo (TN)
Application deadline: October 1, 2016

======================================================================
Application
======================================================================

Candidates are required to submit their applications by filling in the
online form at https://hr.fbk.eu/en/jobs.
Please make sure that your application includes the following
attachments (pdf format):
* Detailed CV
* Cover Letter (explaining your motivation for this specific position)
* 3 professional references (e-mails and/or phone numbers)

Please read the Guidelines for Selection before completing your application.
For further information or technical issues regarding the application,
please contact the Human Resources Service at jobs at fbk.eu.

Candidates who pass the preliminary curricula screening will be
contacted shortly afterwards for an interview. Non selected applicants
will be notified of their exclusion at the end of the selection
process.
Please note that FBK may contact shortlisted candidates within a
period of 12 months, for the selection processes of similar
vacancies.
For reasons of professional transparency, the name of the successful
candidate will be published on the FBK website following acceptance of
the position.