Job description

The selected candidate will carry out research on the interface between logic and computation in classical and algebraic frameworks. This is an active area within logic in computer science and database theory with many possible research directions. The supervisor will help the selected candidate to choose appropriate research questions and acquire the required skills.

The position is fixed-term with the main purpose of preparing a dissertation related to the project in the Doctoral Programme in Science (SciDoc) of the University of Helsinki. The researcher will write scientific manuscripts on their results for publication in international peer-reviewed conferences and journals. The position includes funding to attend conferences and make research visits abroad. The appointment includes teaching and public engagement duties comprising 10% of the annual working time.

Who are we looking for

The doctoral researcher shall have a Master's degree or equivalent in a suitable field, preferably in logic, by the time they start the work. Successful completion of the task requires the ability to conduct independent research and fluent English language skills.

The appointee should apply for the right to pursue a doctoral degree at the University of Helsinki which has to be obtained within the probationary period of six months of their appointment, please see: https://www.helsinki.fi/en/research/doctoral-education/the-application-process-in-a-nutshell. For more information on degree requirements and the application process, please visit https://www.helsinki.fi/en/research/doctoral-school.