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