<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<span><span style="color: rgb(34, 34, 34); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; font-size: 14px;"><span><font face="Times">Please help spread the word. My research group
at University of Massachusetts Lowell (UMass Lowell) has the following openings in the area of formal methods for security and privacy. </font></span></span></span>
<div>
<div style="orphans: 2; widows: 2;"><font color="#222222" face="Times"><span style="caret-color: rgb(34, 34, 34); font-size: 14px; background-color: rgb(255, 255, 255);"><br>
</span></font></div>
<span><span style="color: rgb(34, 34, 34); font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; font-size: 14px;"><span></span></span></span>
<div><span class="Apple-tab-span" style="white-space:pre"><font face="Times" style="font-size: 14px;"></font></span><font face="Times" style="font-size: 14px;">• 1 fully-funded postdoc position for 2 years (with possible extension) to start in Spring 2026.</font></div>
<div><font face="Times" style="font-size: 14px;"><span class="Apple-tab-span" style="white-space:pre"></span>• 2 fully-funded PhD positions with start dates in Spring/Fall 2026.</font></div>
<font face="Times" style="font-size: 14px;"><span><br>
</span></font><span style="font-family: Times; font-size: 14px;">Candidates from underrepresented groups are especially encouraged to apply. </span><font face="Times" style="font-size: 14px;"><span>Topics can be either (or both) of the following with additional
room for flexibility:<br>
<br>
<div><span class="Apple-tab-span" style="white-space:pre"></span>• Secure compartmentalization of real-world applications (refer to [1] )</div>
<div><span class="Apple-tab-span" style="white-space:pre"></span>• Privacy-preserving machine learning using encryption (refer to [2])</div>
<br>
<br>
The school of computer science at UMass Lowell has a vibrant and growing programming languages and security groups providing excellent collaborative opportunities for the successful candidate. To learn more:
<a href="https://urldefense.com/v3/__https://www.uml.edu/sciences/computer-science/__;!!IBzWLUs!RpTuZekhvdNnn6ftiLe7w1pB7j3Iyea8td1cjj3tsiICISzCfmCu_WGNvsprKpyDwxRIE8R9fbXUdbcbHI1pCMIWePo98x4G-_-r24chLA$">https://www.uml.edu/sciences/computer-science/</a></span></font></div>
<div><font face="Times" style="font-size: 14px;"><br>
<br>
UMass Lowell accepts students for both <b>Spring</b> and <b>Fall</b> cycles. Interested candidates, please do reach out to me at</font><span style="font-family: Times; font-size: 14px;"> </span><span style="font-family: Times; font-size: 14px;"><a href="mailto:anitha_gollamudi@uml.edu">anitha_gollamudi@uml.edu</a> </span><span style="font-size: 14px; font-family: Times;"> for
an exploratory chat before applying to the position or to discuss anything.</span><span style="font-size: 14px; font-family: Times;"> </span></div>
<div><font face="Times" style="font-size: 14px;"><br>
The school of computer science at UMass Lowell has a vibrant and growing programming languages and security groups providing excellent collaborative opportunities for the successful candidate. The programming research is 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, <a href="https://urldefense.com/v3/__https://www.uml.edu/sciences/computer-science/research/faculty-research-groups.aspx__;!!IBzWLUs!RpTuZekhvdNnn6ftiLe7w1pB7j3Iyea8td1cjj3tsiICISzCfmCu_WGNvsprKpyDwxRIE8R9fbXUdbcbHI1pCMIWePo98x4G-_9on320Mw$">https://www.uml.edu/sciences/computer-science/research/faculty-research-groups.aspx</a> <br>
<br class="Apple-interchange-newline">
</font>
<div><font face="Times" style="font-size: 14px;"><br>
</font></div>
<div><font face="Times" style="font-size: 14px;">[1]. <a href="https://urldefense.com/v3/__https://popl25.sigplan.org/details/prisc-2025-PriSC-2024-1/1/Automatic-Inference-of-Enclave-Placement-in-LLVM-Compiler__;!!IBzWLUs!RpTuZekhvdNnn6ftiLe7w1pB7j3Iyea8td1cjj3tsiICISzCfmCu_WGNvsprKpyDwxRIE8R9fbXUdbcbHI1pCMIWePo98x4G-_-FExXdbQ$">https://popl25.sigplan.org/details/prisc-2025-PriSC-2024-1/1/Automatic-Inference-of-Enclave-Placement-in-LLVM-Compiler</a></font></div>
<div><font face="Times" style="font-size: 14px;"><br>
</font></div>
<div><font face="Times" style="font-size: 14px;">[2]. <a href="https://urldefense.com/v3/__https://arxiv.org/abs/2509.11559__;!!IBzWLUs!RpTuZekhvdNnn6ftiLe7w1pB7j3Iyea8td1cjj3tsiICISzCfmCu_WGNvsprKpyDwxRIE8R9fbXUdbcbHI1pCMIWePo98x4G-_9-inT3pQ$">https://arxiv.org/abs/2509.11559</a> </font></div>
</div>
<div><br>
</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" style="font-size: 14px;">--</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" style="font-size: 14px;">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" style="font-size: 14px;">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" style="font-size: 14px;">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"><a href="https://urldefense.com/v3/__https://sites.uml.edu/anitha-gollamudi/__;!!IBzWLUs!RpTuZekhvdNnn6ftiLe7w1pB7j3Iyea8td1cjj3tsiICISzCfmCu_WGNvsprKpyDwxRIE8R9fbXUdbcbHI1pCMIWePo98x4G-_81xAp1lw$" style="font-size: 14px;">https://sites.uml.edu/anitha-gollamudi/</a></font></div>
</div>
</body>
</html>