[TYPES/announce] Pos doc position at University of Minho

[José Carlos Espírito Santo]

A call is open for one post doctorate position at the Centre of 
Mathematics, University of Minho, Portugal.

The Centre has a research group interested in proof theory, type theory 
and lambda-calculus.

The candidate must hold a doctorate degree completed in the three years 
preceding the application.

The call is open until the 16th of April 2021. The formal announcement 
is available at

https://cmat.uminho.pt/sites/default/files/2021-03/CMAT_UM_Edital_BolsaBIPD_Mar2021_eng_final_2.pdf 


For further inquiries, please contact:

José Espírito Santo
jes AT math.uminho.pt

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210406/48cd8e11/attachment.htm>