The Faculty of Science, Leiden Institute for Advanced Computer Science is looking for a:
PHD candidate, Correct Parallel Algorithms Key responsibilities 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. Selection Criteria - 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. Research at our faculty 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 http://www.science.leidenuniv.nl and http://workingat.leiden.edu/. 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 Terms and conditions PhD student positions in the Netherlands are four-year fully salaried position, formally structured as one plus three. We offer a full-time one year term position with the possibility of three-year renewal based on performance. 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. 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. Information Enquiries or any questions about the procedure can be made to Assistant Professor Alfons Laarman ([email protected]). Applications To apply for this vacancy, please send an email to Assistant Professor Alfons Laarman ([email protected]). Please ensure that you upload the following additional documents quoting the vacancy number: • A curriculum vitae; • 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). The application deadline is 27th of August 2017. ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
