[Proof Complexity] possitions in the Mathematical Institute in Prague

[Pavel Pudlak]

Dear Colleagues,


there are one PhD position and one postdoc position in the Institute of 
Mathematics AS CR funded by the ERC Advanced Grant of Pavel Pudlak 
(FEALORA). The fields of the grant are proof complexity (bounded 
arithmetic, lengths of proofs), computational complexity (circuit 
complexity, complexity classes relevant for proof complexity) and 
pseudorandomness (in relation to proof complexity). The student and the 
postdoc are expected to work in these fields, therefore they should have a 
good background in computational complexity and logic. For more detail 
about the project, see
http://fealora.math.cas.cz

The student position will start in January 2015 and it will be for 4 
years.

The postdoc position will start in December 2014 and it will be for one or 
two years.

Application should be submitted via the electronic submission system at
  https://application.math.cas.cz/Positions.html#page=CALL_LIST


Pavel Pudlak