[Agda] Senior lecturer in Logic of Programs in University of Gothenburg, Sweden

[Bengt Nordstrom]

Permanent position as Senior lecturer in Logic of Programs in
University of Gothenburg, Sweden

Deadline for application: 7 Aug 2012

Topics of interest include:

 - program verification,
 - dependent type theory,
 - dependently typed functional programming,
 - lambda calculus,
 - semantics of programming languages,
 - implementation of proof assistants,
 - applications of proof theory and category theory in programming.

The Department of Computer Science and Engineering is joint between
Chalmers and the University of Gothenburg and offers BSc- and MSc- and
PhD-level education in a broad range of subjects: Algorithms, Computer
Security, Dependable Computer Systems, Distributed Systems, Formal
Methods, Integrated Electronic System Design, Language Technology,
Logic, Networks and Software Engineering. The CSE education includes
almost 150 courses offered to around 20 different programmes at two
universities.

More information at

  http://goo.gl/ne7wY