The Faculty of Science, Leiden Institute for Advanced Computer Science is looking for a:

PHD candidate, Correct Parallel Algorithms

Key responsibilities
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.

More information: http://werkenbij.leidenuniv.nl/vacatures/phd-posities/17-311-phd-candidate-correct-parallel-algorithms-.html

Open position for a full professorship in “Computer Aided Verification” (succeeding Helmut Veith) at TU Wien, with deadline October 16, 2017.
Postdoctoral researcher positions in U-T-Autonomous Group at the University of Texas at Austin:

We invite applications for one or more postdoctoral researcher positions available immediately—open until filled—at the University of Texas at Austin. The candidates are expected to conduct research at the intersection of formal methods and learning with problems drawn from autonomy. They are required to have background in at least one of these areas with willingness to grow out to the other during their postdoctoral research.

The position is on a yearly basis and renewable for multiple years. The compensation will include a competitive salary and the University of Texas postdoctoral scholar benefits package.

Point of contact: Ufuk Topcu, The University of Texas at Austin, utopcu@utexas.edu.