Thursday, November 26, 2015

[DMANET] PhD positions in theoretical CS (formal methods and algorithms) in Brno, CZ, since 2016

Department of Computer Science, Faculty of Informatics, Masaryk
University, Brno CZ, http://www.fi.muni.cz/,
announces an open call for special PhD positions starting from February 2016,
in the following areas:

* Topic: Parameter and model fitting of complex adaptive systems
Supervisor: Prof. Luboš Brim
* Topic: Control of distributed multi-agent systems under temporal constraints
Supervisor: Prof. Ivana Černá
* Topic: Structural Graph Theory and Algorithmic Metatheorems
Supervisor: Prof. Petr Hliněný
* Topic: Stochastic games in operational research
Supervisor: Prof. Antonín Kučera

See for general information:
http://www.fi.muni.cz/studies/doctoral/calls/call-ktp2015.xhtml.en
The deadline for application is January 12, 2016.

General information
Perspective PhD students are expected to show their research background
and skills in the area of the selected PhD topic. They should also be
proficient in English; knowledge of Czech is NOT necessary.

Stipend
The PhD positions are funded with a stipend of net value 20000CZK per
month, which is approximately 750Eur and is on the level of an average
net salary in the Czech Republic. The stipend is granted to successful
applicants for the first 2 years, with an expected renewal (after an
evaluation) for another 2 years. The total length of study is 4 years.

Application procedure
Applicants are strongly advised to contact their perspective supervisor
for more specific details, well ahead of the deadline.


--
Petr Hlineny <petr.hlineny@googlemail.com>

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************