Associate professor position in formal methods at the University of Oslo

[Elaine Pimentel]

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.

--

Elaine. 

------------------------------------------------- 

Elaine Pimentel  

Full professor - DMAT/UFRN 

Vice-head of PPGMAE/UFRN

Address: Departamento de Matemática 

    Universidade Federal do Rio Grande do Norte 

    Campus Universitário - Av. Senador Salgado Filho, s/nº 

    Lagoa Nova, CEP: 59.078-970 - Natal - RN 

Webpage: http://sites.google.com/site/elainepimentel/ 

DBLP: https://dblp.org/pid/53/5809.html

Orcid: https://orcid.org/0000-0002-7113-0801

Lattes: http://lattes.cnpq.br/3298246411086415

--------------------------------------------------------