Students

Graduating at Axini

Axini is an Amsterdam-based technology spin-off of the University of Twente. We develop software engineering tools that apply academic formal methods in practice. Our focus is on model based testing (MBT) and model based software engineering (MBSE). Our platform helps large companies such as ProRail, Achmea and Thermo Fisher Scientific deliver high quality software on time.

We have both a lot of theoretical knowledge on formal techniques and hands on experience with software testing in the real world. This mix results in interesting research topics for graduation projects. Get more theoretical by diving into formal methods and model checking or tackle the testing or modeling challenges of the real world.

Axini has hosted many graduation projects over the past 15 years. We have a lot of experience that allows us to help students make the most of their research. See our track record below.

We have good connections with universities (University of Amsterdam, VU Amsterdam, University of Twente, Eindhoven University of Technology) and research institutions (TNO, CWI). Additionally, we participate in various European research projects including TESTOMAT, Allegio and Reflexion. Many of us have a background in academia, be it as master student, PhD or professor. We know what research is like and can get you in contact with the people you need to make your project a success.

During your project you will experience what life is like in a product software company focused on software engineering and continuous improvement. We have a friendly, informal environment and flexible hours. We are in our office in Amsterdam a few days a week and work from home on the others.

We are looking for students with a pragmatic attitude that like to work on boundary between research and practice.

We offer students the following:

• Good supervision

  We have experienced supervisors that will make time to guide your research. We can inspire you and challenge your ideas with our in-depth domain knowledge.

• Research topics

  We offer real research topics and challenging puzzles for real world problems. You won’t be building a website for us.

• Connections in academia

  We have good connections with universities and potential academic supervisors.

• Track record

  We have a good track record of graduation projects. See below for a list of your predecessors.

• Internship compensation

  All projects are accompanied with a monthly internship compensation.

Possible research topics

We offer a wide range of research topics, both theoretical and more practical oriented.

• Model checking of symbolic transition systems

  Automatically verify properties of symbolic transition system models using linear time logic and formal methods. Read more

• Requirements coverage

  Formalize natural language requirements to ensure they are included in the model and generated test cases. Read more

• Data coverage

  Explore the concept of data coverage in model-based testing, addressing the challenges of defining, tracking, and optimizing data utilization within test cases. Read more

• Visualizing formal models

  Develop techniques to visualize large and complex models or advanced concepts such as parallelism and non-determinism intuitively. Read more

• Internal communication

  Develop techniques that can be used to better analyze internal communication between processes in a model. Read more

• Visual modeling

  Enable both textual and visual modeling using some intermediate representation to keep the two in sync. Read more

• Model learning

  Automatically derive a model from the system under test using log files or other observed behavior. Read more

• Code generation from formal models

  Generate (skeleton) application code using formal models of the desired behavior. Read more

• Model based testing of GUI applications

  Extend the model based testing theory with the concepts needed to tests systems with a GUI, such as web, desktop and mobile applications. Read more

• Automated model generation

  Research the possibility of transforming other models or source code into formal AML models. Read more

• Design and implement a modeling language for data and interaction

  Develop a new modeling language that can address the requirements of reactive and data-oriented systems. Read more

• Debugger

  Investigate and implement advanced debugging features. Read more

• Input generation based on the model

  Improve test case generation in model based testing by integrating symbolic execution with the Z3 theorem prover. Read more

• Timed testing

  Extend AMP and symbolic transition systems with the concept of timed testing. Read more

If you have a different topic in mind that you think might fit us, we would be very pleased to hear it.

Contact

Would you like to know more or discuss your ideas? Get in touch with us at students@axini.com.

Track record

Read the work of your predecessors to get inspired.