Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* 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).