-
and/or dynamic approaches to detect them in the code or prevent their execution at runtime. Keywords for this project: code analysis, static analysis, reverse engineering, defense mechanisms
-
on the analysis of Partial Differential Equations. The position covers four years of third-cycle studies, including participation in research and third-cycle courses. The last day to apply is May 30, 2025. Project
-
spectroscopies, as well as molecular biology for introducing site specific alterations. Atomic level structural insight will be obtained via single particle analysis cryo-EM and snapshot serial crystallography
-
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