Logic List Mailing Archive

Assistant or Associate Professorship in Formal Methods, Kungens Lyngby (Denmark), Deadline: 30 Nov 2019

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*:
Associate/Assistant Professor in Formal Methods for Safe and Secure Systems

*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@dtu.dk
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam