[TYPES/announce] Associate professor position in formal methods at the University of Oslo

[Peter Csaba Ølveczky]

A full-time tenured/permanent associate professor position  in formal
methods is available at the University of Oslo, Norway.

** Application deadline: August 11, 2021 **

See
https://www.jobbnorge.no/en/available-jobs/job/208063/associate-professor-in-formal-methods
for details and on how to apply.

The formal methods research group at the University of Oslo is quite
international, with faculty and PhD students from all around the
world, and is actively involved in European projects and organizing
international  scientific conferences and workshops.  

Beautiful and family-friendly Oslo provides rich
opportunities for culture and outdoor activities, and Norway is known
for its good quality of life. 


---------

Feel free to contact Professor Peter Ölveczky (peterol  AT ifi.uio.no)
or Professor Einar Broch Johnsen (einarj AT ifi.uio.no) for more
information about the position, and HR Adviser Torunn Standal
Guttormsen (t.s.guttormsen AT mn.uio.no) for administrative
questions.