<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div><span style="font-size: medium;"><font face="Times">TL;DR: If you are interested in PL+Security research positions, reach out to me!</font></span></div>
<div><span style="font-size: medium;"><font face="Times"><br>
</font></span></div>
<div><br>
</div>
<span style="font-size: medium;"><font face="Times">My group at UMass Lowell is looking for enthusiastic PhD students in the area of programming languages and security. We have multiple positions and they are all fully-funded. The prospective student researcher
can work on the topics at the intersection of information flow control, cryptography and programming languages. The student has the option to join the two main ongoing projects described below. </font></span>
<div><br>
</div>
<div><font face="Times" size="3"><b>Project #1</b> enforces security using secure hardware/software features such as Trusted Execution Environments (Intel SGX, TDX) and sandboxed environments (WASM, eBPF), and involves building secure compilers for distributed
systems.</font></div>
<div><font face="Times" size="3"><br>
</font></div>
<div><font face="Times" size="3"><b>Project #2</b> involves building secure Fully Homomorphic Encryption (FHE) compilers.</font></div>
<div><font face="Times" size="3"><br>
</font></div>
<div><span style="font-size: medium;"><font face="Times">I am also open to different topics that broadly fall at the intersection of security and programming languages. </font></span></div>
<div><span style="font-size: medium;"><br>
</span></div>
<div><font face="Times" size="3">For the background, an introduction to undergraduate programming languages and/or compilers is highly recommended. Introduction to other PL areas such as verification is a big plus and helps with the research. </font><span style="font-family: Times; font-size: medium;">Knowledge
of cryptography is preferred but not required; however the student must be excited to spend time and learn the topics related to security.</span></div>
<div><font face="Times" size="3"><br>
</font></div>
<div><font face="Times" size="3">UMass Lowell accepts students for both Spring and Fall cycles. <b>Interested candidates, please do reach out to me for an exploratory chat before applying to the position.</b> You are also welcome to reach out to me if you are
not sure about the qualifications (or the application timeline/research).</font></div>
<div><span style="font-family: Times; font-size: medium;"><br>
</span></div>
<div><font face="Times"><span style="font-size: medium; color: rgb(34, 34, 34); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">The
school of computer science at </span><span class="il" style="font-size: medium; color: rgb(34, 34, 34); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">UMass
Lowell</span><span style="font-size: medium; color: rgb(34, 34, 34); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"> has
a vibrant and growing programming languages and security groups providing excellent collaborative opportunities for the successful candidate. The programming research is</span><font size="3"> lead by three PIs with interests spanning in multiple areas of
PL including verification. The security group is one of the most active research groups lead by five PIs specializing in defensive and offensive security as well as privacy-centric educational research. For more info, </font></font><a href="https://urldefense.com/v3/__https://www.uml.edu/sciences/computer-science/research/faculty-research-groups.aspx__;!!IBzWLUs!RbLRsLgYMgpZlVF0Cqox4EYt6C57tsfME7exsA8VopFK4rRS-TuL1duWdm993Sc2Enxy8tVbqRIKfyrdvZP_ttrwjuJoK9bKPunpfbkYJg$"><font face="Times" size="3">https://www.uml.edu/sciences/computer-science/research/faculty-research-groups.aspx</font></a></div>
<div><span style="font-family: Times; font-size: medium;"> </span></div>
<div><font face="Times" size="3"><br>
</font></div>
<div>
<div style="color: rgb(34, 34, 34); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">
<font face="Times" size="3">--</font></div>
<div style="color: rgb(34, 34, 34); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">
<font face="Times" size="3">Anitha Gollamudi (she/her)</font></div>
<div style="color: rgb(34, 34, 34); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">
<font face="Times" size="3">Assistant Professor,</font></div>
<div style="color: rgb(34, 34, 34); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">
<font face="Times" size="3">University of Massachusetts Lowell.</font></div>
<div style="color: rgb(34, 34, 34); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">
<font face="Times" size="3"><a href="https://urldefense.com/v3/__https://sites.uml.edu/anitha-gollamudi/__;!!IBzWLUs!RbLRsLgYMgpZlVF0Cqox4EYt6C57tsfME7exsA8VopFK4rRS-TuL1duWdm993Sc2Enxy8tVbqRIKfyrdvZP_ttrwjuJoK9bKPunLrN_yDA$">https://sites.uml.edu/anitha-gollamudi/</a></font></div>
</div>
</body>
</html>