14 computer-science-programming-languages-"Prof" Fellowship positions in United Kingdom
Sort by
Refine Your Search
-
and values diversity acting as a role model and fostering an inclusive working culture Person Specification Essential: PhD (or near completion) in Computer Science, Data Science, AI, or a related field
-
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
-
Computer Science, Data Science, AI, or a related field with substantial expertise in data science/AI methods Strong publication record in relevant areas Demonstrated ability to work across disciplinary boundaries
-
the ERA Chairs Call of the Horizon Europe Programme, the EU’s primary funding program for research and innovation. The synthesis centre hosts collaborative interdisciplinary working groups from outside