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.
For more information, see
https://jobs.hw.ac.uk/OA_HTML/OA.jsp?OAFunc=IRC_VIS_VAC_DISPLAY&p_svid=22112&p_spid=1112032.
Please note that this newsitem has been archived, and may contain outdated information or links.