-
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
-
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
-
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