<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>A call is open for one post doctorate position at the Centre of
Mathematics, University of Minho, Portugal.
</p>
<p>The Centre has a research group interested in proof theory, type
theory and lambda-calculus. <br>
<br>
The candidate must hold a doctorate degree completed <span
style="left: 411.083px; top: 521.925px; font-size: 18.4px;
font-family: sans-serif; transform: scaleX(0.926111);" dir="ltr">in
the three years preceding the application.</span><br>
<br>
The call is open until the 16th of April 2021. The formal
announcement is available at <br>
<br>
<a class="moz-txt-link-freetext" href="https://cmat.uminho.pt/sites/default/files/2021-03/CMAT_UM_Edital_BolsaBIPD_Mar2021_eng_final_2.pdf">https://cmat.uminho.pt/sites/default/files/2021-03/CMAT_UM_Edital_BolsaBIPD_Mar2021_eng_final_2.pdf</a>
<br>
<br>
For further inquiries, please contact:</p>
<p>José Espírito Santo<br>
jes AT math.uminho.pt
</p>
</body>
</html>