Associate Senior Lecturer/Assistant Professor in Computer Science directed towards Logic of Programs

[Erik Palmgren]

Associate Senior Lecturer/Assistant Professor in Computer Science
directed towards Logic of Programs

at the Department of Mathematics, Stockholm University.
Closing date: 3 April 2018.

Subject description

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.

Read more:

https://www.su.se/english/about/working-at-su/jobs?rmpage=job&rmjob=4952&rmlang=UK​