1 proof-checking-postdoc-computerscience PhD positions at University of Exeter;

Sort by

listed

Refine Your Search

Field
- Computer Science 1
- Engineering 1

Sort by: relevance | listed |

Enter an email to receive alerts for proof-checking-postdoc-computerscience positions

PhD Studentship in Engineering - Assured Runtime Control for Safe Autonomy (ARCS-A) (Funded)

University of Exeter; | Exeter, England | United Kingdom | 3 months ago

to simultaneously learn control policies and safety certificates—mathematical proofs that control decisions are safe. Data from system operation provides evidence that both the control and the proofs

Searches related to proof checking postdoc computerscience

Enter an email to receive alerts for proof-checking-postdoc-computerscience positions