Bolsas de Posdoc na UCL (University College London)

[Elaine Pimentel]

Prezados colegas,

O grupo "Programming Principles, Logic, and Verification", sob o comando de David Pym, vai abrir em breve uma chamada para duas bolsas de pós-doutorado. A duração será de aproximadamente 30 meses. Os interesses incluem (mas não se limitam a):

- proof-theoretic semantics and related ideas

- foundational aspects of modal logics and applications to systems' modelling

- substructural logics

Se alguém tiver interesse em saber um pouco mais sobre o projeto, pode entrar em contato comigo.

Atenciosamente, 

--

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

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