Universiteit van Amsterdam

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.