Logic List Mailing Archive

Full Professorship in Formal Methods, Linz (Austria), Deadline: 1 Dec 2021

The Johannes Kepler University has an opening for a full professorship in 
Formal Methods.

Application deadline: December 1, 2021

Further details: 
https://www.jku.at/en/the-jku/work-at-the-jku/job-openings/professorship-positions/professor-for-formal-methods/

Please feel free to contact me for any questions!

Sincerely,
Martina Seidl

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam