Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
complexity theory uses logics to obtain machine independent characterisations of complexity classes, and logics like linear temporal logic are used in program verification to specify desired properties of runs
-
Quantitative logics and complexity theory Department of Computer Science PhD Research Project Directly Funded Students Worldwide Dr Jonni Virtema Application Deadline: 01 July 2024 Details Logics
-
are a PhD or DPhil in theoretical computer science or mathematics, an extensive knowledge of computational complexity theory, and a strong publication record in the field of computational complexity
-
areas will be valued: logic in computer science, database theory, finite model theory, structural decomposition methods, term rewriting, and parameterized complexity theory. Travel funding will be
-
, combinatorial optimisation, category theory. 14. Familiarity with computational complexity theory. Skills 15. Demonstrable ability to plan and manage independent research.