coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Erik Palmgren <palmgren AT math.su.se>
To: coq-club AT inria.fr, Agda List <agda AT lists.chalmers.se>
Subject: [Coq-Club] Tenure track Assistant Professor in Computer Science directed towards Logic of Programs (Deadline: April 3)
Date: Thu, 15 Mar 2018 18:41:15 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=palmgren AT math.su.se; spf=Pass smtp.mailfrom=palmgren AT math.su.se; spf=None smtp.helo=postmaster AT mail-prod-route02.it.su.se
Ironport-phdr: 9a23:2Zv3KBwemE5RqVHXCy+O+j09IxM/srCxBDY+r6Qd2+wQIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDtU7s6RSqt4LtqSB/wiScIKTg58H3MisdtiK5XuQ+tqwBjz4LRZoyeKfhwcb7Hfd4CWGRPQMhRWSxCDI2yYYQAAOgOMvpXoYTmu1sDrgGzCRWwCO7hyDJFgGL9060g0+QmFAHLxAMuH8gPsHTXsd77Lr0dUeSwzKnH1zXMcfVW0ir65YjQaB8hpfSMXb1qccXPz0kiDAbFgU+MqYzlJT+VzfkNv3KA7+V+TO+ijXMspQ92ojiq3Mgsi4/Ji5oPyl/a7iV23pw6JcekR057bt6rCodQuD+AO4twXMwiX3lkuD0nyrEcop60Yi4Hw4kkyR7Hc/GKcYqF7gj9WOufIjp0nnxodbKlixqv/kWs1vXwW8qo3FpQsCZJj9jBumoO2hHS8MSKROZx80G80jiVzQ/T8PtLIUUsmKrbNZEhxrkwm4IWsUvZHy/2nFz6jLeMdkUj5+ek8v7nYrL7pp+AKYB4lh/yPr4vmsyjG+g4KRUOU3KA+euizLHj/Ev5T6tWjvAukKTUsorWKdoVq6O6GQNY3IYu5wyiAzqpzNgUhXwHI0hEeBKDgYjpIVbOIPXgAPenmVuslDJrx//cPrL/BJXANX3Dn639fbZ98UJc0xczwcpE551KEr0BOu78WlfttNzECR80KxC7w+H+CNlkyoweXX+PDbSCPaPJsV6I4/ovLPOWaI8Uvjb9Mfkl6OT0gX83g19ONZWuiJAQcTWzGulsC0Sfe3vlxNkbVS8jsQY3BMjrk0HKBTdca3+aW6Mn+ip9A4KvCYLOXJvrm7HXjwmhGZgDS3pHCRi0GHPteJ+JXb9YcCuWJ8B7nzosULG9S8k6yFe1uVmpmPJcMuPI93hA5trY399v6riWzElqrG0mP4Gmy2iIClpMsCYNTj4y0rp4pBUnmFKKzag+mOEeDtEBvqoVADd/DobVyqlBM/63QhjIJ43bTV+6QpO9HHcqQ4BpmoJcUwNGA9ynyyv78W+qDrsSzezZAZU19ufExX/9Ytx61mrLjPNnjkVgWdYJLmD03qM=

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

[Coq-Club] Postdoc position in Orsay, France, Sylvie Boldo, 03/15/2018
- [Coq-Club] Tenure track Assistant Professor in Computer Science directed towards Logic of Programs (Deadline: April 3), Erik Palmgren, 03/15/2018