Associate/Assistant Professor in Formal Methods for Safe and Secure Systems [Deadline 30/11/2019]

by Andrea Vandin, Oct. 9, 2019

Associate/Assistant Professor in Formal Methods for Safe and Secure Systems at DTU Technical University of Denmark [Deadline 30/11/2019]

The Section on Formal Methods for Safe and Secure Systems at the Department of Applied Mathematics and Computer Science (DTU Compute) of the Technical University of Denmark invites applications for an Associate/Assistant Professor in Formal Methods for Safe and Secure Systems.


Apply online and find details

https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=33c76538-f7be-48e0-8093-a67821f25cf0


Application deadline

November 30th, 2019

Starting date

The position is available from July 1, 2020 or according to mutual agreement.