Logic List Mailing Archive

CfA: Full Professorship (W3) in Programming Languages, FAU Erlangen–Nürnberg (Germany), deadline: November 11

Dear all,

Friedrich-Alexander-Universitt Erlangen-Nrnberg 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
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php