[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi all,
We are looking for a strong post-doc who wants to do research at the foundation
of programming language theory, in program verification and separation logic,
with a focus on Rust. Candidates should bring solid experience in formal methods
and PL theory. Prior knowledge of separation logic, Rocq, or Rust is greatly
appreciated.
Interested candidates should email [email protected]. Please explain why you
are interested in a post-doc in this field and what your prior experience is.
Also include a CV and possible contacts for recommendation letters.
The starting date is flexible. The position is fully funded for two years at the
standard ETH post-doc [salary] level, and comes with teaching requirements
(thesis supervision, TA'ing courses); an extension could be possible depending
on the funding situation at that time. For more information about ETH Zürich,
see [ethz].
If you have any questions, please do not hesitate to get in touch!
[salary]:
https://urldefense.com/v3/__https://ethz.ch/en/the-eth-zurich/working-teaching-and-research/welcome-center/employment-contract-and-salary/salary.html__;!!IBzWLUs!WmK1Lnntr1TfuPss93pvg5YGXvJtO9aPsACBa9HyIc7Kl9i8LRoM82Ms-b2A2z1K6NHmoC-NXvi1rcOlYagoJnj7XSBcBlnGmA$
[ethz]: https://urldefense.com/v3/__https://ethz.ch/en/the-eth-zurich/working-teaching-and-research.html__;!!IBzWLUs!WmK1Lnntr1TfuPss93pvg5YGXvJtO9aPsACBa9HyIc7Kl9i8LRoM82Ms-b2A2z1K6NHmoC-NXvi1rcOlYagoJnj7XSACq4z7xg$
Kind regards,
Ralf
--
Website: https://urldefense.com/v3/__https://research.ralfj.de__;!!IBzWLUs!WmK1Lnntr1TfuPss93pvg5YGXvJtO9aPsACBa9HyIc7Kl9i8LRoM82Ms-b2A2z1K6NHmoC-NXvi1rcOlYagoJnj7XSCcwXwi0w$
