In the “Events” category, you will find information about activities in the “Logic and Rational Interaction” area.
Postdoctoral research fellowship in infinite-state systems and games, Brno (Czech Republic), Deadline: 31 Mar 2012
Postdoctoral research fellowship in infinite-state systems and games
Brno (Czech Republic)
Deadline: 31 Mar 2012
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
The dealine for applications is March 31, 2012. The applications should be sent by e-mail to firstname.lastname@example.org.
Further enquiries to Prof. Antonin Kucera, http://www.fi.muni.cz/usr/kucera