We invite applications for a fully funded PhD position at the University of Tartu, Estonia, in the area of logic in computer science, database theory, and semiring semantics. The research investigates how classical logic and complexity tools extend to semiring-enriched models which are relevant to annotated databases, provenance, and confidence scoring. Requirements: – Master’s degree in CS, math, or related field – Background/interest in logic, TCS, or database theory Opportunities: – Work at the modern Delta Centre – International collaboration (extended visit to Helsinki planned) Gross salary: €2200-2300/month Application period: May 1-15, 2025 Apply here: DreamApply Portal<https://estonia.dreamapply.com/en_GB/courses/course/1189-phd-mathematics-and-computer-science-specialisation-computer-science> Program Info<https://ut.ee/en/curriculum/mathematics-and-computer-science> | Open Calls (CS #7)<https://ut.ee/en/content/phd-open-calls> Contact: Miika Hannula (miika.hannula@ut.ee) for informal inquiries