[TYPES/announce] Post-doc position at ETH Zurich in formal semantics and verification (with a focus on Rust)

[Ralf Jung]

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 ralf.jung at inf.ethz.ch. 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$