5 computer-science-programming-languages Fellowship research jobs at University of Nottingham
-
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
-
. 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
-
, 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
-
lead on, plan, develop and conduct individual and/or collaborative research objectives, projects and proposals either as an individual or as part of a broader programme. To acquire, analyse, interpret