Logic List Mailing Archive

CfA: University Assistant (prae-doc) on Formal Methods in Systems Engineering, Vienna (Austria), deadline: Aug 8

Job announcement: University Assistant (prae-doc) TU Wien, Faculty of Informatics, Vienna Institute of Logic and Computation, Research Unit Formal Methods in Systems Engineering

30 hours/week, limited to four years, estimated starting date is September
2024

The vacancy is advertised in German, as German skills are required due to teaching responsibilities.

Details: https://jobs.tuwien.ac.at/Job/236978

Application deadline: August 8, 2024
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php