Sanan Baena David Miguel (Dr)
2018-11-09 09:36:08 UTC
(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:
- A PhD in Computer Science or related areas is required.
- Strong background in logic and discrete maths.
- Strong programming skills.
- An established research record.
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.
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:
- A PhD in Computer Science or related areas is required.
- Strong background in logic and discrete maths.
- Strong programming skills.
- An established research record.
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.