Talen zoals Agda, Idris en Lean bieden mogelijkheden om formeel geverifieerde code te schrijven. Binnen Quintor is de vraag of dit een mogelijkheid biedt om software te schrijven die minder gevoelig is voor bugs.

In deze opdracht zoek je uit welke van deze soort oplossingen het meest kansrijk is voor Quintor om impact te maken in de praktijk en ontwikkel je een proof-of-concept van een bank-applicatie, waarbij je verschillende business-regels verwerkt.

Wat we bieden

• Ervaren en betrokken begeleiding
• Structuur door middel van Scrum
• Leuke collega’s en mede-afstudeerders
• Maandelijkse borrels en hands-on workshops over nieuwe technieken
• Een informele bedrijfscultuur, waarbij kennisdeling centraal staat
• Toegang tot de Quintor Academy, onze online leeromgeving
• Afstudeervergoeding van €500,- per maand