[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
4-Year PhD position @ UTwente
======================================
We have an opening for a 4 year PhD position in the VESPA project
(Verification of Efficient and Secure Parallel Algorithms) at the
University of Twente.
We want to apply stepwise refinement techniques in Isabelle/HOL (or
another ITP) to develop scalable verification techniques for parallel
algorithms, down to their efficient implementations on Multicore CPUs /
GPUs.
You will be supervised by Peter Lammich, and work in the Formal Methods
and Tools group at the University of Twente, which has a strong
expertise in verification of concurrent software.
The PhD position is fully funded, and your salary will be increasing
from € 2,541 in the first year to € 3,247in the last year.
Starting date: ideally as soon as possible.
For applications and other details: please follow this link:
https://urldefense.com/v3/__https://utwentecareers.nl/en/vacancies/1044/__;!!IBzWLUs!QkHEDGf4iCo-A5QlFj2NhP8c6WHB8ObRblQtlHqI6y_Pf3pOzhI13FL9XzjZNF7cnbcZvNTlScLmU_-EbPCnFeKKCDjWwhOO$ *Application Deadline:*
*10th May (CEST)*
For more information, feel free to contact Peter Lammich
([email protected]).
Best wishes,
Peter Lammich
