An expert researcher in the field of planning and scheduling for the Embedded Systems Research Unit

Fondazione Bruno Kessler
September 12 2017
Position Type
Full Time
Organization Type

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



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, Master Students, and programmers. The Unit carries out basic and applied research, tool development and technology transfer in the field of automated planning for different application contexts, and design and verification of embedded systems.


Current research directions include:

  • Model based planning and scheduling for aerospace and robotic (drone) systems, for the management of autonomous vehicles, drones for exploration in critical environment, factory automation, and for process optimizations (with applications in Industry 4.0), leveraging model checking and satisfiability modulo theory techniques;

  • Model based on-board autonomy for different vehicles (AUV, ROV) using planning and scheduling techniques;

  • Model based recovery relying on planning and scheduling techniques;

  • Formal Verification of complex embedded systems leveraging on model checking techniques;

  • Formal Safety Analysis, based on the integration of traditional (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques.

  • Contract-based engineering and contract-based formal verification of aerospace systems using model checking techniques;

  • Contract-based techniques for fault detection, identification relying on model checking techniques;

  • Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis);

  • Satisfiability Modulo Theory, and its application to planning and scheduling, verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink);

More information about the ES Unit is available at


Job Description

The ES Unit has an opening for a PostDoc position in the field of planning and scheduling for industrial applications in the framework of several research and technology transfer projects. 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 planning and scheduling and architectures for autonomy (planning, scheduling, execution, monitoring) applied to the design and implementation of adaptive autonomous systems with critical timing, safety and security requirements. In particular, the activities will focus on:


  • Declarative languages to specify planning and scheduling domains, keeping into account controllability, partial observability, timing, and resources issues;

  • Declarative languages to specify conditional time triggered plans suitable to solve complex planning and scheduling problems;

  • Design and implementation of scalable planning and scheduling solution techniques for applications in industrial settings to control autonomous vehicles as well as for factory automation;

  • Design and implementation of formal plan validation techniques to be applied in the planning and scheduling domains, and for the verification of conditional time triggered plans;

  • Design and implementation of autonomy architectures encompassing, deliberation, execution and monitoring and interface with low level controls, both for off-line and on-board (embedded) deployment.


The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the project. Moreover, the candidate is expected also to interact with industrial partners and to spend some time at industrial partner premises.


Application deadline: 27th September, 2017



Candidates must submit their application trough the online form at Please make sure to enclose the following documents with your application (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 selections before applying.

For further information, please contact the Human Resources Services at


Candidates who will 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 process of similar vacancies.

For transparency purposes, the name of the selected candidate, if he or she has accepted the position, will be published on the FBK website.

This job comes from a partnership with Science Magazine and Euraxess

More searches like this