[isabelle] 2-year competitively paid postdoc position in Denmark

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

Application deadline is August 18, 2013!

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.