Required qualifications:

• Bsc in Computer Science.

• Very strong knowledge/experience in C/C++ programming.

• Good verbal and written English communication skills.

Experience/knowledge in any of the following areas is strongly desirable:

• System modeling and discrete-event simulation, especially SystemC standard.

• OS Kernel/Device Driver development.

• Real Time/ Embedded Systems Software development

• Assembly/ microcode development.

• Parallel or Distributed Systems development.