You cannot apply for this job anymore (deadline was 26 Apr 2020).
Browse the current job offers or choose an item in the top navigation above.
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
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.
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.
We like to make it easy for you, sign in for these and other useful features: