Please note that this newsitem has been archived, and may contain outdated information or links.
Associate Senior Lectureship in Logic of Programs, Stockholm (Sweden)
Deadline: Tuesday 3 April 2018
The Department of Mathematics at Stockholm University is looking for an Associate Senior Lecturer/Assistant Professor in Computer Science directed towards Logic of Programs. The subject of the position includes program verification, implementation of proof systems, and applications of proof theory in programming, functional programming, and semantics of programming languages.
For more information, see
https://www.su.se/english/about/working-at-su/jobs?rmpage=job&rmjob=4952&rmlang=UK.
Please note that this newsitem has been archived, and may contain outdated information or links.