[Proof Complexity] Undergraduate intern in proof complexity and circuit complexity at Oxford

[Jan Pich]

Dear colleagues, 

there is an undergraduate internship in proof complexity and circuit complexity at the Department of Computer Science, University of Oxford. This is a short 4-week position with the starting date around 1 September. The application deadline is 20 July. More information can be found at http://www.cs.ox.ac.uk/news/2069-full.html. 
Informal inquiries can be sent to jan.pich at cs.ox.ac.uk. 

Best wishes, 
Jan