coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 2-year competitively paid postdoc position in Denmark

From: Peter Schneider-Kamp <petersk AT imada.sdu.dk>
To: <coq-club AT inria.fr>
Subject: [Coq-Club] 2-year competitively paid postdoc position in Denmark
Date: Sun, 28 Jul 2013 22:26:35 +0200

(apologies for multiple copies)
(please pass this message on to interested colleagues/students)

Affiliation: Programming Languages & Verification (Peter Schneider-Kamp)
Location : University of Southern Denmark, Odense, Denmark

Duration : 24 months
Start : expected second half of 2013, latest beginning of 2014
Salary : gross approx. EUR 4400 / month (approx. 3000 after taxes)

Potential Research Topics (negotiable, not a project position):
- software and/or hardware verification
- static analysis
- semantics of programming languages
- computational logic
- decision procedures
- term rewriting

For further information and the application form, use this link:
http://tinyurl.com/postdoc-denmark

Application deadline is August 18, 2013!

[Coq-Club] 2-year competitively paid postdoc position in Denmark, Peter Schneider-Kamp, 07/28/2013