Heike Wehrheim is a professor at the University of Oldenburg and is looking for PhD students and PostDocs. Read her offer below:
I am seeking PhDs or postdocs to work at the University of Oldenburg, Germany, on either (i) automatic software verification or (ii) verification of concurrent programs running on weak memory models. In case of a postdoc, I would expect prior knowledge in these or related areas; PhD students are expected to have an excellent Master degree in Computer Science or Mathematics, and have an interest in program verification, concurrency theory or formal methods. In case of interest, please directly contact me.
Her email address is: heike.wehrheim@uol.de