[TYPES/announce] Fully-Funded PhD Positions at University of. Massachusetts Lowell

[Gollamudi, Anitha]

TL;DR: If you are interested in PL+Security research positions, reach out to me!


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.

Project #1 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.

Project #2 involves building secure Fully Homomorphic Encryption (FHE) compilers.

I am also open to different topics that broadly fall at the intersection of security and programming languages.

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. Knowledge of cryptography is preferred but not required; however the student must be excited to spend time and learn the topics related to security.

UMass Lowell accepts students for both Spring and Fall cycles. Interested candidates, please do reach out to me for an exploratory chat before applying to the position. You are also welcome to reach out to me if you are not sure about the qualifications (or the application timeline/research).

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!RbLRsLgYMgpZlVF0Cqox4EYt6C57tsfME7exsA8VopFK4rRS-TuL1duWdm993Sc2Enxy8tVbqRIKfyrdvZP_ttrwjuJoK9bKPunpfbkYJg$ 


--
Anitha Gollamudi (she/her)
Assistant Professor,
University of Massachusetts Lowell.
https://urldefense.com/v3/__https://sites.uml.edu/anitha-gollamudi/__;!!IBzWLUs!RbLRsLgYMgpZlVF0Cqox4EYt6C57tsfME7exsA8VopFK4rRS-TuL1duWdm993Sc2Enxy8tVbqRIKfyrdvZP_ttrwjuJoK9bKPunLrN_yDA$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20241210/1715442e/attachment.htm>