===========================================================
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@liacs.nl> and
Milad Niqui <M.Niqui@cwi.nl>
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
