2 programming-"Multiple"-"Washington-University-in-St"-"U" Fellowship positions at University of Nottingham

Research Fellow - multiple positions (FTC)

University of Nottingham | Nottingham, Scotland | United Kingdom | 6 days ago

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

Postdoctoral Research Fellow (Principal Investigator: Dr Jie Yu)

University of Nottingham | Nottingham, Scotland | United Kingdom | 3 months ago

the national strategic needs in promoting talent cultivation and innovation as well as that of UNNC. UNNC’s undergraduate programme of Business Administration was launched in 2004 and the doctoral programme in