PHD candidate, Correct Parallel Algorithms

Universiteit Leiden
July 19 2017
Position Type
Full Time
Organization Type

This project aims at creating a framework for the rapid development of correct Parallel Algorithms through the use of Computer-Aided Verification. Our research agenda includes:

  • Derive novel parallel algorithms for problems in Graph Theory and Automated Verification;

  • Study the correctness of Advanced Parallel Algorithms and Concurrent Data Structures;

  • Invent (semi-)automated verification methods, based on Model Checking, Concolic Testing and Theorem Proving, to support Parallel Algorithm development;

  • Implement tool support for parallel algorithm development and verification.

This job comes from a partnership with Science Magazine and Euraxess