We are offering a research position in the intersection of formal methods and IT security. You can find more information here. (wird in neuem Tab geöffnet)