This project aims at creating a framework for the rapid development of correct Parallel Algorithms through the use of Computer-Aided Verification. Our research agenda includes:

• Derive novel parallel algorithms for problems in Graph Theory and Automated Verification;
• Study the correctness of Advanced Parallel Algorithms and Concurrent Data Structures;
• Invent (semi-)automated verification methods, based on Model Checking, Concolic Testing and Theorem Proving, to support Parallel Algorithm development;
• Implement tool support for parallel algorithm development and verification.

• MSc in Computer Science, or strongly related field in Mathematics or Logic;
• Demonstrable affinity with Math / Formal Methods;      
• Programming experience (optional if compensated by the above);
• Curiosity and a goal-driven attitude towards advancing the state-of-the-art.

Fixed-term contract: 4 Years.

We offer a one year term position with the possibility of three-year renewal after a positive evaluation. Salary range from €2,222 to €2,840 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 and sabbatical leave. 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. More at www.workingat.leiden.edu/.

All our PhD students are embedded in the Leiden University Graduate School of Science www.graduateschools.leidenuniv.nl. 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, 

Diversity
Leiden University is strongly committed to diversity within its community and especially welcomes applications from members of underrepresented groups.

Universiteit Leiden

Leiden is a typical 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.

Leiden University is one of Europe's foremost research universities. This prominent position gives our graduates a leading edge in applying for academic posts and for functions outside academia.

Faculty of Science

The Faculty of Science is a world-class faculty where staff and students work together in a dynamic international environment. It is a faculty where personal and academic development are top priorities. Our people are driven by curiosity to expand fundamental knowledge and to look beyond the borders of their own discipline; their aim is to benefit science, and to make a contribution to addressing the major societal challenges of the future.

The research carried out at the Faculty of Science is very diverse, ranging from mathematics, computer science, astronomy, physics, chemistry and bio-pharmaceutical sciences to biology and environmental sciences. The research activities are organised in eight institutes. These institutes offer eight bachelor’s and twelve master’s programmes. 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 www.universiteitleiden.nl/en/science.

The Leiden Institute of Advanced Computer Science (LIACS) is the Computer Science Institute in the Faculty of Science of Leiden University. According to our recent research visitation, we are one of the foremost computer science departments of the Netherlands. We strive for excellence in a caring institute, where excellence, fun, and diversity 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/. 

In the Theory Group at LIACS, the candidate will find ample support and collaboration opportunities with others working on verification and concurrency. At the same time, our collaborations with the Computer Systems Group provide many interesting real-world parallel algorithms, while the Data Science Group (and university-wide Leiden Center of Data Science) offers many opportunities to apply the results of the project on large data sets. See:
https://www.universiteitleiden.nl/en/science/computer-science/research/theories
https://www.universiteitleiden.nl/en/science/computer-science/research/systems
https://www.universiteitleiden.nl/en/science/computer-science/research/data-science