<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
The programming languages' group at the Department of Information Technology at Uppsala University, Sweden is opening one PhD student position to on the topic of efficient and provably correct execution environments for managed languages. <br class="">
<br class="">
<b class="">Background: </b>Managed languages (such as Java, Python, R and JavaScript) allow a high level of programming abstraction which allows rapid application development with fewer errors, in particular by presenting programmers with an abstract view
of memory that can be managed automatically by the runtime system (aka execution environment). The efficiency of the algorithms at the core of runtime systems for managing memory, scheduling, etc. are imperative for the performance of managed languages. The
strive for efficiency drives up complexity of the algorithms, stressing the need for a rigorous process for verifying their correctness.<br class="">
<br class="">
<b class="">Project: </b>This project aims to develop efficient algorithms for key aspects of runtime systems related to memory management, task scheduling, compiler optimisations for specific runtimes with a strong focus on their formal verification. Thus,
this project requires an understanding of and interest in both low-level aspects of program execution as well as mathematical underpinnings of verifying of algorithms operating at a low-level. There exist a wide range of interesting challenges to work on in
the context of some specific runtime systems.<br class="">
<br class="">
Candidates will be working with experts in programming languages, computer architecture, and with close ties to companies developing and maintaining programming language implementations.<br class="">
<br class="">
<b class="">Additional Details: </b>Swedish PhD positions are for four years of research, but will typically include 20% teaching extending the time to five years. You will be expected to teach in English.<br class="">
<br class="">
Swedish PhD students are full employees, with competitive salaries, pension provision and five weeks of paid leave per year. Spouses of employees are entitled to work permits. Healthcare is free after a small co-pay and the university subsidises athletic costs,
such as a gym membership. The parental benefits in Sweden are among the best in the world, including extensive parental leave (for both parents), paid time off to care for sick children, and affordable daycare. Upon completion of the PhD degree, students are
entitled to permanent residency to find employment within Sweden.<br class="">
<br class="">
More information and instructions for how to apply here:<br class="">
<a href="https://urldefense.com/v3/__https://www.uu.se/en/about-uu/join-us/details/?positionId=466911__;!!IBzWLUs!DqFpkCq-4xzKbt1bKGakIT6uPta1IdbgnvNJVARA6RkIEMIh0Dyqzj33mDrEGuz12XOdLJXbjQaPbg$" class="">https://www.uu.se/en/about-uu/join-us/details/?positionId=466911</a><br class="">
<br class="">
* Application deadline: March 1st, 2022<br class="">
* Targeted starting time: as soon as possible, before September 1st, 2021<br class="">
<br class="">
Questions can be asked to:<br class="">
<br class="">
Professor Tobias Wrigstad, tobias.wrigstad@it.uu.se <br class="">
Associate Professor Tjark Weber tjark.weber@it.uu.se<br class="">
<br class="">
<br class="">
<br class="">
------------------------------------------------------------<br class="">
Tobias Wrigstad, Professor<br class="">
Distinguished University Teacher<br class="">
Head of Education<br class="">
Department of Information Technology<br class="">
Uppsala University, Sweden<br class="">
Email: tobias.wrigstad@it.uu.se<br class="">
Web: http://wrigstad.com<br class="">
<br class="">
<!DOCTYPE html>
<title>Page Title</title>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/
<br>
<br>
E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/en/about-uu/data-protection-policy
</body>
</html>