-
systems, hypervisors, compilers) Exploration of novel security architectures and defenses Formal Verification: Low-level code security verification (proofs of functional correctness and security) Security
-
wide area including natural sciences and all branches of engineering, as well as architecture, industrial management, urban planning, history and philosophy. Read more here Type of employment: Temporary
-
students, researchers and faculty from around the world. Our research and education covers a wide area including natural sciences and all branches of engineering, as well as architecture, industrial
-
, as well as architecture, industrial management, urban planning, history and philosophy. Read more here Type of employment: Temporary position Contract type: Full time First day of employment: According
-
, researchers and faculty from around the world. Our research and education covers a wide area including natural sciences and all branches of engineering, as well as architecture, industrial management, urban