-
insights and software artifacts advancing the state of the art in quantum program verification. Duties The doctoral student will primarily devote their time to doctoral education. Other departmental duties
-
application! We are looking for three (3) PhD students to the new national center for cyber-resilient AI RESIST with the following topics: Secure AI-supported software development Resilient Agentic AI End
-
application! We are announcing a PhD student position in Computer Science within CUGS Research School in a joint effort with Cybercampus Sweden , formally based at the division for Cybersecurity at Department
Enter an email to receive alerts for software-verification-phd "https:" positions