Monday, February 20, 2012

PostDoc position -- stochastic systems and games

Postdoctoral Research Fellowship

The Formal Methods group at FI MU Brno ( 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

Further enquiries to Prof. Antonin Kucera,