Teaching PhD Position in Quantitative Systems and Reasoning Methods
- Vacancy number
- Function type
- Academic staff, PhD positions
- Hours (in fte)
- External/ internal
- Placed on
- 31 March 2020
- Closing date
- 26 April 2020 Vacancy closed
The Faculty of Science, Leiden Institute of Advanced Computer Science, is looking for candidates for a
Teaching PhD Position in Quantitative Systems and Reasoning Methods
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.
- 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.
The Leiden Faculty of Science is a world-class faculty where staff and students work together in a dynamic international environment. Our people are driven by curiosity to expand fundamental knowledge and to look beyond the borders of their own discipline.
The research carried out at the faculty is diverse, ranging from artificial intelligence, computer science, mathematics, astronomy, physics, chemistry and bio-pharmaceutical sciences to biology and environmental sciences. The faculty has grown strongly in recent years and now has more than 1,300 staff and almost 4,000 students. We are located at the heart of Leiden’s Bio Science Park, one of Europe’s biggest science parks, where university and business life come together.
The Leiden Institute of Advanced Computer Science (LIACS) is the Artificial Intelligence and Computer Science Institute of the Faculty of Science of Leiden University. We offer courses at the Bachelor and Master of Science level in the core areas of Artificial Intelligence, Computer Science, and Data Science, and also in the interdisciplinary areas of ICT in Business, Media Technology and Creative science, and Bioinformatics. According to an independent research visitation, we are one of the foremost computer science departments of the Netherlands. Our people and our focus on collaboration in a caring atmosphere are dear to us. We strive for excellence in a caring institute, where excellence, fun, and inclusiveness go hand in hand. We offer a clear and inviting career path to young and talented scientists with the ambition to grow.
Leiden University is one of Europe's foremost research universities. Leiden is a lively and beautiful city with a central location in Europe, at only 17 minutes from Schiphol International Airport. It is a very international city where almost everybody speaks English, candidates need not be afraid of the language barrier. Leiden is a typical historic university city, hosting the oldest university in the Netherlands (1575). The University permeates the local surroundings; University premises are scattered throughout the city, and the students who live and study in Leiden give the city its relaxed yet vibrant atmosphere. Today, with some 27,000 students, 5,500 staff, 16 Nobel prizes, more than 100 nationalities and a budget of more than 550 million Euros, it is one of the largest comprehensive universities in Europe. This prominent position gives our graduates a leading edge in applying for academic posts and for functions outside academia.
Terms and conditions
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).
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 firstname.lastname@example.org. If you have any questions about the procedure, please contact Liselotte van der Woerd, email email@example.com.
To apply for this vacancy, please send an email to firstname.lastname@example.org. Applicants should submit their application letter and CV, quoting the vacancy number. Only applications received no later than 26 April 2020 can be considered.
The selection procedure will take place in May 2020, and selected candidates may be invited for a skype interview in this period, during which you are kindly requested to be available.