title: Axini - various assignments
committee: Mariƫlle Stoelinga ,
Machiel van der Bijl


Axini is a spin-off of the University of Twente. We develop a software engineering approach, technology and tools to apply academic formal methods technology in practice. We work closely together with universities and research institutions (a.o. University of Twente, TNO, Eindhoven University of Technology, CWI). This allows us to obtain better results than the competition and it offers interesting internship and graduation possibilities. We also participate in European research projects such as Allegio and Reflexion.

We welcome computer science students with a critical view and a pragmatic attitude. We offer a dynamic environment with though and interesting puzzles, good and personal supervision in combination with a lot of freedom. Where possible we want to apply your research to use cases of our customers.

If you already know what you want to work on, just let us know. If you are still looking, maybe our list of graduation projects can inspire you, see http://www.axini.com/about/students/.