News and Events: Open Positions

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.

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