Logic List Mailing Archive
PhD student position in correct parallel algorithms, Leiden (The Netherlands), Deadline: 27 Aug 2017
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 (a.w.laarman@liacs.leidenuniv.nl).
Applications
To apply for this vacancy, please send an email to Assistant Professor
Alfons Laarman (a.w.laarman@liacs.leidenuniv.nl). 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.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam