52 proof-checking-postdoc-computer-science-logic PhD scholarships at University of Nottingham
Sort by
Refine Your Search
-
foundational computer science and mathematical foundations of AI; and experts in the industrial utilisation of emerging AI technologies for various manufacturing and built environment inspection processes
-
is, in general, a challenging problem and one for which there is relatively little data, because experimental chemistry takes time and is expensive. Within our research group, we have a highly
-
Eng at Nottingham https://www.nottingham.ac.uk/coatings/ is an international reference for all Cold Spray based activities. BAE systems provide some of the world's most advanced, technology-led
-
University Technology Centre (UTC) in Manufacturing and On-Wing Technology, The University of Nottingham. Applicants are invited to undertake a 3-year PhD program in partnership with the UK Atomic Energy
-
engineering. Expertise in numerical tools (Ansys, JMAG, .etc) and programming are desirable. Experience in electrical machine prototype development would be advantageous. Eligibility and Application
-
of Computer Science at the University of Nottingham, starting on 1st October 2025. The topics for the studentships are open, but your research proposal should relate to the interests of one of the School’s research
-
EPSRC Doctoral Landscape Award: Embedded power electronics converters design for future electric vehicles Applicants are invited for a 4-year EPSRC Doctoral Landscape Award PhD programme, co
-
participate in the dissemination of findings through publications and conferences. Qualifications: Completed or nearing completion of a Master's degree in Medicinal Chemistry, Chemical Engineering, or a related
-
The Faculty of Science AI Doctoral Training Centre (DTC) invites applications from Home students for fully-funded PhD studentships to carry out multidisciplinary research in the world-transforming
-
PhD studentship: Improving reliability of medical processes using system modelling and Artificial Intelligence techniques Supervised by: Rasa Remenyte-Prescott (Faculty of Engineering, Resilience