[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.
• 1 fully-funded postdoc position for 2 years (with possible extension) to
start in Spring 2026.
• 2 fully-funded PhD positions with start dates in Spring/Fall 2026.
Candidates from underrepresented groups are especially encouraged to apply.
Topics can be either (or both) of the following with additional room for
flexibility:
• Secure compartmentalization of real-world applications (refer to [1] )
• Privacy-preserving machine learning using encryption (refer to [2])
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:
https://urldefense.com/v3/__https://www.uml.edu/sciences/computer-science/__;!!IBzWLUs!RpTuZekhvdNnn6ftiLe7w1pB7j3Iyea8td1cjj3tsiICISzCfmCu_WGNvsprKpyDwxRIE8R9fbXUdbcbHI1pCMIWePo98x4G-_-r24chLA$
UMass Lowell accepts students for both Spring and Fall cycles. Interested
candidates, please do reach out to me at
[email protected]<mailto:[email protected]> for an exploratory
chat before applying to the position or to discuss anything.
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,
https://urldefense.com/v3/__https://www.uml.edu/sciences/computer-science/research/faculty-research-groups.aspx__;!!IBzWLUs!RpTuZekhvdNnn6ftiLe7w1pB7j3Iyea8td1cjj3tsiICISzCfmCu_WGNvsprKpyDwxRIE8R9fbXUdbcbHI1pCMIWePo98x4G-_9on320Mw$
[1].
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$
[2].
https://urldefense.com/v3/__https://arxiv.org/abs/2509.11559__;!!IBzWLUs!RpTuZekhvdNnn6ftiLe7w1pB7j3Iyea8td1cjj3tsiICISzCfmCu_WGNvsprKpyDwxRIE8R9fbXUdbcbHI1pCMIWePo98x4G-_9-inT3pQ$
--
Anitha Gollamudi (she/her)
Assistant Professor,
University of Massachusetts Lowell.
https://urldefense.com/v3/__https://sites.uml.edu/anitha-gollamudi/__;!!IBzWLUs!RpTuZekhvdNnn6ftiLe7w1pB7j3Iyea8td1cjj3tsiICISzCfmCu_WGNvsprKpyDwxRIE8R9fbXUdbcbHI1pCMIWePo98x4G-_81xAp1lw$
