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@liacs.nl> and Milad Niqui <M.Niqui@cwi.nl>