-
07.07.2026, Academic staff Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. Your research will focus on the applications of logical
-
reduction, nonlocal PDE operators or OpenMP/MPI/CUDA parallelization? If such terms are familiar for you - and if you are excited by the mathematical analysis, development, and rigorous understanding
Searches related to discrete mathematics
Enter an email to receive alerts for discrete-mathematics positions