(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.
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
