[TYPES/announce] 5-year PhD Position in Language-based Security @ Utrecht University (Netherlands)

[Vassena, M. (Marco)]

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, m.vassena at uu.nl<mailto:m.vassena at uu.nl>, https://urldefense.com/v3/__https://webspace.science.uu.nl/mvassena__;!!IBzWLUs!U9dg0-TpoFNnVR587gAyVaxF9kIasIwttEJBIQzWKy-biIljQskFWaS0LpCEZ1Xa2Be7b9fMRQEltzcAhQgirOkB74E_Q3AP$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230424/98fb9cca/attachment-0001.htm>