1 software-formal-method-phd positions at Institute of Science Tokyo

Professor of Department of Mathematical and Computing Science (Research Field: Theoretical Computer Science)

Institute of Science Tokyo | Japan | 3 months ago

, Theory of Cryptography, Programming Theory, Software Verification Theory, Blockchain Technology, Theory and Practice of Cybersecurity, etc.) https://educ.titech.ac.jp/is/eng/ [Work content and job