Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
Profile: We seek someone with strong mathematical maturity in control theory, dynamical systems, or applied mathematics. Familiarity with nonlinear systems analysis, graph theory, and formal methods (e.g
-
use tools such as artificial intelligence/machine learning, graph theory and graph-signal processing, and convex/non-convex optimization. Furthermore, our activities are experimentally driven and
-
supervised by Sebastian Throm. The subject area of the announced position covers kinetic theory, non-local diffusion and dynamics on graphs. The precise research direction will be determined together
-
Apply now The Mathematical Institute (MI) of Leiden University and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a PhD Candidate in Random Graphs and Complex Networks
-
networks, for their analysis and optimization, we use tools such as artificial intelligence/machine learning, graph theory and graph-signal processing, and convex/non-convex optimization. Furthermore, our
-
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
-
covers kinetic theory, non-local diffusion and dynamics on graphs. The precise research direction will be determined together with the successful candidate upon personal background and interests
-
, graph theory, satisfiability problems, discrete optimization. Strong interests in chemistry as well as proven competences in programming and ease with formal thinking are a necessity. This PhD project is
-
, graph theory, satisfiability problems, discrete optimization. Strong interests in chemistry as well as proven competences in programming and ease with formal thinking are a necessity. This PhD project is
-
) biological knowledge about GRNs from bioinformatics and system biology, (b) graph theory and topological data analysis for network modeling from mathematics, and (c) robust machine learning (ML) and GenAI from