1 formal-verification-computer-science PhD positions at Aalborg University in Denmark

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science positions

Phd position in verification of neural networks for control

Aalborg University | Denmark | about 23 hours ago

The Department of Computer Science at Aalborg University has a fully-funded PhD position available. The candidate will be working on formal verification of neural-network control policies

Searches related to formal verification computer science

Enter an email to receive alerts for formal-verification-computer-science positions