Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] 4y fully funded PhD position on verification o...

view this post on Zulip Email Gateway (Feb 02 2023 at 18:52):

From: Peter Lammich <lammich@in.tum.de>
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 is (ideally) before June 2023, but later starting dates
can be negotiated.

For applications and other details: please follow this link:
https://utwentecareers.nl/en/vacancies/1044/ Application Deadline:
28th February

For more information, feel free to contact Peter (p.lammich@utwente.nl).

Best wishes,

Peter Lammich

view this post on Zulip Email Gateway (Apr 17 2023 at 11:45):

From: Peter Lammich <lammich@in.tum.de>
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://utwentecareers.nl/en/vacancies/1044/ Application Deadline:
10th May (CEST)

For more information, feel free to contact Peter Lammich
(p.lammich@utwente.nl).

Best wishes,

Peter Lammich

Last updated: Jan 04 2025 at 20:18 UTC