-
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
-
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
-
, including the ability to communicate with clarity on complex information. Excellent communication skills in Chinese is a plus. High analytical ability to analyse and illuminate data, interprets reports