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.

Telefoon
+31 6 1642 6332

Voorgaande theses

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