[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
I have a fully funded (5-year) PhD position that focuses on building secure
compilers. Broadly speaking, the candidate will work on securing
applications---including distributed---using advances in the secure hardware
architectures (e.g., Intel SGX) and programming languages. There is ample
future scope to work in the allied areas of web assembly (WASM) and eBPF
programming. The requirement is immediate.
Read carefully on the following requirements.
1. U.S citizens preferred (if you aren’t, you can still reach out to me
provided you have met other requirements).
2. Must start no later than Fall 2025.
3. Background in programming languages (e.g., undergraduate PL course at
TAPL or equivalent level) or compilers (e.g., LLVM).
4. Background in computer architecture is a plus.
Interested candidates can reach out to me as soon as possible. Also, feel free
to circulate this message to anyone interested.
—
Anitha Gollamudi (she/her),
Assistant Professor,
Rich A Miner School of Computer Science,
University of Massachusetts, Lowell
https://urldefense.com/v3/__https://sites.uml.edu/anitha-gollamudi/__;!!IBzWLUs!XplR7oQD7a8aSsKEplVds39cEmVDW_mCy-7WiPZAiRkE0ZkGM4ClMwHJIsjj4FQqmbTrMcjgmf1cueGQI7nMJU12YJZvOnQkp90M0XxxaQ$
