[DL] Postdoc position in computational logics with Antti Kuusisto in Tampere

[Bartosz Bednarczyk]

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:

* Position: Postdoctoral researcher in computational logic at Tampere
University’s Mathematics Research Centre.

* Focus: Theoretical aspects of computational logic; research agenda can be
partly tailored to the candidate’s interests.

* Duties: Primarily research-focused; teaching duties ≤5%.

* Environment: Active Logic Group (12 researchers), broad expertise in
logic, AI foundations, and discrete mathematics. Work mainly on site;
partial remote work negotiable.

* 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.

* 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.

* Benefits: Occupational healthcare, flexible schedules, strong
infrastructure, sports/culture allowance, modern campus.

* Location: Tampere, a major Finnish city with strong industry, nature
access, and high quality of life. Finland offers extensive social security
and healthcare.

For more information, consult the webpage:
https://tuni.rekrytointi.com/paikat/?o=A_RJ&jgid=1&jid=2857
or contact Antti directly.
All the best,
Bart
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20251115/9deda31f/attachment.htm>