Sort by
Refine Your Search
-
Category
-
Field
-
) group at UCL. The post holder will strengthen the Metacat proof-checking core and develop a reinforcement-learning theorem-proving prototype, while continuing research on monoidal theories and
-
, visit the CORU website . About the Programme The programme offers a combination of outstanding research supervision and a rich learning community. Students benefit from a wide range of frequent
Searches related to machine learning
Enter an email to receive alerts for machine-learning positions