Logic List Mailing Archive

PhD position on Semantics of Multi-Threaded Flow of Control, Amsterdam

PhD POSITION (4 yr) ON THE SEMANTICS OF MULTI-THREADED FLOW OF CONTROL,
within the Programming Research Group, Informatics Institute, University 
of Amsterdam.


The PRG (http://www.science.uva.nl/research/prog/) is part of the 
Computing, System Architecture and Programming Laboratory. Guided by 
prof.dr. Jan Bergstra it is responsible for education and research in 
the area of programming methods and supporting software tools.

Recently NWO has approved the new research project `Thread Algebra for 
Strategic Interleaving' for which we are looking for a PhD candidate.

PROFILE
You have a Masters degree in Computer Science or Mathematics (or 
comparable qualification) and have an interest in the field of formal 
methods. You are a top level student with excellent results. You enjoy 
working in a team and have good communication skills.

OFFER
You will be appointed for a period of four years. Your salary starts at 
EUR 1877 gross per month in the first year and increases to EUR 2407 
gross per month in the fourth year.

INFORMATION AND APPLICATION
You can obtain further information about this position from dr. Inge 
Bethke, inge@science.uva.nl.

You are invited to send an application by e-mail to inge@science.uva.nl. 
Your application should consist of a cover letter, a curriculum vitae 
(including a detailed list of the courses you have followed, together
with their grades), and the names and addresses of two references.