2+3 year post-doc position in theoretical computer science at University of Kassel, Germany

[Martin Lange]

  *** apologies for multiple copies ***

The Department of Electrical Engineering and Computer Science at the 
University of
Kassel, Germany, announces an open full-time post-doc position in the 
research group
"Theoretical Computer Science / Formal Methods and Verification" (Prof. 
Martin Lange).

The position is funded via the ERC project "Model Checking Unleashed", 
and is - subject
to the final agreement between the ERC and the University of Kassel - 
initially available for
2 years starting December 2010 with the possibility for an extension of 
3 more years.
It is paid according to the financially attractive pay scale TV-H 
EG14(!) - the equivalent of
the former BAT Ib. This is one scale above the ordinary scale EG13 for 
research assistants.

The project will investigate non-standard applications of model checking 
techniques
in various areas of computer science and related subjects.

The successful candidate
- must possess a PhD in computer science or related areas, or be very 
close to completion;
- must have a good background in theoretical computer science with 
expertise in either
    computational logic or model checking;
- should be able to carry out research tasks independently and within a 
team;
- should be interested in inter-disciplinary research involving 
computational logic;
- will be required to carry out parts of the research plan for the 
project, bring in ideas
    of their own, help to select and supervise more junior team members, 
etc.

Knowledge of the German language is not a requirement for this position, 
and the posts
comes without teaching obligations.

Informal inquiries are welcome and should be directed to Martin Lange via
"martin <dot> lange <at> uni <minus> kassel <dot> de" or +49/0 561 804 6261.

Applications should
- clearly state the reference number 14730,
- contain a CV, a statement explaining the candidate's research 
interests, and contact details of
   people who would be able to provide letters of recommendation,
- be directed to "Präsident der Universität Kassel, 34109 Kassel, 
Germany" or electronically to
pvabt3 at uni-kassel.de.

Deadline for applications: October 15th, 2010
Official job announcement (in German):
http://www.uni-kassel.de/pvabt3/stellen/extern/14730.ghk