print · source · login   

Student Research Projects

As mentioned in the slides used during the bachelor thesis market, there are many opportunities for research projects within the Software Science group! Projects are available on the following themes:

Software Analysis and Dependability

  1. Learning and Testing (Frits Vaandrager, Jan Tretmans)
  2. Verified and Dependable Artificial Intelligence and Machine Learning (Nils Jansen)
  3. Developing Trustworthy Algorithms to Evaluate System Dependability (Sebastian Junges)
  4. Change Impact Analysis (Dennis Hendriks)
  5. Program Verification with Types and Logic (Robbert Krebbers)

Software Engineering

  1. Software Refactoring (Bin Lin)
  2. Software Development Bots (Mairieli Wessel)
  3. Model-Based Software Engineering (Daniel Strueber)
  4. Software Product Lines (Daniel Strueber)
  5. Embedded Systems (Mathijs Schuts, Frits Vaandrager, Nils Jansen)

Software Technology

  1. Task Oriented and Functional Programming (Pieter Koopman, Peter Achten)
  2. HPC, Compiler Technology, and Array Programming (Sven-Bodo Scholz)
  3. Computing Education (Sjaak Smetsers)

Software Theory

  1. Foundations (Herman Geuvers, Cynthia Kop)
  2. Type Theory (Herman Geuvers, Freek Wiedijk)
  3. Formal Proofs (Freek Wiedijk, Herman Geuvers)
  4. Foundations and analysis of models of computation (Jurriaan Rot)

Some of the listed topics (especially internships at companies) are only suitable as an MSc project. For most topics however, both a bachelor and master thesis project can be defined, as well as research internships within the department.

There are many opportunities for doing internships abroad. In fact, we will be happy to help you to arrange an internship at any place on earth where serious software science research is being carried out. For instance at the Max Planck institutes in Germany, where we have multiple ongoing research collaborations and where several internships are available.

Bachelor thesis projects are written within the context of the corresponding course. General info about the process of doing your master thesis, including the administrative procedure, is available at the Master Thesis Lab webpages.