Sort by
Refine Your Search
-
Quantum computing and Graph theory In this role, you will be responsible for conducting research on graph theoretic approaches to design quantum photonic experiments. Additionally, the position involves
-
structural and algorithmic graph theory. The purpose of the role is to contribute to the project “Algorithmic meta-classifications for graph containment”, working with Professor Matthew Johnson, Dr Barnaby
-
the WATOC Dirac Medal. As the successful candidate, you will contribute to the design and implementation of AI models that integrate quantum mechanical theory with deep learning, enabling rapid and
-
graph theory. Qualifications Candidates with a Ph.D. in any area of cognitive neuroscience broadly defined (e.g., Psychology, Neuroscience, Computer Science, or a related field) are welcome to apply
-
Ramsey Theory and Graph Packing. Another example of the interplay between algorithms and combinatorics arises in the context of graph packing. See the following paper: https://epubs.siam.org/doi/abs
-
. There will be three research fellows appointed in different stages of the project. For this post, the successful candidate will primarily focus on developing LLM agents to support effective theory of mind
-
the end of the course, students will have a solid understanding of fundamental statistical theory and be proficient in applying various statistical methods to different types of data and experimental
-
, in a large variety of fields including defence, astronomy, art investigation, or medicine. Our research activities range from signal and image processing theory to application, and impact different
-
previous experience with e-graphs, or is familiar with theory and algorithms used by, for example, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers
-
. Proficiency in programming languages, compilation techniques and optimizations. Proficiency in C, C++, and/or Rust. Merits: Experience with e-graphs. Familiarity with theory and algorithms used by, for example