Two PhD Position at University of Twente (UT) and Maastricht University (UM) are available within an NWO project on probabilistic analysis of algorithms, called "Rigorous Analysis of Local Search".
Further details:
2 PhD positions in Rigorous Analysis of Local Search