Sort by
Refine Your Search
-
12 Nov 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Engineering » Computer engineering Engineering » Electrical engineering Researcher Profile
-
limitations —driven to explore solutions that go beyond what verification alone can achieve. This PhD project focuses on developing analysis and program repair techniques that enhance software interoperability
-
Software. It is a collaboration between the University of Amsterdam and the Dutch Centre for Mathematics and Computer Science (CWI). QuSoft’s mission is to develop new protocols, algorithms and applications
Searches related to software verification computer science
Enter an email to receive alerts for software-verification-computer-science positions