-
modeling challenges focused on Quantum Circuits are encouraged to contact us with a CV and a short description of interests. The applicants must have a strong background in Theoretical Computer Science (e.g
-
At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance
-
Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance of combined classical and
-
Associate Professor Arijit Khan, Department of Computer Science. His research works can be found at , https://scholar.google.com/citations?user=6Y-m8k4AAAAJ&hl=en , and at https://dblp.org/pid/67/2933.html