[TYPES/announce] PhD Position in Type Systems

[Dave Clarke]

PhD Position on the DesignerTypeLab project in the DistriNet
Research Group at the Katholieke Universiteit Leuven, Belgium.

* Research topics:

- frameworks for pluggable and domains specific type systems
- certification of hybrid type checking algorithms
- type systems for security and ownership
- programming languages for secure software

* Profile & skills

- Clear interest in and knowledge of the subject, based on education,  
work
or research experience
- Masters in Computer Science or Informatics
- Team player; capability to work in an international research team
- Proficiency in English and excellent communication skills, both oral
and written
- Prior knowledge in the areas of type systems, security, programming
languages and/or formal methods is an advantage.

* About DistriNet

The "Distributed systems and computer Networks" (DistriNet) research
group was founded in 1984 as part of the Department of Computer Science
at the K.U.Leuven. DistriNet's research focus and scope is twofold:
distributed software and secure software. The group works on a wide
range of topics including computer networks, middleware, internet
architectures, network and software security, embedded systems and
multi-agent systems. DistriNet's research is generally application
driven and often conducted in collaboration with industry partners.

Currently DistriNet counts 60 members (8 professors, 12 post-docs and
45 junior researchers) and participates in about 30 national and
international research projects. The annual budget amounts to  
approximately
5MEuro. More information on projects and publications can be found on  
the
DistriNet web pages:

     http://distrinet.cs.kuleuven.be/

* About Leuven

Lively Leuven is a  picturesque and upbeat Flemish city, just 25km from
Brussels, and within 3 hours of major European centres such as Antwerp,
Amsterdam, London and Paris. Leuven is shaped by its healthy student
population - some 25,000 of them - more than a quarter of the town's
population.

* Further Information and Application Procedure

Requests for further information and other informal enquiries can be  
sent to:
         Prof. Dr. Dave Clarke
         Dave.Clarke at cs.kuleuven.be

Those interested in the position are asked to send e-mail to the address
given above, plus complete the formal application process available from
the link below. An application will include:

1. A cover letter stating the applicant's interest in the project.

2. A full curriculum vitae, including an abstract of the applicant's
    masters thesis and the name of their supervisor.

3. Letters of recommendation or references from at least two
    scientific staff members. (Letters of recommendation should either
    be included along with the application, or should arrive
    separately promptly.)

4. A completed application for postgraduate study at the K.U.Leuven via:
	http://www.kuleuven.be/phd/


Applications will be considered until the position is filled, but those
received on or before 1 October 2009 will have priority.

The PhD positions are for 4 years. The starting date is negotiable.


Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm