A developer for autonomous architectures for the Embedded System 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 http://www.fbk.eu/research-centers.



The Embedded Systems (ES) Unit of the Information and Communication Technology Center of the Bruno Kessler Foundation, Trento, Italy consists of about 25 persons, including researchers, Postdoc, PhD students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of 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 https://es.fbk.eu/


Job Description

The ES Unit is looking for a skilled programmer for software development activities related the development and deployment of autonomous architectures for industrial applications. In particular, the candidate will support the researchers in the development of planning, scheduling, execution and monitoring of complex autonomous systems (e.g. ROV, AUV, Drones). The candidates are expected to work in collaboration with other researchers, programmers, and students involved in the project.



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)

  • 1-2 professional references  (e-mails and/or phone numbers)


Application deadline: 27th September, 2017

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@fbk.eu.


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