Logic List Mailing Archive

Postdoctoral position in model checking or computational logic, Kassel (Germany), Deadline: 15 May 2014

The Theoretical Computer Science / Formal Methods (FMV) research group at the
University of Kassel is looking for a post-doc to work on the ERC funded
project "Model Checking Unleashed". The project investigates potential
applications of computational logic technology, in particular model
checking, in all sorts of different areas.

We are looking for a candidate who

- holds a PhD in computer science, mathematics or related areas
(mandatory),

- has a strong background in theoretical computer science (mandatory),

- has worked in areas related to model checking or computational logic
(preferable),

- complements the group's expertise with knowledge and experience in some
research area in which model checking technology could potentially be
applied (preferable).

We offer an international, friendly, ambitious and open-minded working
environment. Working language at the FMV group is English in general.
Knowledge of German is helpful but not necessary. There are no teaching
obligations. The position would be paid according to the standard pay
scale "TV-H EG13" and comes with health cover, pension scheme
contributions, etc. It is available immediately for upto 12 months before
30/11/2015.

In order to apply, please send your details (CV, etc.) to

   bewerbungen@uni-kassel.de

quoting the reference number 23166. The deadline for applications is 15th of
May. The official announcement (in German) is available here:

http://www.uni-kassel.de/intranet/aktuelles/stellenangebote/stellenausschreibung-details/tx_ukstellenausschreibung/23166.html

For informal enquiries please contact Martin Lange via

   <first name>.<last name>@uni-kassel.de

and/or consult the website of the FMV group at

   http://www.uni-kassel.de/eecs/fachgebiete/fmv/home.html .