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 -------------------------------------------------------- -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BU3%2B5v_0-idr4u8Vw0VoasC0AdFtEBtMLMPc0Oy%2B0OJ6Q%40mail.gmail.com.
