Special PhD positions at the Department of Computer Science
2018Department of Computer Science, Faculty of Informatics, Masaryk University, announces an open call for up to two PhD positions with special funding starting from September 2018, in the following areas:
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ý
The deadline for application is May 18, 2018.
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; prior knowledge of Czech is not necessary.
Each of the PhD positions is funded with a stipend of net value at least 29000CZK per month (this amount consists of the standard doctoral stipend and the extra departmental supplement of 10000CZK per month), which is approximately 1100Eur and is above 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.
Applicants are advised to contact directly their perspective supervisor (as listed below) for more specific details, well ahead of the deadline.
Applications consisting of CV, motivation letter, and possibly other relevant documents supporting the candidate's excellence should be sent
to prof. RNDr. Mojmír Křetínský, CSc. (
mojmirIdhJ_=oq5@fiav_AotkV&.munim49RZPHDf.cz) May 18, 2018.
Applications will be evaluated by the departmental committee, which will choose the best eligible applicant(s) over all the advertised topics.
The candidates are still obliged to pass the standard admission procedure for doctoral study. The stipend can be awarded only after successfully completing the standard admission procedure.
Control of distributed multi-agent systems under temporal constraintsSupervisor: prof. RNDr. Ivana Černá, CSc.
Area: Theoretical computer science, Formal Methods
Modern engineering systems such as autonomous ground and aerial vehicles, or human-robot collaborative teams, evolve quickly due to industrial needs. As these systems are typically safety critical, there is an equally growing need for formal approaches to their specification, design and verification. The perspective student shall focus on the problem of synthesis of control strategy for a complex dynamic distributed systems that satisfies given both qualitative and quantitative formal specifications. A special focus should be given on coordination of multiple devices working on a common task. Prior introductory knowledge of formal approaches to formal verification is welcome.
Topic: Structural Graph Theory and Algorithmic MetatheoremsSupervisor: prof. RNDr. Petr Hliněný, Ph.D.
Area: Theoretical computer science, Graph Theory
The perspective student shall work on width and depth parameters (such as tree-width and tree-depth and other) of graphs and other relational structures, and apply the theoretical results in
algorithmic metatheorems on restricted graph classes. The focus shall be on investigation of sparse graph classes and on complementary “dense” depth parameters such as the new shrub-depth, and
on metatheorems for problems formulated in FO logic. Prior introductory knowledge of structural graph theory, logic and parameterized complexity is welcome.
For more information, consult the current research directions.