3 programming-"Multiple"-"Integreat--Norwegian-Centre-for-Knowledge-driven-Machine-Learning" "Prof" positions at University of Nottingham in United Kingdom
Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
Dependent type theory is a foundation of mathematics that allows us to mechanise arguments, and is closely related to higher category theory. It serves as that basis of programming languages and
-
Applications are invited to undertake a three-year PhD programme in partnership with industry to address key challenges in manufacturing engineering. The successful candidate will be based
-
are invited to undertake a three-year PhD programme in partnership with industry to address key challenges in on-platform manufacturing engineering. The successful candidate will be based at the Rolls-Royce
Enter an email to receive alerts for programming-"Multiple"-"Integreat--Norwegian-Centre-for-Knowledge-driven-Machine-Learning" "Prof" positions