[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]Dear all,Friedrich-Alexander-Universität Erlangen-Nürnberg is currently advertising a full professorship in Programming Languages:
https://www.fau.eu/people/working-at-fau/professorships/#W3-Computer-Science Notably, verification is among the topics of interest. Best wishes, Lutz
smime.p7s
Description: S/MIME Cryptographic Signature
