### Logic List Mailing Archive

## 9m student position (.75 fte) on complexity of mathematical proofs, Prague (Czech Republic)

Student position at the Czech Academy of Sciences
Deadline: Monday 18 March 2019
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.
For more information, see http://www.math.cas.cz/recrutements/postes.php?lang=0
or contact Pavel Hrubes at hrubes at math.cas.cz.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam