The Faculty of Science, Leiden Institute of Advanced Computer Science, is looking for candidates for a Teaching PhD position.
The overall idea for their 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 candidates will 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, 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.
Tasks
The tasks for this position include:
- 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.
Duration: 6 years
Salary
- A gross monthly Salary ranging from € 2.443,- to €3.122,- gross per month
- Leiden University offers an attractive benefits package with additional holiday (8%) and end-of-year bonuses(8.3 %), training, and career development
- Their graduate school offers several Ph.D. training courses at three levels: professional courses, skills training, and personal effectiveness.
Job Requirements
- Master’s degree in mathematics, computer science, or a closely related field;
- Strong interest in parallelism (including the theory of concurrency) and/or formal verification;
- Knowledge of the basics 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 in teaching computer science topics to bachelor students.
Application Process
Applicants should submit their application letter and CV, quoting the vacancy number.
To apply, click here.
Application Deadline: May 31, 2022.
For more information, visit the official site.
