[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are pleased to announce a 5-year PhD position on Language-based Security in
the Software Technology group at Utrecht University.
# About the position
Today, developers do not have the right tools to build secure systems. They
develop critical software using programming languages and compilers that do not
account for security or privacy. Therefore, attackers can too easily exploit
software bugs as security vulnerabilities to bypass defenses and breach
systems. By rigorously applying programming language techniques to security
problems, language-based security provides a fundamental approach to building
secure systems.
In this project, you will develop foundations and practical techniques to build
software systems with reliable security guarantees. Depending on your
background and interests, this project can focus on different security
problems, including, for example, memory safety, software sandboxing,
information-flow control systems, and defenses against side-channel and Spectre
attacks.
# Offer
This position offers a full-time gross salary of €2,541-€3,247 per month, plus
bonuses and benefits. You will conduct cutting-edge research in a diverse and
stimulating environment, collaborating with top programming language and
security researchers. You will attend conferences, workshops, and specialized
graduate schools to build your professional network and receive personal
coaching and mentoring.
# About the group
As a member of the Software Technology group, you will join a team of 18
passionate researchers and lecturers specialized in domain-specific languages,
functional and probabilistic programming, testing and verification,
mathematical foundations, and language-based security. In this group, you will
find a friendly environment, supporting colleagues, and weekly seminars to
expand your knowledge.
Interested? Read more and apply here:
https://urldefense.com/v3/__https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-language-based-security-10-fte__;!!IBzWLUs!U9dg0-TpoFNnVR587gAyVaxF9kIasIwttEJBIQzWKy-biIljQskFWaS0LpCEZ1Xa2Be7b9fMRQEltzcAhQgirOkB73LMldYK$
Deadline: May 16
Contact: Marco Vassena, [email protected]<mailto:[email protected]>,
https://urldefense.com/v3/__https://webspace.science.uu.nl/mvassena__;!!IBzWLUs!U9dg0-TpoFNnVR587gAyVaxF9kIasIwttEJBIQzWKy-biIljQskFWaS0LpCEZ1Xa2Be7b9fMRQEltzcAhQgirOkB74E_Q3AP$
