Starting in fall 2017 there will be a postdoc position in my project Feasibility, Logic and Randomness in Computational Complexity. For details and for submitting applications, see: http://www.math.cas.cz/recrutements/postes.php?lang=0 The deadline for applications is August 30, 2017. Pavel Pudlak