The department for Information and Computing Sciences at Utrecht University is looking for a part-time C++ developer or student programmer to assist with a project related to Human-Centered AI.

Vacancy:
The department is looking for a software developer with experience of C++ development to extend and improve the stability of the open source model-checker MCMAS for educational use. Experience of C++ programming is essential. Interest in logic and software verification is desirable but not essential; there will be plenty of support provided to explain the functioning of MCMAS, and the (modest) extensions required. Funding of € 4000 is available. In the case of undergraduate students, we will consider hiring 2 people working one day a week to ensure that their studies do not suffer.

Applications and any inquiries should be send to Natasha Alechina n.a.alechina@uu.nl by email. To apply, please send a CV and a brief summary of programming experience. The applicant should have the right to work in the Netherlands. The organization aims to select a candidate at the end of January or as soon as possible after that.