• Incognito
  • Agenda
    • Alle activiteiten
    • Archief
    • VergaderPlanner
  • Vereniging
    • Aluminium
    • Bestuur
    • Commissies
    • Geschiedenis
    • Lid worden?
    • Nieuwsberichten
    • Vragenlijstjes
  • Studie
    • Informatie (C)KI
    • Symposium
  • Sponsoren
    • ML6
    • Formorrow
    • Intellerts
    • Voor bedrijven
  • Vacatures
    • Greenchoice: Ontwikkeltraject S&P
    • Voor bedrijven
  • Voor bedrijven
  • Meta
    • BBCode overzicht
    • Feedback
    • Login
    • Wachtwoord aanvragen
    • Zoeken
    • Colofon
  • Lid worden
  • Inloggen


    • Wachtwoord aanvragen
Voorpagina > Vacatures

Vacatures

  • Greenchoice: Ontwikkeltraject S&P
  • Voor bedrijven

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.
 

Sponsoren

© 2003-2022 - Privacy Policy
Bezoekadres:
Drift 21 - k. 1.03
3512 BR Utrecht
Postadres:
Janskerkhof 13a
3512 BL Utrecht

Facebook - Instagram

Om hier een e-mailadres te tonen moet javascript aan staan

Tel: 030-2538127
IBAN: NL06 INGB 0000 6902 61 (t.n.v. U.S.C.K.I. Incognito)