%20--%3e%3csvg%20width='297.45917'%20height='96'%20viewBox='0%200%20297.45917%2095.999997'%20version='1.1'%20id='svg846'%20xmlns='http://www.w3.org/2000/svg'%20xmlns:svg='http://www.w3.org/2000/svg'%3e%3cdefs%20id='defs11'%20/%3e%3cg%20id='g983'%20style='fill:%2373d7eb;stroke-width:1.07567'%20transform='scale(0.92965558)'%3e%3cpath%20d='m%200,67.083942%20c%200,22.48694%2013.316288,36.180108%2030.024461,36.180108%209.924403,0%2017.085049,-4.396892%2020.728184,-10.67816%20v%209.79878%20H%2075.375216%20V%2031.908842%20H%2050.752645%20V%2041.70762%20C%2047.10951,35.426352%2040.074489,31.029464%2030.024461,31.029464%2013.316288,31.029464%200,44.597003%200,67.083942%20Z%20m%2050.752645,0%20c%200,9.547528%20-5.904392,14.698167%20-12.813787,14.698167%20-7.03502,0%20-12.813786,-5.276265%20-12.813786,-14.698167%200,-9.547527%205.778766,-14.572541%2012.813786,-14.572541%206.909395,0%2012.813787,5.150639%2012.813787,14.572541%20z'%20id='path8252'%20style='fill:%2373d7eb;stroke-width:0.284603'%20/%3e%3cpath%20d='m%20133.41393,102.38467%20h%2027.63758%20L%20136.17769,67.837694%20160.17213,31.908842%20H%20133.16268%20L%20122.98702,49.622017%20110.29886,31.908842%20H%2082.661286%20L%20107.15823,65.827689%2083.666288,102.38467%20h%2027.009452%20l%2010.05003,-17.713177%20z'%20id='path8254'%20style='fill:%2373d7eb;stroke-width:0.284603'%20/%3e%3cpath%20d='m%20168.33758,102.38467%20h%2024.62257%20V%2031.908842%20h%20-24.62257%20z%20m%2012.43691,-77.008347%20c%208.66815,0%2014.32129,-5.527516%2014.32129,-12.562536%20C%20195.09578,5.6531413%20189.44264,6.1719204e-8%20180.77449,6.1719204e-8%20171.98071,6.1719204e-8%20166.32757,5.6531413%20166.32757,12.813787%20c%200,7.03502%205.65314,12.562536%2014.44692,12.562536%20z'%20id='path8256'%20style='fill:%2373d7eb;stroke-width:0.284603'%20/%3e%3cpath%20d='m%20255.01891,102.38467%20h%2024.62257%20V%2061.305176%20c%200,-18.466928%20-10.17565,-30.024461%20-26.50695,-30.024461%20-9.9244,0%20-17.3363,4.648138%20-21.48193,10.678155%20V%2031.908842%20H%20207.03003%20V%20102.38467%20H%20231.6526%20V%2064.571435%20c%200,-8.165648%204.52251,-12.939412%2011.80878,-12.939412%207.03502,0%2011.55753,4.773764%2011.55753,12.939412%20z'%20id='path8258'%20style='fill:%2373d7eb;stroke-width:0.284603'%20/%3e%3cpath%20d='m%20293.20887,102.38467%20h%2024.62257%20V%2031.908842%20h%20-24.62257%20z%20m%2012.43691,-77.008347%20c%208.66815,0%2014.32129,-5.527516%2014.32129,-12.562536%20C%20319.96707,5.6531413%20314.31393,6.1719204e-8%20305.64578,6.1719204e-8%20296.85201,6.1719204e-8%20291.19887,5.6531413%20291.19887,12.813787%20c%200,7.03502%205.65314,12.562536%2014.44691,12.562536%20z'%20id='path8260'%20style='fill:%2373d7eb;stroke-width:0.284603'%20/%3e%3c/g%3e%3c/svg%3e)
Every year we offer interesting graduation projects
Discover what Axini has to offer you.
Why graduate at Axini?
Axini is an Amsterdam-based spin-off from the University of Twente. We develop cutting-edge software engineering tools that bring academic formal methods into practice. Our expertise? Model-based testing (MBT) and model-driven software engineering (MBSE). Our platform enables large organizations like ProRail, Achmea and Thermo Fisher Scientific to deliver high-quality software on time.
We combine deep theoretical knowledge of formal methods with hands-on experience in software testing. That makes our graduation projects unique: you dive into the theory of formal methods and model checking, while simultaneously building concrete solutions for real challenges.
More than 20 years of experience
Over the past 20 years, we have supervised dozens of students. We use that experience to help you get the most out of your research. Check our track record further down this page.
Strong academic connections
We maintain close ties with universities (UvA, VU, UT, TU/e) and research institutions (TNO, CWI). We also participate in various European research projects, including TESTOMAT, Allegio and Reflexion. Many of our colleagues have an academic background as a master's student, PhD candidate or university lecturer.
Experience life at a software scale-up
During your graduation, you'll experience what it's like to work at a company that revolves around software engineering and continuous improvement. We have an informal, friendly culture with flexible working hours. A few days a week we're at our Amsterdam office, the rest of the week we work from home.
What we offer you
Strong guidance
Experienced supervisors who make time for you. They inspire and challenge you with deep domain knowledge.
Real research
Projects with a strong research component and concrete questions. You won't build a simple website, but work on real innovation.
Academic network
Direct access to universities and potential academic supervisors.
Proven track record
An impressive list of successful graduates. Scroll down for inspiration.
Internship compensation
All projects come with a monthly compensation.
Possible topics
We offer a wide range of projects, from theoretical to practically oriented
Formal methods & verification
- Model checking of symbolic transition systems – Automatically verify model properties with linear time logic and formal methods
- Requirements coverage – Formalize natural language to guarantee that requirements are covered by models and test cases
- Debugger – Research and implement advanced debugging functionality
Modeling & visualization
- Visualization of models – Make large, complex models and concepts like parallelism and non-determinism visually insightful
- Visual modeling – Combine textual and visual modeling via a shared representation
- Design a modeling language for data and interaction – Develop a new language for reactive and data-oriented systems
Have your own idea? We'd love to hear it!
students@axini.comTrack record
Get inspired by the work of your predecessors
UvA, MSc Software Engineering
Model-based Testing of Adaptive Microservice Systems
Universiteit van Amsterdam | Master Software Engineering
Cleaning up the clutter in interactive visualisations of labelled transition systems
Universiteit van Amsterdam | Master Software Engineering
Leveraging Model-Based Testing to Validate UI Behavior and Analyze Energy Efficiency in Android Applications
Marwa Mohalaia
UvA, MSc Software Engineering
Towards Automating Usability Evaluation of Web-based GUI Applications Using Model-based Testing
UvA, MSc Software Engineering
A Model-Centric Approach to Test Case Shrinking: utilising k-shortest path in model-based testing
UvA, MSc Software Engineering
Model-Based Testing of Client-Side Web Applications in Isolation
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
TU/e, MSc Computer Science
Model-Based Mocking Compositional Model-Based Testing for Microservices using the Axini Modeling Platform
UvA, MSc Software Engineering
Leveraging Symbolic Transition Systems to automate model-based web UI testing
UvA, MSc Software Engineering
Blended AML: Transforming an internal textual DSL into a Blended Modelling Environment
UvA, MSc Software Engineering
Model-based Testing of Interoperability in Internet of Things Protocols
Technische Universiteit Eindhoven | Master Computer Science & Engineering
Encoding hashes in an SMT-solver using Z3
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
Universiteit van Amsterdam | Master Software Engineering
Model-Based Testing of Internet of Things Protocols
Universiteit van Amsterdam | Master Software Engineering
Translating SysML models into Symbolic Transition Systems for Model-Based Testing
Universiteit van Amsterdam | Master Software Engineering
Model-Based Fuzzing Using Symbolic Transition Systems
Universiteit Twente | Master Computer Science
Test case shrinking for Model Based Testing on Symbolic Transition Systems
Universiteit van Amsterdam | Bachelor Computer Science
On the Use of SMT Solvers in Model-Based Testing
Universiteit van Amsterdam | Master Software Engineering
Trace Collection and Data Coverage for Model Based Testing
Universiteit van Amsterdam | Master Software Engineering
Model Based Testing distributed Identity and Access Management software: Verifying OIDCfed
Universiteit van Amsterdam | Master Software Engineering
Visualizing Symbolic Transition Systems
UvA, MSc Information Studies
UT, MSc Computer Science
Improving Diagnosis by Grouping Test Cases to Reduce Complexity
UvA, MSc Software Engineering
Transforming Source Code into Symbolic Transition Systems for Practical Model-Based Testing
UvA, MSc Software Engineering
Trace Coverage Strategy for Symbolic Transition Systems
VU, MSc Computer Science
Development of an Efficient Data Coverage Strategy for TestManager
Kai Bakker
UvA, MSc Software Engineering
Reachable States for Symbolic Transition Systems
Johanneke Lamberink
UvA, MSc Software Engineering
Using Decision Tables in Model-Based Testing
Carsten Ruetz
Radboud Universiteit, MSc Computing Science
Model Checking of Symbolic Transition Systems with SMT Solvers
Lennart Tange
UvA, MSc Software Engineering
Test-Based Modelling – Learning a Model From a System's Implementation
Jasper Hendriks
UvA, MSc Software Engineering
Risk Reducing Test Case Generation for Model-based Testing
Floor Sietsma
UvA, MSc Software Engineering
A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems