Brendan Zabarauskas on Twitter: "@lambda_calculus @HerrDreyer If only I managed to stick it out to get an undergrad degree… such a cool project! Hope there are some great applicants!" / Twitter

The "RustBelt: Logical Foundations for the Future of Safe Systems Programming" project, led by

, has multiple PhD and post-doc openings. This is a very cool, highly recommended project!! lists.seas.upenn.edu/pipermail/type

3

10

19

Replying to

and

If only I managed to stick it out to get an undergrad degree… such a cool project! Hope there are some great applicants!

Conversation