print · source · login   


We have Three PhD positions available on the Intersection of Formal Methods, Artificial Intelligence and Machine Learning, in the context of the following projects:

In addition, two PhD positions will be available within the TTW Mascot project on Testing in Times of Continuous Change (TicToc).

Please contact one of us when you are interested in one of these projects/positions, or any other PhD project related to Software Science!