Logic List Mailing Archive

Associate Senior Lectureship in Logic of Programs, Stockholm (Sweden), Deadline: 3 Apr 2018

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?
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam