PHD candidate, Correct Parallel Algorithms

Employer
Universiteit Leiden
Location
Netherlands
Posted
July 19 2017
Position Type
Full Time
Organization Type
Academia

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