[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
