November 14, 2013: 2 PhD-student and 2 postdoc positions available

In the FWF projects “Automated Complexity Analysis via Transformations” of Georg Moser and “Interactive Proof: Proof Translation, Premise Selection, Rewriting” of Cezary Kaliszyk there are openings for both a PhD-student and a postdoctoral research assistant each.

Further details are available at the corresponding homepages of the project leaders, i.e., Georg Moser and Cezary Kaliszyk.