Afstuderen of stage op het snijvlak van universiteit en bedrijfsleven

Axini is een spin-off van de Universiteit Twente. We passen academische formele methoden technologie toe in de praktijk. We werken veel samen met universiteiten en onderzoeksinstellingen (o.a. UT, UvA, TUe, CWI). Dit maakt dat we spectaculair betere resultaten boeken dan onze concurrenten en het biedt interessante mogelijkheden voor afstudeer- en stageopdrachten. Ook werken we samen met universiteiten en partners in onderzoeksprojecten, zoals het Allegio project. We verwelkomen universitaire studenten informatica met een kritische en pragmatische blik. Bij ons vind je een prikkelende omgeving, goede begeleiding in combinatie met veel vrijheid en toepassing van je werk op cases van klanten. Heb je al een specifieke opdracht voor ogen, laat het ons horen. Ben je nog zoekende, bekijk dan een van de bestaande opdrachten onderaan of doe inspiratie op uit de volgende onderwerpen die bij ons spelen:
  • Ontwikkeling van domeinspecifieke talen in Ruby
  • Praktische toepasbaarheid van modelleertalen als Promela, Alloy, executable UML en SBVR
  • Uitbreiding van ons test-framework, gebaseerd op Ruby on Rails
  • Gebruik van constraint solvers, theorem provers en model-checkers
  • Toepasbaarheid van academische test tooling als TorX, TGV en Alloy
  • Meten en analyseren van testcoverage op basis van modellen en implementatie
  • Visualisatie van modellen en testresultaten
  • Gebruik van AI-technieken, zoals evolutionaire algoritmen, voor het genereren en optimaliseren van testverzamelingen
  • Geautomatiseerd testen in het algemeen en model-gebaseerd testen in het bijzonder
Bespreek de mogelijkheden met Machiel van der Bijl: 06-16426332 of vdbijl [at] axini.com.

Openstaande opdrachten

Download het het overzicht van openstaande afstudeeropdrachten.

Scripties