We are offering a research position in the intersection of formal methods and IT security. You can find more information here. (opens in new tab)