[TYPES/announce] Full Professorship for Formal Methods at JKU Linz

[Martina Seidl]

The Johannes Kepler University has an opening for a full professorship in Formal Methods.



Application deadline: December 1, 2021

Further details: https://urldefense.com/v3/__https://www.jku.at/en/the-jku/work-at-the-jku/job-openings/professorship-positions/professor-for-formal-methods/__;!!IBzWLUs!BFZfAbC0Q-rcA_eTkNvmDDIKYQ2afCVQA9cbXcc-skO37Wl34WCB_716I-A2YKx7O3vDBF0FSWQDGg$ 

Please feel free to contact me for any questions!

Sincerely, 
Martina Seidl

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211023/53b64755/attachment.htm>