-
learning problems involving a-priori known symmetries. A simple example are convolutional neural networks, that are known to be invariant towards translations. Using representation theory, one can build
-
. 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
-
theory, and subject didactics are some prominent perspectives. The department also conducts research in collaboration with school authorities regarding the development of schools on a research basis and
-
theory and algorithms used by, for example, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers, or similar. Familiarity with linear algebra libraries