[SMT-LIB] 2-year competitively paid postdoc position in Denmark

[Peter Schneider-Kamp]

(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!