37 algorithm-"Multiple"-"U.S"-"Prof" positions at University of Nottingham in United Kingdom
Sort by
Refine Your Search
-
Listed
-
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 proof assistants. The current project aims to make progress in the field of dependent type theory...
-
The University of Nottingham has been providing an outstanding student experience for over 140 years and is a leading university of worldwide significance with established campuses in UK, China, and Malaysia. Our award-winning Nottingham campus is only 15 minutes by bus or tram to our vibrant...
-
The holder of this role will undertake the teaching, assessment and supporting administrative duties across a range of established modules in the School of Politics and International Relations. The teaching will relate to one or more of the following areas: British politics, comparative...
-
institutions, and leading industry partners. The successful candidate will contribute to the delivery of high-impact research projects involving AI algorithm evaluation and image data analysis. You will play a
-
-holomorphic Hilbert Modular Forms”. The central aim of the project is to develop explicit algorithms for computing with non-holomorphic Hilbert Modular Forms and using these algorithms together with theoretical
-
machine learning algorithms and to assess when AI predictions are likely to be correct and when, for example, first principles quantum chemical calculations might be helpful. Predicting chemical reactivity
-
-or-leave decisions, but how we make them is not well understood. The goal of this project is to find out if there is common decision algorithm for leaving across species and what that algorithm is. You will
-
We are seeking to appoint a skilled Research Assistant to join the Neuropsychological evaluation and rehabilitation in multiple sclerosis (NEuRoMS) project (www.neuroms.org ) based in Mental Health
-
10 minutes and machine learning algorithms to deliver quantitative diagnosis without destroying the samples. The AF-Raman prototype will be integrated and tested in the operating theatre
-
workspaces under positional restrictions. Develop smart control algorithms that will allow the robotics end-effectors to communicate with the central control system and coordinate tasks with other end