[Om-announce] Programmer Position - Embedded Systems Unit, Fondazione Bruno Kessler

Marco Roveri roveri at fbk.eu
Thu Apr 2 10:12:29 CEST 2015


A PROGRAMMER POSITION IS AVAILABLE IN THE EMBEDDED SYSTEMS RESEARCH UNIT OF THE CENTRE FOR INFORMATION TECHNOLOGY.

Job Description
---------------
The ES Unit is looking for one skilled programmer 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 (www.d-mils.org), as well as on industrial projects with major international players.

The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the relevant projects.


Candidate Profile
-----------------
The ideal candidate should have:

* a MS or equivalent degree in computer science, mathematics or
  electronic engineering;
* excellent software design and development skills;
* ability to work in a collaborative environment and deliver in
  research projects;
* 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);
* good knowledge of English (oral and written);
* capacity of autonomy;
* good communication and relation skills.

Preferred qualifications
------------------------
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
  specifications;
* XML manipulation
* knowledge of formal methods (e.g., logics, temporal logics, model
  checking).


Employment
----------
Type of contract: collaboration contract
Number of positions: 1
Gross salary: about € 16.600,00 for the period of collaboration
Start date: from  May 2015
Duration: until the end of December 2015
Place: Povo, Trento (Italy)
Benefit: meal vouchers or work canteen, support for: visa formalities, social security, etc.

Who we are
----------
The Embedded System Research Unit (ES Unit) of the Information and Communication Technology Centre 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/.


Application
-----------

Candidates are requested to submit their application by completing the online form at: https://hr.fbk.eu/en/jobs

Please make sure that your application contains the following
documents attached (pdf.format):

* detailed CV with cover letter
* letter of motivation with the name of three reference persons
Please make sure to read the Guidelines for selections before applying.

Application deadline: 21st April 2015

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


More information about the Om-announce mailing list