Research Fellow (Efficient Smart Contract Verification) - DMSB
Job no:498597 Department: Infocomm Technology Contract type:Contract Apply now
As a University of Applied Learning, SIT works closely with industry in our research pursuits. Our research staff will have the opportunity to be equipped with applied research skill sets that are relevant to industry demands while working on research projects in SIT.
The primary responsibility of this role is to deliver on an industry innovation research project where you will be part of the research team to develop/produce/investigate the development of a Meta Executable Operational Semantics for Efficient Smart Contract Verification, characterizing the features of existing programming languages for smart contracts.
Key Responsibilities
Participate in and manage the research project with Principal Investigator (PI), Co-PI and the research team members to ensure all project deliverables are met.
Undertake these responsibilities in the project:
Analysis of existing smart contracts programming languages and extraction of their features.
Development of a meta-semantics able to capture those features presents in smart contracts programming languages and to represent smart contracts written in them.
Formalization of a semantics for the Solidity programming language for smart contracts using the meta-semantics developed in ii.
Carry out Risk Assessment, and ensure compliance with Work, Safety and Health Regulations.
Coordinate procurement and liaison with vendors/suppliers.
Work independently, as well as within a team, to ensure proper operation and maintenance of equipment.
Job Requirements
Have relevant competence in the areas of Programming Languages, Languages Semantics, and Logic.
Have a PhD degree in Computer Science or elated areas.
Knowledge of Theorem Proving will be advantageous
Apply now Advertised: Singapore Standard Time Applications close: Singapore Standard Time
Please reference AcademicKeys.com in your cover letter when
applying for or inquiring about this job announcement.