[TYPES/announce] Full professorship at FAU Erlangen-Nürnberg

[Lutz Schröder]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4308 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251022/32cdaa93/attachment-0001.p7s>