[finite-model-theory] Job announcement

Dear colleagues, [Apologies for multiple postings.] I take the liberty to announce that The Department of People and Technology, Roskilde University, invites applications for a position as professor or associate professor on the promotion programme of Computer Science from the 1st of January 2026 or as soon as possible thereafter. Application deadline September 7th, 2025. More Information can be found here: https://candidate.hr-manager.net/ApplicationInit.aspx?cid=1310&ProjectId=147722 Best regards, Torben -- Professor, Ph.D., dr.scient. Torben Braüner Programming, Logic and Intelligent Systems Research Group Department of People and Technology Roskilde University, Denmark http://www.ruc.dk/~torben