We have changed our domainWe have changed servers and operate Career|edu under a different domain. Our services will remain unchanged and we will continue to post the best career openings for the academic world at our new domain.
Go back to the Job List
PhD candidate, Correct Parallel AlgorithmsPosted by: Leiden University
Posted date: 2017-Sep-04
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:
Conditions of employment
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,
Contract type: Temporary, 4 Years
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.
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:
Enquiries or any questions about the procedure can be made to Assistant Professor Alfons Laarman, email a.w.laarmanliacs.leidenuniv.nl.
To apply for this vacancy, please send no later than 3 October 2017 an email to Assistant Professor Alfons Laarman at a.w.laarmanliacs.leidenuniv.nl. Please ensure that you upload the following additional documents quoting the vacancy number: