-
department is available at: https://www.umu.se/en/department-of-computing-science/ Project description Graph transformation is a well-established theory that studies computational methods to transform graphs
-
research proposal of 3-5 pages with a discussion of potential research problem, purpose, theory, and empirical data CV / curriculum vitae Certified transcripts of academic records and degrees 1-3 writing
-
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
Searches related to game theory
Enter an email to receive alerts for game-theory positions