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