[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.wrigs...@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$
