Email Gateway (Aug 22 2022 at 18:44): Email Gateway (Aug 22 2022 at 18:44):From: "Sanan Baena David Miguel (Dr)" <sanan@ntu.edu.sg>
(We apologize for multiple copies)
Multiple Postdoc Positions on Verification and Security Analysis for Hypervisor and Block Chain
Nanyang Technological University
We have several exciting research projects on
1 Hypervisor development, formal modelling and verification,
2 Testing, verification and security analysis of block chain (Ethereum and beyond)
The postdoc will work in the Cyber-Security Laboratory at Nanyang Technological University using theorem proving technologies.
The position involves conducting basic research, developing tools, working as part of a large research team, travelling, and giving presentations. The working language is English.
Apart from specific requirement to the topic a general candidate requirement are:
The term is currently one to three years starting immediately.
The salary is 5.5k to 7k SGD per month with up to 4 month performance bonus. (Singapore Tax is around 5%)
Interested applicants should send their CV to
Dr. David Sanan at sanan AT ntu.edu.sg<http://ntu.edu.sg/>
Candidates must be experienced on one or more of the following areas:
- Formal methods, theorem proving.
- Temporal logics, Higher order logic.
- Functional programming.
- OS development experience
Software testing and validation，
Smart contract and blockchain.
CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy, use, or disclose its contents.
Towards a sustainable earth: Print only when necessary. Thank you.
Last updated: Apr 25 2024 at 08:20 UTC