[Om-announce] Open position for Two Postdocs at Embedded Systems Unit of FBK

Marco Roveri roveri at fbk.eu
Mon Oct 28 22:22:14 CET 2013

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

Call ES_2013postdoc

Opening date: 18th October 2013

Closing date: 17th November 2013 Published on October 18, 2013

Two research positions are available in the Embedded System Research
Unit (ES) at Bruno Kessler Foundation, Center for Information


The Embedded System Research Unit (ES Unit) of the Information and
Communication Technology Center of the Bruno Kessler Foundation,
Trento, Italy consists of about 25 persons, including researchers,
post-Doc, 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:

. 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 is looking for two candidates to carry out research
activities in the field of target algorithms, methodologies and tools
for the design and formal verification of Embedded Systems.

The activities will focus on:

. contract-based framework for compositional certification and reuse
  of qualified components;
. contract-based refinement from system-level to software-level
  architecture and components;
. formal specification and validation of functional, safety, and
  timing requirements;
. contract-based safety analysis.

The activities will be carried out within various research projects,
including ARTEMIS projects SafeCer (www.safecer.eu) and CRYSTAL
(www.crystal-artemis.eu), and the FP VII project D-MILS

The candidates are expected to work in collaboration with other
researchers, programmers, and students involved in the relevant

The successful candidates will be enrolled with a fixed length
contract (1 to 2 years), and will be subject to a 6 months trial work

Job requirements:

. PhD degree in computer science, mathematics or electronic
  engineering (to be completed within 2013 or beginning 2014);
. solid theoretical background;
. software development skills;
. ability to carry out an independent program of research;
. ability to work in a collaborative environment and deliver in
  research projects;
. oral and written proficiency in English.

Additional requirements:

In depth previous experience in at least one of the following areas
will be considered favorably:

. Symbolic Model Checking
. Temporal Logics and Property Specification Languages
. Satisfiability Modulo Theory
. Hybrid Systems Verification
. Requirements Analysis
. Contracts and Interface Theories
. Architecture Description Languages
. Software Verification
. Safety Analysis (FTA, FMEA)

Due to FBK's attempt to promote equal opportunity and gender balance,
in case of equal applications, female candidates will be given


Type of contract: Research position, full time (38h per week)

Number of positions: 2

Gross salary: 38.100,00 Euro per year

Benefit: 28 vacation days per year, flexi-time, work canteen (meals at
FBK's expense) or meal vouchers, internal car park, welcome office
support for visa formalities, accommodation, social security, etc.,
reduction on banks, public transportation, sport, accommodation and
language courses.

Start date: from January 2014

Duration: up to 2 years (until the end of December 2015)

Place: Povo, Trento (Italy)


To apply online, please send a cover letter, a statement of interest,
a Curriculum Vitae (CV), and the names of three reference persons. All
the documents must be in PDF format.

Please include in your CV your authorization for the handling of your
personal information as per the Italian Personal data Protection Code,
Legislative Decree 196/2003.

Applications must be sent to jobs at fbk.eu

Emails should have the following reference code: ES_2013postdoc

Application deadline: November 17, 2013

For further information, please contact the Human Resources Service at
jobs at fbk.eu.

Those candidates who will pass the preliminary curricula screening
will be contacted shortly for an interview. Those applicants who will
not be selected, will be notified of the exclusion at the end of the
selection process.

Please note that FBK may contact those candidates admitted to
evaluation within a period of 6 months for selection of similar

For transparency purposes, the names of the selected candidates, if
they have accepted the position, will be published on the FBK website
at the bottom of the selection notice.

More information about the Om-announce mailing list