Do you enjoy formal reasoning and working with quantitative, resource-based or probabilistic systems? Do you enjoy sharing you knowledge through teaching? Then you should consider to apply for this PhD position. The overall idea for your research would be to develop new reasoning techniques for systems that involve quantitative behaviour. These systems appear in various contexts, like programming, game theory, differential equations and modelling of biological phenomena. The reasoning techniques for those systems will be developed in terms of formal logic, category theory, type theory or a combination of these. There are concrete projects available that can get you started in this exiting area. For example, you could develop abstract resource logics and type theories, or study homological algebra for quantitative systems. But you are not restricted to these projects and may find your own way in studying quantitative systems, while relying on the  support and guidance of Dr. Henning Basold.

The teaching part of this position makes up 30%, during which you design and give together with me a new course. As a compensation for the teaching, your position will be paid for 6 years, instead of the usual 4 years. This means that you have the same amount of time for research, but you effectively gain more mental space to dive deeply into the study and development of reasoning techniques for quantitative systems. Last but not least, this position will give you a head start in an academic trajectory, as you will learn how to design and autonomously run a university-level course.

Key responsibilities

• Conducting research in the field of logic, category theory and/or type theory under the supervision of Dr. Henning Basold;
• This involves studying quantitative and probabilistic systems that occur in computer science, mathematics, biology and elsewhere. For these systems, reasoning techniques of logical, category theoretical or type theoretical nature have to be developed;
• Teaching suitable BSc and MSc courses.

• Master degree in mathematics, computer science or a closely related field;
• Strong interest in the field of logic, category theory or type theory, and probability theory is desired;
• Proficient in spoken and written English;
• An independent and creative team player with good communicative skills;
• Knowledge in the basic computer science subjects operating systems, networks and hardware circuits are beneficial;
• Able to work independently in a multidisciplinary environment;
• Interest in teaching and assisting teaching computer science topics to bachelor or master students;
• Team spirit/collaboration attitude is strongly preferred.

We offer a  full-time appointment of initially one year. After a positive evaluation of the progress of the  research, teaching evaluations, personal capabilities and compatibility, the appointment will be extended for another five years. Salary range from € 2.325,-  to € 2.972,-  gross per month (pay scale P in accordance with the Collective Labour Agreement for Dutch Universities).

Leiden University offers an attractive benefits package with additional holiday (8%) and end-of-year bonuses(8.3 %), training and career development. Our individual choices model gives you some freedom to assemble your own set of terms and conditions. Candidates from outside the Netherlands may be eligible for a substantial tax break.

All our PhD students are embedded in the Leiden University Graduate School of Science. Our graduate school offers several PhD training courses at three levels: professional courses, skills training and personal effectiveness. In addition, advanced courses to deepen scientific knowledge are offered by the research school. Teaching PhD have the possibility of obtaining the (partial) University Teaching Qualification (UTQ).

Diversity
Leiden University is strongly committed to diversity within its community and especially welcomes applications from members of underrepresented groups. LIACS is a highly diverse institute, in culture, background, and gender. We stand for excellence in a caring Institute. We wish to reflect society in all aspects, as we believe that this improves the dynamics in our organization. Therefore, we support and understand the need for a work/life/family balance and consequent varying working hours and places. We believe that doing good science is fun, and goes hand in hand with a friendly culture. In the Netherlands, a maternity allowance is standard for 16 weeks. Child care is available at and near the Bio Science Park.

Leiden University

Inquiries about the research area can be made to Henning Basold, email h.basold@liacs.leidenuniv.nl. If you have any questions about the procedure, please contact Liselotte van der Woerd, email l.van.der.woerd@liacs.leidenuniv.nl.