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
