Leiden University LEI, The Netherlands - Logo

Teaching PhD Position in Mathematics and Computer science – Leiden University, Netherlands, May 2022

The Netherlands

The Faculty of Science, Leiden Institute of Advanced Computer Science, invites applications for a Teaching Ph.D. Position in Parallel Algorithms and Formal Verification, the Netherlands – May 2022

Save 0

Scroll Down for Content

General Info

Position: PhD Position
No. of Positions: 1
Research Field: ,
Deadline to Apply: Expired
Joining Date: ASAP
Contract Period: 1 Year
Salary: 2.443 EURO/Month

Leiden Institute of Advanced Computer Scienc

Leiden University, LEI, the Netherlands


Scroll Down for Content

Qualification Details

  •     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.

Responsibilities/Job Description

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.

Key responsibilities

  •  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.

How to Apply?

Application Method: Send Email
Ref. No.: 22-246

Application Procedure

To apply for this vacancy, please send an email to [email protected]. 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.

About the Department/Section/Group

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.

About the Employer:

Note or Other details

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.

Scroll Down for Content

Contact details

Inquiries about the research area can be made to Dr. Alfons Laarman ([email protected]). If you have any questions about the procedure, please contact Alice Bisschop ([email protected]).

Advertisement Details:

Other Vacancies from this field ,

Scroll Down for Content


share on facebook share via twitter share via linkedin share via whatsapp share via email share on telegram share on Line share on Vkontakte