-
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
-
We are looking for a researcher, whose expertise lies in Number Theory and Modular Forms, to work with Dr. Fredrik Stromberg, on an EPSRC-funded project entitled “Explicit Methods for non
-
-network theory, assemblages, processual ontologies, regulation and governance). This project benefits from proximity to Prof Tomczak's international prison HEALTH research group, along with its location
-
include density functional theory (DFT) and higher level methods to accurately screen new systems based on their optoelectronic and vibrational properties. The role holder will develop and apply
-
Research Associate/Fellow position at the School of Mathematical Sciences, Nottingham, for the duration of 3 years. The project deals with the development of mathematical tools and models to determine the
-
the results of this project. Candidates must possess a good first Degree (or Master's) and PhD (or near competition) in Engineering, Mathematics, Physics, Computer Science, or related disciplines. Your working
-
to creating opportunities for people traditionally under-represented in Mathematical Sciences and strives to maintain an environment where people can be their authentic selves. You will be able to carry out
-
(Internal Only) The Mechanical and Aerospace Systems Research Group (MAS) requires a Senior Research Fellow who is experienced in the fields of safety critical engineering relating to Thermofluids and Materials to work across several industry relevant projects and for the development of future...
-
effective utilization of food surplus, while meeting wider economic and environmental objectives. The researcher is expected to have expertise in mathematical modelling and optimization techniques, as
-
University Hospitals), Department of Mathematics (Royal Holloway University of London) and RiverD International. This project is an excellent opportunity for inter-disciplinary training in biomedical