[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hello everyone,
I am offering up to two fully funded PhD positions in my newly founded research
group at ETH Zürich. I am looking for strong students that want to do research
at the foundations of programming language theory, in program verification and
separation logic, with a focus on Rust and Iris. Knowledge of Coq is greatly
appreciated. Interested candidates can contact me directly at [email protected].
Please explain why you are interested in a PhD in this field and what your prior
experience is. Also include a CV and possible contacts for recommendation letters.
For more information about ETH Zürich, see
https://urldefense.com/v3/__https://ethz.ch/en/the-eth-zurich/working-teaching-and-research.html__;!!IBzWLUs!QCpgLWCjxj5qAJFUaiDts7XnxqyqHwCOSwL1vsAB2mFw7U4jFigcmKzY4vPVwxLB57GyWqVKVS3bogEagi2sFk-XabVNxmbGcw$ .
Kind regards,
Ralf
https://urldefense.com/v3/__https://research.ralfj.de/__;!!IBzWLUs!QCpgLWCjxj5qAJFUaiDts7XnxqyqHwCOSwL1vsAB2mFw7U4jFigcmKzY4vPVwxLB57GyWqVKVS3bogEagi2sFk-XabXQb3e6mw$
