Studenten

Elk jaar biedt Axini afstudeerprojecten aan voor studenten. Lees meer over de mogelijkheden.

Afstuderen bij Axini

Axini is een Amsterdamse spin-off van de Universiteit Twente. Wij ontwikkelen software engineering tools die academische formele methoden toepassen in de praktijk. We richten ons met name op model-gebaseerd testen en model-gedreven software engineering. Onze tools worden gebruikt bij grote Nederlandse bedrijven waaronder ProRail en Achmea.

We hebben hierdoor zowel veel theoretische kennis over formele methoden als ervaring met het testen van software in de praktijk. Met deze combinatie kunnen wij interessante onderwerpen aanbieden voor afstudeerprojecten. Duik in de theorie van formele methoden en model checking of bouw oplossing voor de uitdaging van modelleren en testen in de praktijk.

Axini heeft in de loop der jaren veel afstudeerprojecten begeleid. We hebben veel ervaring waarmee we studenten kunnen helpen het maximale uit hun project te halen. Al onze studenten zijn geslaagd. Zie ons ​​track record verder op de pagina.

We hebben goede contacten met universiteiten (Universiteit Twente, Technische Universiteit Eindhoven, Universiteit van Amsterdam) en onderzoeksinstellingen (TNO, CWI) en we nemen deel aan Europese onderzoeksprojecten zoals TESTOMAT, Allegio en Reflexion. De meeste van onze collega's hebben een achtergrond in de academische wereld, zij het als docent, promovendus of masterstudent. We weten hoe onderzoek in elkaar steekt en kunnen jou in contact brengen met de mensen die je nodig hebt om jouw project tot een succes te maken.

Tijdens je project kun je ervaren hoe het leven is bij een softwarebedrijf gericht op vakmanschap en voortdurende verbetering. We hebben een vriendelijke, informele sfeer en flexibele uren. Collega's en studenten kunnen er voor kiezen om een ​​deel van de week thuis te werken.

Wij bieden studenten het volgende.

Goede begeleiding
We hebben ervaren begeleiders die tijd maken voor jouw onderzoek. Zij kunnen je inspireren en uitdagen met onze diepgaande domeinkennis.
Echt onderzoek
We bieden projecten aan met een sterk onderzoekscomponent en vraagstukken voor echte problemen. Je gaat geen website voor ons bouwen.
Contacten in de academische wereld
We hebben goede connecties met universiteiten en potentiële academische begeleiders.
Track record
We hebben een mooi track record van afstudeerprojecten. Kijk hieronder voor een lijst van je voorgangers.
Locatie
Wij zijn gevestigd in Amsterdam, dicht bij het Science Park. We zijn gemakkelijk te bereiken met het openbaar vervoer.
Stagevergoeding
Alle projecten gaan gepaard met een maandelijkse stagevergoeding.

Mogelijke onderwerpen

We bieden een breed scala aan projecten aan, zowel theoretisch als praktisch georiënteerd.

Model checking van symbolische transitiesystemen
Verifieer automatisch de eigenschappen van modellen met behulp van linear time logic en formele methoden.
Automatische test-analyse
Vind automatisch patronen in testgevallen om te helpen bij test-analyse en het lokaliseren van bugs.
Testgeneratie- en selectie-strategieën
Genereer nog slimmere testgevallen door onze teststrategieën uit te breiden met data coverage en slimmere pathfinding.
Visueel modelleren
Maak het mogelijk om zowel visueel als tekstueel te modelleren. Hiervoor zal een tussenliggende representatie ontwikkeld moeten worden die de concepten uit de twee talen combineert.
Model-gebaseerd testen van GUI-applicaties
Breid de klassieke model-gebaseerd testen theorie uit met de concepten die nodig zijn om GUI-applicaties zoals web- en desktop-applicaties te testen.
Model-gebaseerd security testing
Evalueer de toepasbaarheid van model-gebaseerd testen in het security domein en experimenteer met model-gebaseerde fuzzers.
Model-gebaseerd testen van IoT protocollen
Evalueer de toepasbaarheid van model-gebaseerd testen op internet of things protocollen door bijvoorbeeld het ZigBee protocol te testen.
Model learning
Analyseer logbestanden of andere uitvoer van een systeem en genereer automatisch een model dat het waargenomen gedrag beschrijft.

Als je een ander onderwerp in gedachten hebt, horen wij het graag.

Contact

Wil je meer weten? Je mag altijd bellen of mailen naar Machiel van der Bijl.

Voorgaande theses

Lees het werk van je voorgangers voor inspiratie en ideeën.