Teaching PhD position(1.0 fte)
- Vacancy number
- Function type
- PhD positions
- Hours (in fte)
- External/ internal
- Placed on
- 19 April 2022
- Closing date
- 29 May 2022 10 more days to apply
The Faculty of Science, Leiden Institute of Advanced Computer Science, is looking for candidates for a
Teaching PhD position(1.0 fte)
Vacancy number 22-246
Teaching PhD Position in Parallel Algorithms and Formal Verification
Do you enjoy programming parallel algorithms, analysing their resource use and proving algorithm correctness? Do you enjoy sharing your knowledge through teaching? Then you should consider to apply for this PhD position. The overall idea for your research would be to develop new parallel algorithms for automated verification, while also verifying the correctness of their implementations (“using parallelism to study parallelism”). The automated verification techniques in this project are based on formal logic, model checking, theorem proving and a combination of these.
The teaching part of this position makes up 30%, during which you take the lead in teaching the software engineering course, which includes aspects of automated verification. In this context, you will take a managerial role in LUdev ( https://www.ludev.nl/ ), the software development company which provides a real-world project environment for students following the software engineering and other courses. This will provide you with ample opportunity to build a wide network in the Dutch ICT industry. As a compensation for the teaching, your position will be 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. 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 automated verification and parallel computing under the supervision of Dr. Alfons Laarman;
· Design and implementation of (parallel) model checking algorithms, as well as their application to concrete verification problems.
· Teaching a single BSc course during one semester each year, in addition to taking a role in the management of LUdev.
· Master degree in mathematics, computer science or a closely related field;
· Strong interest parallelism (including theory of concurrency) and/or formal verification;
· Knowledge of the basic of software engineering, programming and software testing;
· Good programming skills in C/C++ or Java;
· Proficient in spoken and written English;
· An independent and creative team player with good communicative skills;
· Able to work independently in a multidisciplinary environment;
· Interest in teaching and assisting teaching computer science topics to bachelor students.
Research at our faculty and institute
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 of Science 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. For more information, see https://www.science.leidenuniv.nl
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. For more information about LIACS, see https://www.cs.leiden.edu.
The city of Leiden
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.443,- to €3.122,- 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 and work-life balance
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 Dr. Alfons Laarman (firstname.lastname@example.org). If you have any questions about the procedure, please contact Alice Bisschop (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 29 May 2022 can be considered. The selection procedure will take place in June 2022, and selected candidates may be invited for a remote interview in this period, during which you are kindly requested to be available.