Logic List Mailing Archive

Senior research associate (TV-L E14) in computational logic (5y), Kassel (Germany), Deadline: 31 Jan 2011

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@uni-kassel.de".

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