[TYPES/announce] PhD Position in Programming Languages at Uppsala University, Sweden (lots of type opportunities)

[Tobias Wrigstad]

There is a PhD position open at the Department of Information Technology, Uppsala University, Sweden, in the area of programming languages.

The announcement is linked here:
https://urldefense.com/v3/__https://www.jobb.uu.se/details/?positionId=640252__;!!IBzWLUs!VifXklpHnftYM7DKA_pNuEom--s-b1Xn2D1vUXRApL2kcEipihPi8nLZfqAWFk0cUb_W0wTJG5FwDTBvG3wOoihF3kgN0sbLdpIvq9La8Q$ 

The position fits several on-going projects — many of which directly involve design of type systems, type-driven static analysis, etc. — at the department in collaboration with industry on both new and existing programming languages (e.g. memory management, type-driven compile-time memory safety, energy efficiency, verification of compiler optimisations, comparison of community-developed type systems for untyped languages). We will work with the successful candidate to identify the right project and context depending on interests, skills and long-term plans.

Interested candidates are encouraged to reach out with questions or to have a conversation.

Swedish PhD positions are proper jobs with competitive salaries, pension benefits, parental leave, paid vacation, etc. The typical length of a Swedish PhD is 5 years which 1 calendar year of teaching at various levels, as a good prepratation for continued work in academia.

--Tobias


------------------------------------------------------------
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!VifXklpHnftYM7DKA_pNuEom--s-b1Xn2D1vUXRApL2kcEipihPi8nLZfqAWFk0cUb_W0wTJG5FwDTBvG3wOoihF3kgN0sbLdpL7rjIG9w$ 











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!VifXklpHnftYM7DKA_pNuEom--s-b1Xn2D1vUXRApL2kcEipihPi8nLZfqAWFk0cUb_W0wTJG5FwDTBvG3wOoihF3kgN0sbLdpIayTryaQ$ 

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!VifXklpHnftYM7DKA_pNuEom--s-b1Xn2D1vUXRApL2kcEipihPi8nLZfqAWFk0cUb_W0wTJG5FwDTBvG3wOoihF3kgN0sbLdpJjrV06lg$