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. Onze focus ligt op model-gebaseerd testen (MBT) en model-gedreven software engineering (MBSE). Ons platform helpt grote bedrijven zoals ProRail, Achmea en Thermo Fisher Scientific hoge kwaliteit software op tijd te leveren.
We hebben 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 de afgelopen 15 jaren veel afstudeerprojecten begeleid. We hebben veel ervaring waarmee we studenten kunnen helpen het maximale uit hun onderzoek te halen. Zie ons track record verder op de pagina.
We hebben goede contacten met universiteiten (Universiteit van Amsterdam, Vrije Universiteit Amsterdam, Universiteit Twente, Technische Universiteit Eindhoven}) en onderzoeksinstellingen (TNO, CWI). Verder nemen we deel aan verschillende Europese onderzoeksprojecten waaronder TESTOMAT, Allegio en Reflexion. Veel onze collega's hebben een achtergrond in de academische wereld, zij het als masterstudent, promovendus of universitair docent. 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 ervaar je hoe het leven is bij een softwarebedrijf gericht op vakmanschap en voortdurende verbetering. We hebben een vriendelijke, informele sfeer en flexibele uren. We zijn enkele dagen per week op kantoor in Amsterdam en werken de overige dagen thuis.
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.
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.
Lees meer Automatische test-analyse
Vind automatisch patronen in testgevallen om te helpen bij test-analyse en het lokaliseren van bugs.
Lees meer Testgeneratie- en selectie-strategieën
Genereer nog slimmere testgevallen door onze teststrategieën uit te breiden met data coverage en slimmere pathfinding.
Lees meer Visualisatie van modellen
Ontwikkel technieken om grote en complexe modellen of complexe concepten als parallelism en nondeterminisme intuitief te visualiseren.
Lees meer Visueel modelleren
Maak het mogelijk om zowel tekstueel als visueel te modelleren met behulp van een tussenliggende representatie om beide in sync te houden.
Lees meer Model learning
Genereer een formeel model van het systeem onder test op basis van geobserveerd gedrag of logbestanden.
Lees meer Codegeneratie vanuit formele modellen
Genereer applicatiecode op basis van formele modellen die het gewenste gedrag beschrijven.
Model-gebaseerd testen van GUI-applicaties
Breid de model-gebaseerd testen theorie uit met de concepten die nodig zijn om GUI-applicaties zoals web en desktop en mobiele applicaties te testen.
Lees meer Model-gebaseerd security testing
Onderzoek hoe de concepten van security testing en model-gebaseerd testen elkaar kunnen aanvullen.
Lees meer Model-gebaseerd testen van IoT protocollen
Evalueer de toepasbaarheid van model-gebaseerd testen op internet of things protocollen zoals Zigbee.
Lees meer Model-gebaseerd testen van 3D games
Pas model-gebaseerd testen toe op 3D games en simulaties.
The FormaSig project for saftey critical systems at ProRail
Onderzoek de toepasing van formele methoden op veiligheidskritische systemen in het spoordomein.
Lees meer Als je een ander onderwerp in gedachten hebt, horen wij het graag.
Contact
Wil je meer weten? Neem contact met ons op via students@axini.com.
Track record
Lees het werk van je voorgangers voor inspiratie en ideeën.