Please note that this newsitem has been archived, and may contain outdated information or links.
Assistant or Associate Professorship in Formal Methods, Kungens Lyngby (Denmark)
Deadline: Saturday 30 November 2019
The Section on Formal Methods for Safe and Secure Systems at the Department of Applied Mathematics and Computer Science (DTU Compute) invites applications for an Associate/Assistant Professor in Formal Methods for Safe and Secure Systems. The position is available from July 1, 2020 or according to mutual agreement.
For more information,
contact Andrea Vandin at anvan at dtu.dk.
Please note that this newsitem has been archived, and may contain outdated information or links.