[TYPES/announce] 4y fully funded PhD position on verification of efficient and secure parallel algorithms

[Peter Lammich]

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 
(p.lammich at utwente.nl).


Best wishes,

   Peter Lammich
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230417/09d6296e/attachment.htm>