PHD candidate, Correct Parallel Algorithms
The Faculty of Science and Leiden Institute for Advanced Computer Science is looking for a
PHD candidate, Correct Parallel Algorithms (1.0 FTE)
Vacancy number 17-311
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.
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:
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 http://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.
Leiden University is strongly committed to diversity within its community and especially welcomes applications from members of underrepresented groups.
Enquiries or any questions about the procedure can be made to Assistant Professor Alfons Laarman, email email@example.com.
To apply for this vacancy, please send no later than 3 October 2017 an email to Assistant Professor Alfons Laarman at firstname.lastname@example.org. Please ensure that you upload the following additional documents quoting the vacancy number:
• A CV;
• A motivation letter;
• A (link to a draft of) Master’s thesis, and other publications;
• One to two references (who agreed to support the applicant).