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

[Andrea Vandin]

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: anvan at dtu.dk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20191009/f885fe12/attachment-0001.html>