[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Section on Formal Methods for Safe and Secure Systems
<https://www.compute.dtu.dk/english/research/research-sections/formalmethods>
at
the Department of Applied Mathematics and Computer Science (DTU Compute)
<https://www.compute.dtu.dk/english> of the Technical University of Denmark
<https://www.dtu.dk/english> 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.
--
Andrea Vandin, PhD
Associate Professor
DTU - Technical University of Denmark,
Department of Applied Mathematics and Computer Science,
Section on Formal Methods
http://www.compute.dtu.dk/english/research/formalmethods
URL: http://people.compute.dtu.dk/anvan/
e-mail: [email protected]
