Full professorship at FAU Erlangen-Nürnberg

Dear all, Friedrich-Alexander-Universität Erlangen-Nürnberg is currently advertising a full professorship in Programming Languages: https://url.au.m.mimecastprotect.com/s/9mKSC81Vq2C6l2jP3snfPuy54_3?domain=fa... Notably, verification is among the topics of interest. Best wishes, Lutz