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