Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Western Michigan University
- NEW YORK UNIVERSITY ABU DHABI
- Monash University
- Nature Careers
- University of Luxembourg
- New York University
- ETH Zurich
- Florida Gulf Coast University
- The University of Memphis
- Umeå University
- Beijing Normal-Hong Kong Baptist University
- Beijing Normal-Hong Kong Baptist University (BNBU)
- Empa
- ICN2
- Illinois Wesleyan University
- Imperial College London
- Indiana University
- Institute for Basic Science
- Korea Institute for Advanced Study
- Leiden University
- Michigan State University
- Oak Ridge National Laboratory
- Technical University of Munich
- Texas A&M University
- UiT The Arctic University of Norway
- University of Florida
- University of Sheffield
- University of South Carolina
- University of Southern California
- ;
- AALTO UNIVERSITY
- Aalborg University
- Arizona State University
- Auburn University
- Bar Ilan University
- Baylor College of Medicine
- Bilkent University
- CNRS
- Central China Normal University
- Charles University, Faculty of Mathematics and Physics
- DAAD
- DURHAM UNIVERSITY
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- Durham University
- EPFL - Ecole Polytechnique Fédérale de Lausanne
- Framingham State University
- Fraunhofer-Gesellschaft
- Ghent University
- Harbin Engineering University
- Hokkaido University
- KINGS COLLEGE LONDON
- King Fahd University of Petroleum and Minerals
- Lawrence Berkeley National Laboratory
- Leibniz
- Leiden University; Leiden
- Leipzig University •
- London Institute for Mathematical Sciences;
- Mount Royal University
- NIST
- New York University of Abu Dhabi
- North Carolina State University
- Princeton University
- Roma Tre University
- Rudjer Boskovic Institute
- St. Olaf College
- Stanford University
- Tampere University
- Texas A&M University System
- The Chinese University of Hong Kong
- The Hebrew University of Jerusalem
- The University of Auckland
- Tokyo International University
- University College Dublin
- University of Birmingham;
- University of California
- University of California San Francisco
- University of Manchester
- University of Michigan
- University of Minnesota
- University of New Mexico
- University of Oslo
- University of Oxford
- University of Rhode Island
- University of Southern California (USC)
- University of Southern Denmark
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- University of Warwick
- Virginia Tech
- WIAS Berlin
- 80 more »
- « less
-
Field
-
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
-
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
-
to model and analyse the intrinsic complexities of these systems. This research direction requires advancements in modern probabilistic tools, including spatial random graphs, random walks, and Markov chains
-
quantum information theory, algebraic topology, polyhedral combinatorics, graph theory, and optimization are strongly encouraged to apply. For more details on the project, visit open positions page . To be
-
transforming the theory into scalable production systems, backed by patented innovations. (3) A proven research record in mathematical AI (e.g., optimization, dynamical systems, graph theory, probabilistic
-
graph neural networks). Finally, as initiated in [4], a stronger adversary model can also be defined and studied whereby the active adversary who wishes to harm the model is aware of the underlying
-
to: Investigate how logical and philosophical theories can support the structuring and modelling of knowledge in practical contexts. Participate in the development of IMF by bringing in methods from formal ontology
-
, specifically modelling the complex interrelations among infrastructure, human operators, and organizational structures using dynamic graphs, system dynamics, Agent Based Models, and discrete event simulations
-
generated from density functional theory simulations, we aim to interpret complex TERS images and push the limits of nanoscale optical imaging. The student will develop and implement new theoretical
-
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