Student position at the Czech Academy of Sciences

A 9 month student position (capacity 75% FTE) within the framework of the 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 background and research interest in logic, computational or proof complexity, as well as attitude to solve problems in these areas.