3 software-formal-method-phd positions at University of Southern Denmark in Denmark

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Science with focus on Sustainable and AI-driven Software

University of Southern Denmark | Denmark | about 2 hours ago

Professors in Computer Science, with emphasis on Sustainable and AI-driven Software Engineering. The targeted starting period is autumn 2026, with room for flexibility. Hired candidates will join the

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Science with focus on Cybersecurity and Privacy

University of Southern Denmark | Denmark | about 2 hours ago

areas and topics that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc

Postdoc Position in SECUREAM: Advancing Cybersecurity in Additive Manufacturing

University of Southern Denmark | Denmark | 6 days ago

of extension for the project SECUREAM: Advancing Cybersecurity in Additive Manufacturing in the intersection of blockchain, cryptography, software engineering, and applied formal methods, starting February 1