Axini
Terug naar home

Elk jaar bieden we interessante afstudeerprojecten aan

Ontdek wat Axini jou te bieden heeft.

Waarom afstuderen bij Axini?

Axini is een Amsterdamse spin-off van de Universiteit Twente. We ontwikkelen cutting-edge software engineering tools die academische formele methoden naar de praktijk brengen. Onze expertise? Model based testen (MBT) en model-driven software engineering (MBSE). Ons platform stelt grote organisaties zoals ProRail, Achmea en Thermo Fisher Scientific in staat om hoogwaardige software op tijd te realiseren.

We combineren diepgaande theoretische kennis van formele methoden met hands-on ervaring in softwaretesten. Dat maakt onze afstudeerprojecten uniek: je duikt in de theorie van formele methoden en model checking, terwijl je tegelijkertijd concrete oplossingen bouwt voor echte uitdagingen.

Neem contact op

Meer dan 20 jaar ervaring

In de afgelopen 20 jaar hebben we tientallen studenten begeleid. Die ervaring zetten we in om jou te helpen het maximale uit je onderzoek te halen. Check ons track record verderop op deze pagina.

Sterke academische connecties

We onderhouden nauwe banden met universiteiten (UvA, VU, UT, TU/e) en onderzoeksinstellingen (TNO, CWI). Daarnaast participeren we in verschillende Europese onderzoeksprojecten, waaronder TESTOMAT, Allegio en Reflexion.

Ervaar het leven bij een software scale-up

Tijdens je afstuderen ervaar je hoe het is om te werken bij een bedrijf dat draait om software engineering en continue verbetering. We hebben een informele, vriendelijke cultuur met flexibele werktijden. Enkele dagen per week zijn we op ons Amsterdamse kantoor, de rest van de week werken we vanuit huis.

Wat wij jou bieden

Sterke begeleiding

Ervaren begeleiders die tijd voor je maken. Ze inspireren en dagen je uit met diepgaande domeinkennis.

Echt onderzoek

Projecten met een sterke onderzoekscomponent en concrete vraagstukken. Je gaat geen simpele website bouwen, maar werkt aan échte innovatie.

Academisch netwerk

Directe toegang tot universiteiten en potentiële academische begeleiders.

Bewezen track record

Een indrukwekkende lijst van succesvolle afstudeerders. Scroll naar beneden voor inspiratie.

Stagevergoeding

Alle projecten gaan gepaard met een maandelijkse vergoeding.

Mogelijke onderwerpen

We bieden een breed scala aan projecten, van theoretisch tot praktisch georiënteerd

Heb je een eigen idee? We horen het graag!

students@axini.com

Track record

Laat je inspireren door het werk van je voorgangers

2025

Michalis Papapetros

UvA, MSc Software Engineering

Model-based Testing of Adaptive Microservice Systems

Wike Duivenvoorden

Universiteit van Amsterdam | Master Software Engineering

Cleaning up the clutter in interactive visualisations of labelled transition systems

Weronika Szybińska

Universiteit van Amsterdam | Master Software Engineering

Leveraging Model-Based Testing to Validate UI Behavior and Analyze Energy Efficiency in Android Applications

2024

Marwa Mohalaia

UvA, MSc Software Engineering

Towards Automating Usability Evaluation of Web-based GUI Applications Using Model-based Testing

Susan van den Broek

UvA, MSc Software Engineering

A Model-Centric Approach to Test Case Shrinking: utilising k-shortest path in model-based testing

Yannick van der Vleuten

UvA, MSc Software Engineering

Model-Based Testing of Client-Side Web Applications in Isolation

2023

Jouke Stoel

TU/e, PhD

Solving the Bank: Lightweight Specification and Verification Techniques for Enterprise Software

Maarten Schröder

VU, MSc Computer Science

Automatic test case generation based on properties as scenarios for Axini Modeling Language

Jore Booy

TU/e, MSc Computer Science

Model-Based Mocking Compositional Model-Based Testing for Microservices using the Axini Modeling Platform

Małgorzata Janeczko

UvA, MSc Software Engineering

Leveraging Symbolic Transition Systems to automate model-based web UI testing

Aleandro Mifsud

UvA, MSc Software Engineering

Blended AML: Transforming an internal textual DSL into a Blended Modelling Environment

2022

Marko Milardić

UvA, MSc Software Engineering

Model-based Testing of Interoperability in Internet of Things Protocols

Sky Sarah van Grieken

Technische Universiteit Eindhoven | Master Computer Science & Engineering

Encoding hashes in an SMT-solver using Z3

Mark Bebawy

Vrije Universiteit Amsterdam | Master Computer Science

Testing Strategies and Coverage Metrics in Model Based Testing

Lucas Steehouwer

Universiteit van Amsterdam | Master Software Engineering

Finding Deadlocks in Open Input-Output Symbolic Transition Systems by Model-Transformation to Promela

2021

Xavier van Dommelen

Universiteit van Amsterdam | Master Software Engineering

Model-Based Testing of Internet of Things Protocols

Tobias Bachmann

Universiteit van Amsterdam | Master Software Engineering

Translating SysML models into Symbolic Transition Systems for Model-Based Testing

Wouter Bohlken

Universiteit van Amsterdam | Master Software Engineering

Model-Based Fuzzing Using Symbolic Transition Systems

2020

Lars Meijer

Universiteit Twente | Master Computer Science

Test case shrinking for Model Based Testing on Symbolic Transition Systems

Florine de Geus

Universiteit van Amsterdam | Bachelor Computer Science

On the Use of SMT Solvers in Model-Based Testing

2019

Sjoerd van der Heijden

Universiteit van Amsterdam | Master Software Engineering

Trace Collection and Data Coverage for Model Based Testing

Jouke Roorda

Universiteit van Amsterdam | Master Software Engineering

Model Based Testing distributed Identity and Access Management software: Verifying OIDCfed

2018

Dennis van der Werf

Universiteit van Amsterdam | Master Software Engineering

Visualizing Symbolic Transition Systems

Aswathy George

UvA, MSc Information Studies

2017

Martijn Willemsen

UT, MSc Computer Science

Improving Diagnosis by Grouping Test Cases to Reduce Complexity

2016

Stan Janssen

UvA, MSc Software Engineering

Transforming Source Code into Symbolic Transition Systems for Practical Model-Based Testing

Peter Verkade

UvA, MSc Software Engineering

Model-Based Unit Testing using Decision Tables

2015

Ardavan Ghaffari

UvA, MSc Software Engineering

Trace Coverage Strategy for Symbolic Transition Systems

Jorge Mora Perdiguero

VU, MSc Computer Science

Development of an Efficient Data Coverage Strategy for TestManager

2014

Kai Bakker

UvA, MSc Software Engineering

Reachable States for Symbolic Transition Systems

Bas Meesters

UvA, MSc Software Engineering

The Visualization of Symbolic Transition Systems

2013

Johanneke Lamberink

UvA, MSc Software Engineering

Using Decision Tables in Model-Based Testing

Kevin de Berk

VU, MSc Computer Science

Model checking test models

Carsten Ruetz

Radboud Universiteit, MSc Computing Science

Model Checking of Symbolic Transition Systems with SMT Solvers

Vincent de Bruijn

UT, MSc Computer Science

Model-Based Testing with Graph Grammars

2011

Lennart Tange

UvA, MSc Software Engineering

Test-Based Modelling – Learning a Model From a System's Implementation

Machiel van der Bijl

UT, PhD

On Changing Models in Model-Based Testing

2010

Jasper Hendriks

UvA, MSc Software Engineering

Risk Reducing Test Case Generation for Model-based Testing

2009

Floor Sietsma

UvA, MSc Software Engineering

A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems

Klaar om te starten?

Neem contact met ons op en ontdek welk project bij jou past.

students@axini.com