1 proof-checking-postdoc-computerscience PhD positions at University of Surrey in United Kingdom
Sort by
Refine Your Search
-
decision processes. Use the CARLA simulation platform to generate DCD-style data in high-risk or ambiguous driving scenarios. Build a proof-of-concept verification pipeline that maps DCD outputs
Searches related to proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions