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.
More information about the ES Unit is available at es.fbk.eu.
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.
Job requirements
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.
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 specifications;
• XML manipulation
• knowledge of formal methods (e.g., logics, temporal logics, model checking).
Nr of positions available : 1
Research Fields
Computer science
Career Stage
Early stage researcher or 0-4 yrs (Post graduate)
Research Profiles
First Stage Researcher (R1)
Benefits
meal vouchers or work canteen, welcome office support for visa formalities, accommodation, social security, etc.
Comment/web site for additional job details
Requirements
| Computer science |
| Other |
| ENGLISH |
| Good |
| Computer science |
| 2 |
| Master Degree or equivalent |