Student position in Complexity of mathematical proofs and structures

A 12-month student position (capacity 75% of full-time employment) within the framework of the Czech Science Foundation project 19-05497S: Complexity of mathematical proofs and structures is available in the Department of Mathematical Logic and Theoretical Computer Science, Institute of Mathematics of the Czech Academy of Sciences. Applications are invited from candidates who are master students or Ph.D. students in Mathematics / Computer Science, and who have a background and research interest in logic, computational or proof complexity, as well as attitude to solve problems in these areas. For more information, see Positions at Please apply ONLY through the online application system.

Job location: 
Zitna 25
11567 Prague
Czech Republic
Contact and application information
Tuesday, October 15, 2019
Contact name: 
Beata Kubis
Contact email: 
Graduate student fellowships