Logic List Mailing Archive

Postdoctoral research fellowship in infinite-state systems and games, Brno (Czech Republic), Deadline: 31 Mar 2012

Postdoctoral Research Fellowship
********************************

The Formal Methods group at FI MU Brno (http://www.fi.muni.cz) offers
one PostDoc position in the area of modelling, analysis, and
verification of infinite-state systems, stochastic systems, and games.

The position is available from September 2012. The initial contract is
for one year and can be prolonged up to three years. The gross annual
salary ranges from 25.000 to 30.000 Euro.

The candidate must have a PhD degree in computer science, mathematics,
or related subjects, completed between March 28, 2008 and June 1, 2012.

Applicants should submit

- CV, incl. the list of publications
- a brief research statement (1-2 pages)
- letters of recommendation (one letter from the former supervisor
   is mandatory).

The dealine for applications is March 31, 2012. The applications
should be sent by e-mail to kucera@fi.muni.cz.

Further enquiries to Prof. Antonin Kucera, http://www.fi.muni.cz/usr/kuce
ra