Sort by
Refine Your Search
-
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...
-
/developmental biology and molecular biology such as techniques involving protein-protein interactions, transcriptomics, or single-cell sequencing. A track record of publishing research is also desirable
-
, alignment, and characterisation of laser-based instrumentation. • Strong experience with computer programming, both for signal processing and experimental hardware control (e.g., C, C++, Python, MATLAB
-
the development and execution of long-term research strategies aligned with the University’s objectives, securing substantial external funding to sustain large-scale, interdisciplinary projects. The role holder
-
support the aligned research work at Nottingham. Candidates must have significant prior research experience in electrical machines and experience within collaborative projects involving multiple industry
-
Business Administration. Postdoctoral Research Station in Business Administration was approved to establish in Nov 2023. It is UNNC’s first postdoctoral research station, and its founding deeply aligns with
-
of Life Sciences. This position will be especially suited to candidates with an interest in brain tumour genomics and specifically, single cell RNA sequencing and spatial transcriptomics. The post offers a
-
), DTP, DTP-CASE, and I-CASE. Those funded by other Research Councils or other funders are NOT eligible (this includes students aligned to EPSRC CDTs but funded from other Research Councils or other
-
institutions; (ii) interact in a professional manner with industrial partners in a highly multidisciplinary environment; (iii) work to very tight deadlines and manage multiple projects; (iv) Report regularly
-
to focus on computational aspects of the project, in particular the creation of numerical bifurcation tools for the investigation of strongly coupled networks with multiple state-dependent delays. We believe