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...
-
-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
-
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
-
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
-
involve managing multiple tasks simultaneously, requiring good time management and organizational abilities. Successful applicants will be able to prioritize effectively, ensuring efficiency and consistency
-
Group. The role will provide an opportunity to work across multiple projects within the realms of Artificial Intelligence and Digital Screening. The role holder will collaborate with cross-functional
-
project description: Inkjet printing allows multiple materials to be 3D-printed simultaneously, useful for printing functional devices. Discovering the interactions of these materials and how to leverage