Work opportunities for Students/Graduates at Fondazione Bruno Kessler

[Marco Roveri]

(Apologies if you have received multiple copies of this announcement)


WORK OPPORTUNITY FOR STUDENTS/GRADUATES AT FBK!

Ideal candidates for this position are young people with strong
computer programming skills and a desire to engage in a path of
professional growth in the area of research. We are looking for people
willing to work in international teams, attracted by research and
innovation, with a spirit of initiative and critical thinking skills.

If you are interested in joining our top class Research Units, check
out the details below!

--------------------------------------------------
Workplace
--------------------------------------------------

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:

* 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);
* 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;
* Model-based development of controllers for embedded systems;
* Satisfiability Modulo Theory, and its application to planning and
  scheduling, verification of hardware, embedded critical software,
  and hybrid systems;
* Combination of machine learning and symbolic reasoning for
  predictive maintenance.

More information about the ES Unit is available at https://es.fbk.eu/

--------------------------------------------------
Job Description
--------------------------------------------------

The Embedded Systems (ES) Unit is looking for junior programmers for
software development activities related to the different research,
technology transfer, and industrial projects in its current
portfolio. In particular, the successful candidate will support the
ES-Unit’s researchers in the design and development of the different
applications and tools to develop and deploy at different premises
within the several projects.

The successful candidates are expected to work in collaboration with
other researchers, programmers, and students involved in the different
projects.

--------------------------------------------------
Job requirements
--------------------------------------------------

The ideal candidate should have:

* High school diploma/bachelor degree
* Software design and development skills;
* Knowledge of at least one of the following programming languages:
  C++, C, Python, Java;
* Hands-on experience with standard software development environments
  under Unix/Linux and/or MS Windows (TM);
* Ability to work in a collaborative environment;
* Result orientation and flexibility;
* Good communication and relational skills in English.

FBK will consider Background knowledge and/or previous hands-on
experience in the following areas: model-based development of
controllers for embedded systems; Eclipse development platform; Xtext
framework; UML and/or SysML; XML; symbolic logic; formal methods
(e.g., model checking), planning and scheduling, machine learning and
machine learning development environments (e.g. scikit-learn, PyTorch,
tensorflow).


--------------------------------------------------
Employment
--------------------------------------------------

Type of contract: fixed term contract (technical profile - L4 CCPL)
Working hours: part or full time (depending on internal project needs
               and candidate’s availability)
Start date: January 2019
Duration: December 2019 (with possibility to extend the contract depending on funding)
Workplace: Trento - Povo
Benefits: flexi-time, company subsidized cafeteria or meal vouchers,
          internal car park, welcome office support for visa
          formalities, accommodation, social security, etc.,
          reductions on bank account opening fees, public
          transportation, sport, language course fees. More info at
          https://www.welfarefbk.info/

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

Candidates are required to submit their applications by clicking
"Apply online" at the bottom of this page.

Please make sure that your application includes the following
attachments (pdf. format):

* Detailed CV
* Cover Letter (explaining your motivation for this specific position)

Application deadline: 20th December, 2018

Please read our Regulations on the recruitment and selection of
fixed-term personnel (effective from October 15, 2018) before
completing your application.

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

For technical inquiries about the position, send an e-mail at
es-info at fbk.eu.