[Proof Complexity] PhD positions in the Mathematical Institute in Prague
Pavel Pudlak
pudlak at math.cas.cz
Fri Feb 13 17:40:45 CET 2015
1. A one‐year post‐doc position available within the framework of the
European Research Council Advanced Grant Feasibility, logic and randomness
in computational complexity (FEALORA) under the direction of Professor
Pavel Pudlák.
Requirements:
Ph.D. degree in Mathematics or Theoretical Computer Science completed
within the period January 2012 – November 2015. Good background in logic
and computational complexity.
Starting date: 1.12.2015.
Deadline for submission: 15.9.2015
2. A two-year postdoctoral position within the Academic Human Resource
Programme of the Academy of Sciences of the Czech Republic is available in
one of the research teams in the Institute of Mathematics AS CR in Prague
or in Brno.
Requirements:
Applications are invited from candidates who have completed their Ph.D.
after 1st July 2012 (maternity/paternity leave will be taken into
account). Applicants who have not yet obtained their Ph.D. must produce
evidence that their thesis will be defended before 1st July 2015.
Starting date: 1.7.2015.
Deadline for submission: 31.3.2015
https://application.math.cas.cz/Positions.html#page=CALL_LIST
More information about the Proof-Complexity
mailing list