For prospective students
New students are welcome. Diplomanti a doktorandi (Czech).
Foreign students:
The PhD programme at the Charles University is open for foreign students. The applications to the program are usually due around mid or late April.
The university offers a stipend; it is not sufficient to fully support a student but you may investigate funding options offered by the EC (e.g. a funding scheme available through a Marie Curie Initial Training Network worked in past).
Please note that I expect an applicant for a PhD study under my supervision to have a solid background in main parts of mathematical logic and a good command of basics of computational complexity theory, as well as a proven ability (e.g. via Master thesis or some paper) of independent research work.
Postdoctoral students in areas connecting logic and complexity theory (proof complexity, in particular) are most welcome. There are various funding options. For example, the Faculty opens each year usually one or two postdoc positions (for one year with the possibility to extend it for a second year). The funding is sufficient but the competition is across all fields of mathematics and is very high.