-
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
Searches related to optimization computer
Enter an email to receive alerts for optimization-computer positions