* Associate Senior Lecturer/Assistant Professor in Computer Science directed towards Logic of Programs
@ 2018-03-01 20:14 Erik Palmgren
0 siblings, 0 replies; only message in thread
From: Erik Palmgren @ 2018-03-01 20:14 UTC (permalink / raw)
To: homotopytypetheory
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2018-03-01 20:14 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-03-01 20:14 Associate Senior Lecturer/Assistant Professor in Computer Science directed towards Logic of Programs Erik Palmgren
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).