71 computer-science-programming-languages-"U" Fellowship positions at University of Nottingham
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
-
acceptable but will need to be demonstrated through certified evidence of substantial training and experience that has qualified candidates to plan, direct and perform an independent research programme with
-
, direct and perform an independent research programme with substantial deliverables. Ideal candidates will also have expertise in sustainable cities and communities, human-environment interface and the
-
. Candidates must also have excellent programming skills in a relevant scientific language, such as Mathematica or Python, to facilitate advanced data analysis of measurement outputs. Apart from being able
-
. Structured around four interconnected research strands—(Re)conceptualising, Understanding, Forecasting and Tackling—the Centre’s programme aims for far-reaching insights that transform global responses
-
. Structured around four interconnected research strands—(Re)conceptualising, Understanding, Forecasting and Tackling—the Centre’s programme aims for far-reaching insights that transform global responses
-
processes underlying hyperbole comprehension” led by Dr Ruth Filik at the University of Nottingham and Professor Hartmut Leuthold at the University of Tübingen. The person appointed will be expected to plan
-
. Structured around four interconnected research strands—(Re)conceptualising, Understanding, Forecasting and Tackling—the Centre’s programme aims for far-reaching insights that transform global responses
-
in adults with cerebral palsy; this project has been funded by NIHR Programme Development Grants. You will conduct a scoping review, recruit and interview participants, analyse qualitative data
-
, 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