-
properties on the structures underlying quantum computations. A main component of the project will be using the ZX-calculus, a graphical language for reasoning more intuitively about quantum processes. As PhD
-
with disabilities through inclusive Human-Computer Interaction (HCI) and participatory design methods. This PhD project will focus on methods and experiences in co-designing with stakeholders, especially
-
Machine Learning, and has over 30 PhD students, postdoctoral researchers and faculty members working on a broad variety of deep learning, computer vision, and foundation model subjects, like self-supervised
-
for Logic, Language and Computation (ILLC) at the University of Amsterdam is inviting applications for a fully funded PhD position in the NWO project "Simplicial type theory" lead by dr. Benno van den Berg