[Agda] Tenure track Assistant Professor in Computer Science directed towards Logic of Programs (Deadline: April 3)

[Erik Palmgren]

Here is a position that might be of interest to the readers of the Agda
and Coq lists.

The Department of Mathematics, at Stockholm University is offering a
tenure track position as Assistant Professor in Computer Science
directed towards Logic of Programs.

Some features

- 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.
- Possibilities to work with the wellknown logic/type theory group
- The teaching load is at most 30 % for the first 4 years.
- Proficiency in Swedish is not a requirement at the time of
appointment, but the candidate should be prepared to carry out teaching
and administrative duties that require proficiency in Swedish within two
years of employment.

​Full announcement:

https://www.researchgate.net/job/906901_Assistant_Professor_in_Computer_Science_directed_towards_Logic_of_Programs?source=jml&viewIds%5B0%5D=Ehy4AzSnzrQZHF80a9Lo1VhP



Erik Palmgren

Professor of Mathematical Logic
https://www.math.su.se/english/research/research-groups/research-group-in-mathematical-logic-1.330078