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/