Senior Research Associate in Computational Logic at the 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 a senior research associate position in 
the area
of computational logic. The position is full-time, available immediately for
almost 5 years, and is part of the research group "Formal Methods and 
Verification"
headed by Prof. Martin Lange. An appointment will initially be made for 
two years
and can be expected to extend until 30/11/2015.

The position is funded via the ERC project "Model Checking Unleashed" 
which will
investigate non-standard applications of model checking techniques in 
various areas
of computer science and related subjects.

The successful candidate
- must have a PhD in (theoretical) computer science or related areas;
- ideally has some experience of working at post-doc level already;
- must have a good background in computational logic;
- should have some knowledge in the area of model checking;
- should provide evidence of being able to carry out research tasks 
independently
   (e.g. through publications at conferences and in journals, through 
initiatives
    to attract funding for research projects, through supervision of 
students, etc.)
- 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.

The position is paid according to the financially attractive pay scale 
TV-H EG14(!),
equivalent to the former BAT Ib and being one level above the ordinary 
scale EG13
for research assistants. Funding for conference trips etc. is available.

Knowledge of the German language is not a requirement for this position, 
and the post
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 containing the usual documents (CV, publication record) should
- clearly state the reference number 15167,
- explain the candidate's suitability according to the criteria listed 
above,
- contain contact details of people who would be able to provide letters of
   recommendation,
- be directed to the HR department at the University of Kassel, preferably
   electronically via "pvabt3 at uni-kassel.de".

Deadline for applications: January 31st, 2011
Official job announcement (in German):
http://www.uni-kassel.de/pvabt3/stellen/extern/15167.ghk