The CS department at Lund University invites applications for a tenure-track assistant professorship in the foundations of computer science, with a focus on logic and automated reasoning. See https://jakobnordstrom.se/openings/AsstProf-Lund-250108.html for more information and instructions how to apply. Informal enquiries are welcome and may be sent to jakob.nordstrom@cs.lth.se.

Website: https://jakobnordstrom.se/openings/AsstProf-Lund-250108.html
Email: jakob.nordstrom@cs.lth.se