PhD position in theoretical computer science: synthesis and verification of stochastic systems using learning methods

Department:
The Laboratory of Formal Methods, Logic and Algorithms (Formela), Department of Computer Science, Faculty of Informatics of Masaryk University, Brno, Czech Republic
Deadline: January 5, 2018
Start date: February 2018 or September 2018
LABORATORIES
Up to two PhD positions are available for three possible topics at the Department of Computer Science of the Faculty of Informatics of Masaryk University, Brno, Czech Republic. The main areas of research of the department include: Formal verification, Program analysis, Logic and Game theory in CS, Multi-agent systems, Computational biology, Quantum computing, Parameterized complexity and algorithms, Structural graph theory.
JOB DESCRIPTION
Candidates are expected to carry out scientific research at the top international scale.
The other 2 possible research areas of theoretical computer science (links for more details)

• Control of distributed multi-agent systems under temporal constraints
(Supervisor: Prof. Ivana Černá) https://www.findaphd.com/search/ProjectDetails.aspx?PJID=90708
• Structural graph theory and algorithmic metatheorems
(Supervisor: Prof. Petr Hliněný) https://www.findaphd.com/search/ProjectDetails.aspx?PJID=90709

Candidates are strongly advised to consult their application with the supervisor before submission. Full job description, including further contact details, can be found at https://www.fi.muni.cz/studies/doctoral/calls/call-ktp.xhtml.en.

CANDIDATE PROFILE
• Complete Master’s degree (M.Sc., M.Eng., or equivalent) in computer science, mathematics or related field
• Research background in the area of the selected topic (from the list offered ones)
• Fluent in written and spoken English
WE OFFER
• International multidisciplinary team engagement in highly ambitious projects of theoretical computer science
• Work in an inspiring and highly collaborative environment
• Various opportunities for further education, training and professional growth
APPLICATIONS
The candidates are invited to send their:
• Attached detailed CV (including education, degrees and dates, publications/scientific presentations, skills/experiences in programming languages, project work, academic awards, etc.)
• Motivation letter explaining why you apply specifically for the selected topic and why you are the perfect candidate
• Transcript of the grades from the Master’s and Bachelor's degree
• Two references

Please send the application to Prof. Mojmír Křetínský: [Email Address Removed]