[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$
