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 http://www.math.cas.cz/. Please apply ONLY through the online application system.