The Coq mailing list

[Milad Niqui <M.Niqui AT cwi.nl>]

Vacancies for PhD positions in theoretical computer science
===========================================================

Leiden Institute of Advanced Computer Science (LIACS) of Leiden
University and Centrum Wiskunde & Informatica (CWI) in Amsterdam are
looking for two PhD students for working in the NWO funded research
project

    CoRE: Coinductive Calculi of Regular Expressions

The purpose of the project is to use the theory of coalgebras and Kleene
algebras for automatic reasoning and verification of quantitative and
probabilistic systems, interactive systems and advanced functional
programs.

We are looking for excellent candidates with a background (Master
degree) in mathematics, computer science or a related degree and who
have strong interest in the mathematical foundations of computer
science.

Conditions of employment
------------------------
There are two PhD positions available.  One candidate will be employed
at LIACS in the Foundations of Software Technology (FAST) group.  The
other will be employed at CWI in the Coordination Languages group (SEN3)
in the sub-group `Coalgebraic Models of Computation' led by Prof.  Jan
Rutten. Both groups provide a dynamic and productive work environment,
are in close collaboration with each other and are involved in several
national and international research projects.  Both PhD candidates will
be appointed for a period of four years and will receive salary based on
a full-time employment.  The salary and labour agreements are in
accordance with the CAO for Dutch universities and research institutes.

How to Apply?
-------------
You are invited to send your application letter together with a
curriculum vitae (including a list of master courses), an abstract of
your master thesis or a list of publications, and the names and contact
addresses of two potential referees.  Please send your application
before 1 March 2010 to:

 Marcello Bonsangue 
<marcello AT liacs.nl>
 and
 Milad Niqui 
<M.Niqui AT cwi.nl>