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