[TYPES/announce] PhD position on efficient and provably correct execution environments

Tobias Wrigstad tobias.wrigstad at it.uu.se
Tue Feb 15 13:12:21 EST 2022


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.

Background: 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.

Project: 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.

Candidates will be working with experts in programming languages, computer architecture, and with close ties to companies developing and maintaining programming language implementations.

Additional Details: 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.

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.

More information and instructions for how to apply here:
https://urldefense.com/v3/__https://www.uu.se/en/about-uu/join-us/details/?positionId=466911__;!!IBzWLUs!DqFpkCq-4xzKbt1bKGakIT6uPta1IdbgnvNJVARA6RkIEMIh0Dyqzj33mDrEGuz12XOdLJXbjQaPbg$ 

* Application deadline: March 1st, 2022
* Targeted starting time: as soon as possible, before September 1st, 2021

Questions can be asked to:

Professor Tobias Wrigstad, tobias.wrigstad at it.uu.se
Associate Professor Tjark Weber tjark.weber at it.uu.se



------------------------------------------------------------
Tobias Wrigstad, Professor
Distinguished University Teacher
Head of Education
Department of Information Technology
Uppsala University, Sweden
Email:  tobias.wrigstad at it.uu.se
Web:    https://urldefense.com/v3/__http://wrigstad.com__;!!IBzWLUs!DqFpkCq-4xzKbt1bKGakIT6uPta1IdbgnvNJVARA6RkIEMIh0Dyqzj33mDrEGuz12XOdLJUs1SdCZQ$ 









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: https://urldefense.com/v3/__http://www.uu.se/om-uu/dataskydd-personuppgifter/__;!!IBzWLUs!DqFpkCq-4xzKbt1bKGakIT6uPta1IdbgnvNJVARA6RkIEMIh0Dyqzj33mDrEGuz12XOdLJX6-9uweQ$ 

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: https://urldefense.com/v3/__http://www.uu.se/en/about-uu/data-protection-policy__;!!IBzWLUs!DqFpkCq-4xzKbt1bKGakIT6uPta1IdbgnvNJVARA6RkIEMIh0Dyqzj33mDrEGuz12XOdLJWoWPHSMw$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220215/a845ff93/attachment.htm>


More information about the Types-announce mailing list