Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
disruptive aircraft configurations involves combining advanced engineering practices, including computing power, sensing, AI/ML, and system-level engineering. Comprehensive verification and validation
-
algorithms are used that allow a computer to process large data-sets and learn patterns and behaviours, thus allowing them to respond when the same patterns are seen in new data. This include 'supervised
Searches related to verification computer science
Enter an email to receive alerts for verification-computer-science positions