Logic List Mailing Archive

PhD Position on "Thread Algebra for Strategic Interleaving": Amsterdam (the Netherlands)

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 2179 gross per month in the first year and increases to EUR 2517
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
before September 1, 2005. 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.

------------------------------------------------------
Organisation: Informatics Institute
               Faculty of Science
               University of Amsterdam
               Kruislaan 403
               1098 SJ Amsterdam
               The Netherlands
Phone:        +31 20 525 7583 (room N230)
               +31 20 525 7462 (sec.)
Fax:          +31 20 525 7490
E-mail:       inge@science.uva.nl
Url:          http://www.science.uva.nl/~inge/