Sort by
Refine Your Search
-
involves formalization in type theory and the mechanization of results using interactive theorem provers. The project welcomes a broad range of perspectives across functional-imperative programming
-
electrochemistry and flow in a range of systems, including multivalent metal ion batteries, redox flow batteries, electrodialysis and capacitive deionisation. This project is highly interdisciplinary and
-
contribute to the creation of knowledge by undertaking activities focusing broadly on mood disorders and sleep as a mechanism of onset, relapse and treatment. The post is suited to candidates with an interest
-
Specification Essential First degree in area of specialism (such as Chemical, Civil, or Mechanical Engineering) and normally, a higher degree relevant to research area - or equivalent qualifications or industrial