<div dir="ltr">Antti Kuusisto from Tampere University is actively looking for postdocs interested in computational logic. The application deadline is on the 4th of December. Key points:<br><br>* Position: Postdoctoral researcher in computational logic at Tampere University’s Mathematics Research Centre.<br><br>* Focus: Theoretical aspects of computational logic; research agenda can be partly tailored to the candidate’s interests.<br><br>* Duties: Primarily research-focused; teaching duties ≤5%.<br><br>* Environment: Active Logic Group (12 researchers), broad expertise in logic, AI foundations, and discrete mathematics. Work mainly on site; partial remote work negotiable.<br><br>* Requirements: PhD in mathematics, computer science, or related field (completed by 1 Jan 2026); thesis related to logic; ability to conduct independent research; fluent English; strong publication record is an asset.<br><br>* Employment terms: Two-year contract starting early 2026 (no later than March 1); six-month trial period; salary approx. €3900/month with Finnish University Salary System.<br><br>* Benefits: Occupational healthcare, flexible schedules, strong infrastructure, sports/culture allowance, modern campus.<br><br>* Location: Tampere, a major Finnish city with strong industry, nature access, and high quality of life. Finland offers extensive social security and healthcare.<div><br></div><div>For more information, consult the webpage:<div><a href="https://tuni.rekrytointi.com/paikat/?o=A_RJ&jgid=1&jid=2857">https://tuni.rekrytointi.com/paikat/?o=A_RJ&jgid=1&jid=2857</a></div><div>or contact Antti directly.</div><div>All the best,</div><div>Bart</div></div></div>