4 programming-"Multiple"-"Integreat--Norwegian-Centre-for-Knowledge-driven-Machine-Learning" "Prof" positions at University of Nottingham
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
-
support the aligned research work at Nottingham. Candidates must have significant prior research experience in electrical machines and experience within collaborative projects involving multiple industry