2 parallel-processing "DIFFER" Fellowship positions at University of Sheffield

Sort by: relevance | listed |

Enter an email to receive alerts for parallel-processing "DIFFER" positions

Research Fellow in AI-Assisted Formal Verification

University of Sheffield | Sheffield, England | United Kingdom | about 12 hours ago

-checked security guarantees. In parallel, we will investigate how modern AI techniques can accelerate large-scale formal verification, developing AI proof agents that can maintain, extend and refactor
Research Fellow in AI-Assisted Formal Verification

University of Sheffield | Sheffield, England | United Kingdom | 1 day ago

-checked security guarantees. In parallel, we will investigate how modern AI techniques can accelerate large-scale formal verification, developing AI proof agents that can maintain, extend and refactor

Enter an email to receive alerts for parallel-processing "DIFFER" positions