Tampere University and Tampere University of Applied Sciences create a unique environment for multidisciplinary, inspirational and high-impact research and education. Our universities community has its competitive edges in technology, health and society. www.tuni.fi/en

We are inviting applications for a postdoctoral researcher position in computational logic in the Mathematics Research Centre of Tampere University, Finland.

The position will involve research on theoretical aspects of computational logic. Candidates specializing in different topics in logic are encouraged to apply. A suitable candidate will have a background in mathematics, computer science, or a related area. Part of the research agenda can be tailored to the candidate's interests.

This is a research-focused position, with teaching-related duties limited to at most five percent of the workload.

Tampere University Logic Group currently consists of 12 researchers, including five senior members. The group’s research interests encompass a broad range of topics, including discrete mathematics, finite model theory, and the complexity of logical systems, as well as the foundations of AI, explainability, and answer-set programming.

The position is located in the Faculty of Information Technology and Communication Sciences in the Mathematics Research Centre of the Unit of Computing Sciences. The unit currently employs 45 professors and 55 full-time teachers, and we have total of 440 staff members. The work will be conducted on site, by default, as we encourage active participation in the local and vibrant research community. Partial remote work (e.g., 1–2 days a week) is possible, as separately negotiated. 

Requirements

A successful candidate will hold a PhD in mathematics, computer science, or a closely related field, with the thesis relating to logic. The degree should be complete or completed no later than 1 January 2026. We expect the ability to conduct independent research. Fluency in spoken and written English is required.

We value engagement with the international research community, and a strong publication record in theoretical aspects of logic will be considered an asset.

We offer

The position is for a duration of two years, beginning in early 2026, and no later than March 1, 2026. An earlier start date is preferred.

The Postdoctoral position will be offered for two years and the strongly preferred starting date is in early 2026 but no later than March 1, 2026. A trial period of six months applies to all our new employees. The salary will be based on both the job requirements and the employee's personal performance in accordance with the Finnish University Salary System.The position of Postdoctoral Researcher is placed on the job demands level 5-6 (teaching and research staff). A typical starting salary of Postdoctoral Researcher is around 3900 EUR/month. 

As a member of staff at Tampere University, you will enjoy a range of competitive benefits, such as occupational health care services, flexible work schedule, versatile research infrastructure, modern teaching facilities and a safe and inviting campus area as well as a personal fund to spend on sports and cultural activities in your free time. Please read more aboutworking at Tampere Universityand information aboutTampere University as an employer. You can also find more information about us and working and living Tampere by watching our video:Tampere Higher Education Community - our academic playground. 

Tampere, located between two big lakes, is Finland’s second largest city area and the biggest inland city in the Nordic countries. Nature is close everywhere you turn your head in Tampere. This together with a strong tradition in industry make Tampere a unique environment for living and working. At present the region hosts a great deal of industry and service businesses, and the City of Tampere is a major hub for the Finnish ICT industry. For more information on Tampere, please check VisitTampere, Welcome to Tampere and International House Tampere. 

Finland provides one of the most advanced and comprehensive social security in the world. It includes for example sickness benefits, various family benefits and a comprehensive healthcare system. For more information on Finland, please check InfoFinland and This is Finland. 

How to apply

Please submit your application through our online recruitment system. The closing date for applications is December 4, 2025 (23:59:00 EET / UTC+2). Please write your application and all accompanying documents in English and attach them in PDF format.

Applications should include the following documents: 

• Curriculum Vitae 
• List of publications
• Copies of your degree certificates (PhD and MSc degree certificates)
  • If you have not yet graduated please include short explanation of your situation
  • PhD must be completed by January 1, 2026
• Motivation letter, including 
  • a short introduction of the applicant, 
  • your background on related topics
  • a short research proposal and future plans
  • mention on when you can start in the position
  • (max. 2 pages)

For more information, please contact:

For more information about the position, please contact Associate Professor Antti Kuusisto by email (firstname.surname@tuni.fi). 

*********

Tampereen yliopisto ja Tampereen ammattikorkeakoulu muodostavat yhdessä Suomen toiseksi suurimman monitieteisen, innostavan ja vaikuttavan tutkimus- ja oppimisyhteisön. Korkeakouluyhteisömme osaamiskärjet ovat tekniikka, terveys ja yhteiskunta. Lue lisää: www.tuni.fi 

Tampereen yliopistossa on haettavana Tutkijatohtorin tehtävä laskennallisen logiikan alalle.

Hakuohjeet

Lue tarkemmat tiedot tehtävästä ja hakuohjeet yllä olevasta englanninkielisestä ilmoituksesta.

Jätäthän hakemuksesi yliopiston sähköisellä hakulomakkeella (linkki löytyy tämän ilmoituksen alta). Hakuaika tehtävään päättyy 4.12.2025, klo 23:59:00.