Graduation or internship; a bridge between university and industry

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 the following list or our list of graduation projects can inspire you.

  • Development of domain-specific languages in Ruby
  • Practical applicability of modeling languages like Promela, Alloy, executable UML and SBVR
  • Extension of our modeling and model-based testing framework based on Ruby, and Ruby on Rails
  • Usage of constraint solvers, theorem provers and model-checkers
  • Applicability of academic test tooling like TorX, TGV en Alloy
  • Measurement and analysis of test-coverage based on models and implementations
  • Visualization of models and test-results
  • Usage of AI techniques, like evolutionary algorithms, to generate, optimize an/or analyse tests and test-results
Are you interested or do you want to discuss your ideas with a human being, call Machiel van der Bijl: +31 6 1642 6332 of vdbijl [at] axini.com.

List of graduation exercises

Download the overview of graduation projects.

Thesis