[Elsnet-list] Open position for Two Software Developers at Embedded Systems Unit of FBK

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

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

Call ES_2013PGM

Opening date: 28th October, 2013

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

Two programmer positions are available in the Embedded Systems "ES"
Research Unit 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 skilled programmers for software
development activities in research and industrial projects in the
field of formal verification of Embedded Systems.

The activities will be carried out within various research and
industrial projects, including several projects with the European
Space Agency, the 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

Job requirements:

The ideal candidate should have:
. an MS or equivalent degree in computer science, mathematics or
  electronic engineering;
. excellent software design and development skills;
. strong commitment to develop high-quality software, and achieving
  assigned objectives;
. deep knowledge of one of the following programming language: C++, C,
  Python, Java;
. hands-on experience with standard software development environments
  either under Unix/Linux and/or MS Windows (TM);
. ability to work in a collaborative environment and deliver in
  research projects;
. good communication and relational skills;
. ability to work independently.

Additional requirements:

Background knowledge and/or previous hands-on experience in the
following areas, though not mandatory, will be considered favorably:

. use and extension of the Eclipse development platform;
. familiarity with requirements engineering languages e.g., UML based
. XML manipulation
. knowledge of formal methods (e.g., logics, temporal logics, model checking);

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: collaboration contract

Number of positions: 2

Gross salary: 7.900,00 Euro per year (Including meal vouchers or work
canteen and welcome office support for visa formalities,
accommodation, social security, etc.)

Start date: from 1st January 2014

Duration: up to 1 year (until the end of December 2014)

Place: Povo, Trento (Italy)


To apply online, please send a cover letter, 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_2013PGM

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 Elsnet-list mailing list