The formal system analysis group has several open PhD positions, targeting various topics that range from pure theory to applied formal methods. Please contact us, in case you consider to strive towards a PhD and have strong background in mathematics and computer science. We are looking forward to present available topics to you.