[TYPES/announce] ETH Zürich looking to hire assistant professor for "Software Security and Formal Methods" (deadline Jan 8)
research at ralfj.de
Fri Nov 18 08:46:04 EST 2022
ETH Zürich is looking to hire a tenure track assistant professor in "Computer
Security", which includes "Software Security and Formal Methods".
From my own experience of being here for a grand total of not even 3 weeks, I
can say that ETH is an a amazing place to work at, and Zürich is a great city. :D
For more information, see
Also feel free to contact me with any questions.
More information about the Types-announce