[TYPES/announce] Fully funded postdoc and PhD positions at UMass Lowell

[Gollamudi, Anitha]

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 anitha_gollamudi at uml.edu<mailto:anitha_gollamudi at uml.edu>  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$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251015/a8468223/attachment-0001.htm>