[TYPES/announce] Hiring of researcher by University of Minho

[José Carlos Espírito Santo]

An international selection tender is open for recruitment of a 
researcher by the Centre of Mathematics, University of Minho, Portugal.

One of the domains of interest is Logic. The Centre has a research group 
interested in proof theory, type theory and lambda-calculus.

The researcher must hold a PhD degree completed at least 5 years ago. 
The contract has maximum duration of 4 years.

The call is open until the 28th of January 2021. The formal announcement 
is available at

http://www.cmat.uminho.pt/Default.aspx?lang=en-US

For further inquiries, please contact Jose Espirito Santo: jes AT 
math.uminho.pt