<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
We are pleased to announce a 5-year PhD position on Language-based Security in the Software Technology group at Utrecht University.</div>
<p style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
</p>
<div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
# About the position<br class="">
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.</div>
<p style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
</p>
<div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
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.</div>
<p style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
</p>
<div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
# Offer</div>
<div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
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.</div>
<p style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
</p>
<div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
# About the group</div>
<div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
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.</div>
<p style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
</p>
<div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue"; color: rgb(220, 161, 13);" class="">
<span style="color: #000000" class="">Interested? Read more and apply here: <a href="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$" class="">
https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-language-based-security-10-fte</a> </span></div>
<p style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
</p>
<div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">
Deadline: May 16</div>
<div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue"; color: rgb(220, 161, 13);" class="">
<span style="color: #000000" class="">Contact: Marco Vassena, <a href="mailto:m.vassena@uu.nl" class="">
m.vassena@uu.nl</a>, <a href="https://urldefense.com/v3/__https://webspace.science.uu.nl/mvassena__;!!IBzWLUs!U9dg0-TpoFNnVR587gAyVaxF9kIasIwttEJBIQzWKy-biIljQskFWaS0LpCEZ1Xa2Be7b9fMRQEltzcAhQgirOkB74E_Q3AP$" class="">https://webspace.science.uu.nl/mvassena</a></span></div>
</body>
</html>