Technische Universität Wien (TU Wien) is looking to solve problems in formal methods for security, with application domains including machine learning, cryptographic protocols, blockchains, browsers, and web applications
Requirements
- Strong academic background in computer science, cybersecurity, information technology, software engineering, applied mathematics, or related fields
- Interest in formal methods and security applications
- Excellent programming skills
- Knowledge of formal methods and security protocols
- Experience with machine learning, cryptographic protocols, blockchains, browsers, and web applications
- Strong understanding of computer science fundamentals
- Familiarity with research methodologies and publication processes
Responsibilities
- Conduct research in formal methods for security
- Apply formal methods to various domains including machine learning, cryptographic protocols, blockchains, browsers, and web applications
- Publish research at leading international conferences
- Collaborate with Professor Matteo Maffei and other researchers at the Cybersecurity Center
Other
- Excellent academic record (CV and transcript of records required)
- Ability to work in a lively, diverse, and supportive environment
- Willingness to contact Professor Matteo Maffei directly by email with CV and transcript of records
- Interest in pursuing a Ph.D. at Technische Universität Wien (TU Wien)
- Ability to relocate to Vienna, Austria
