Universiteit van Amsterdam

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.