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
Similar Positions
-
Research Fellow (Computer Science), Nanyang Technological University, Singapore, about 3 hours ago
The School of Computer Science and Engineering (SCSE) invites applications for the position of Research Fellow. The Research Fellow will be responsible for the development of a software platform t...
-
Research Fellow (Urban Mobility), National University of Singapore, Singapore, 11 days ago
Job Description Postdoctoral researcher positions are funded in the areas of urban mobility and smart city. The postdoctoral researchers will work with PI and co-PIs in the Department of Civil and...
-
Research Fellow (Biomedical Engineering), Nanyang Technological University, Singapore, 1 day ago
Join the pioneering team at NTU's School of Chemistry, Chemical Engineering, and Biotechnology as a Research Fellow to lead innovative research in AI-based smart healthcare monitoring devices. Thi...
-
Research Fellow (Network Data Driven Transportation), National University of Singapore, Singapore, 9 days ago
Job Description We are looking for a Research Fellow who will be responsible for designing and implementing intelligent transportation systems technologies and protocols. Responsibilities: • De...
-
Research Fellow (Integrated Photonics And Structure Optimization), National University of Singapore, Singapore, about 12 hours ago
Job Description This job aims to address some critical issues about realizing structural optimization and inverse design methods for the large-scale optoelectronic devices. The main targets are th...
-
Research Assistant (Biological Sciences), National University of Singapore, Singapore, 18 days ago
Job Description The Experimental Marine Ecology Laboratory (EMEL) within the Department of Biological Sciences at the National University of Singapore is seeking to appoint two Research Assistants...