Universiteit van Amsterdam

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

Assistant/Associate Professorships in verification / programming languages, Edinburgh (Scotland)

Deadline: Sunday 12 May 2019

Several Assistant Professor or Associate Professor positions are opening at Heriot-Watt University, with a focus on the following areas: verification/programming languages, computer security, or data science.

We invite bright researchers with expertise and a strong publication record in one of the following: programming languages, semantics, static analysis, type systems, proof theory, verification, formal methods, distributed systems, and parallel computation.

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