PhD student position in correct parallel algorithms, Leiden (The Netherlands)

The Faculty of Science, Leiden Institute for Advanced Computer Science (LIACS) is looking for a PHD candidate for the project 'Correct Parallel Algorithms'. This project aims at creating a framework for the rapid development of correct Parallel Algorithms through the use of Computer-Aided Verification.

We offer a full-time one year term position with the possibility of three-year renewal based on performance. Our individual choices model gives you some freedom to assemble your own set of terms and conditions. Candidates from outside the Netherlands may be eligible for a substantial tax break. All our PhD students are embedded in the Leiden University Graduate School of Science. www.graduateschools.leidenuniv.nl . Vacancy number: 17-311.