Sort by
Refine Your Search
-
the role The PDRA will carry out research on probabilistic circuits (PCs) and tree-based machine learning methods for generative modelling, with a particular focus on responsible AI. The project builds
Searches related to model checking
Enter an email to receive alerts for model-checking positions