-
educational programs in Computer Science, we are now seeking a PhD student with a focus on Neuro-Symbolic Graph Transformation. The Department of Computing Science has been growing rapidly in recent years, with
-
research in the areas of condensed matter physics, nanotechnology, photonics, and theoretical and computational physics. We announce a PhD position for a project focusing on simulation and artificial
-
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
-
into how algorithmic systems influence the circulation of information and disinformation across digital platforms, and how such processes affect perceptions of credibility, truth, and democratic