-
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
-
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
-
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
-
interdisciplinary PhD is highly desirable. PhD equivalence is acceptable but will need to be demonstrated through certified evidence of substantial training and experience that has qualified candidates to plan
-
. 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