(See also the general vacancies page of the department.)

1. Topics
   Candidates are supposed to work in one of the following four main areas of research in the department.
   • Foundations
     dr. Herman Geuvers
     Lambda calculus, Type theory (both as fundamental research and as applied to proof-verification), Formalizing mathematics, Proof assistants, Computer mathematics.

   • Software Technology
     prof.dr.ir. Rinus Plasmeijer
     Functional languages, notably concurrent and reactive versions; implementations of these.

   • Informatics for Technical Applications
     prof.dr. Frits Vaandrager
     Embedded systems, Formal methods.

   • Information Retrieval and Information Systems
     prof.dr.ir. Theo van der Weide
     Fundamentals of data intensive systems, emphasizing information retrieval and information modelling, Atrificial intelligence

   • Security of Systems
     prof.dr. Bart Jacobs
     Fundamentals of data intensive systems, emphasizing information retrieval and information modelling, Atrificial intelligence

2. Admission and application
   Formal requirement: having a Dutch master degree or equivalent. Master degrees obtained at many universities are considered as equivalent. The Commission for Exams decides this. For candidates failing to fulfill the requirement the Commission may require that the candidate does some exams in specified topics.

   Candidates satisfying the formal requirement should apply directly to the responsible chair of their interest.
   A short CV should be included. Having a clear goal on which topic one wants to do research is appreciated.
   Some evidence of one's capacities will help admission.

   After a thesis is written and approved by a promotor (one of the professors of the institute) the manuscript will be submitted to a manuscript committee. After approval there will be a formal defence of the thesis.

3. Duration and fee
   A research project towards a PhD takes 4 years.
   THERE IS NO FEE for PhD students. For those students that have to do some additional exams there may be a fee as undergraduate student.

4. Support
   A very limited number of scholarships is available covering the costs during the four years. As a matter of fact, PhD students have a working contract with the university as a junior reseracher. As part of this contract, the PhD candidate will have to do some teaching assistance.

   Alternatively, one can bring ones own support, covering living expenses. Once accepted as a PhD students, no supervision fee is required.