4 computer-science-programming-languages-"Prof" Fellowship positions in United Kingdom
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
-
, faster, longer? Future of Healthful Work – a large scale interdisciplinary program we’re leading asks the question “what if work were healthful from the outset, rather than being something from which we
-
Language Sciences. The lab comprises of a team of researchers and PhD students led by Prof Ayelet N. Landau. We research the psychological and neural mechanisms of attention, time perception with a specific
-
capability Fluency in relevant models, techniques or methods and ability to contribute to developing new ones High level of competence in computer programming, with C++ an advantage. Ability to communicate