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
Searches related to mechanics finite element
Enter an email to receive alerts for mechanics-finite-element positions