Sort by
Refine Your Search
-
Applications are invited for a Postdoctoral Research Assistant in the theory of quantum systems. This post is full time and fixed term for 3 Years. “This project will explore theory of quantum
-
Applicants are invited to apply for the part-time position of Departmental Lecturer in Political Theory. The successful candidate will provide teaching in politics for Oriel College and the main
-
Applications are invited for the position of Departmental Lecturer in Feminist Political Theory in the Department of Politics and International Relations (DPIR), University of Oxford. This is an
-
holography, together with their relations to twistor theory, and related to algebraic aspects of supersymmetric quantum field theories, especially in the formalism of topological and holomorphic twists
-
the Department’s offices in central Oxford. The aims of the projects are: - To develop theory of session types (including mechanisation by, e.g. Coq and Isabelle, automata theory, verification, security analysis
-
, implementation of novel applications of R-matrix theory and development of new computational methods and is funded by the EPSRC. Find out more about our research and research group at: https
-
for carrying out research for implementation of dependent type theories, with a view to probabilistic programming. The post-holder will be expected to manage their own academic research and administrative
-
number of areas of computer science and mathematics, including verification, control theory, logic, and number theory. We will support your career development, through supporting your scientific work, and
-
of Computer Science. Reporting directly to Professor Marta Kwiatkowska, you will be contributing to the development of theories, models and algorithms for quantitative/probabilistic verification and synthesis to enable
-
(DataAcq) project. This is a timely project developing new methodology, theory, and applications across the areas of Bayesian experimental design, active learning, probabilistic deep learning, and related