Programmer in the Embedded Systems Research Unit at Bruno Kessler Foundation in Trento Italy

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.

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).

Further details:
http://www.oaed.gr/