Vacature: Part-time C++ development position
We are looking for a software developer with experience of C++ development to extend and improve the stability of the open source model-checker MCMAS https://vas.doc.ic.ac.uk/software/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 Om hier een e-mailadres te tonen moet javascript aan staan by email. To apply, please send a CV and a brief summary of programming experience. Applicant should have the right to work in the Netherlands. We aim to select a candidate at the end of January at the latest, but if a suitable application is received earlier, the project can start immediately. The work should be completed by the end of March 2022.