Search for University Jobs in Engineering

Job ID: 228866

Research Fellow (Efficient Smart Contract Verification) - DMSB
Singapore Institute of Technology

Date Posted Jan. 16, 2024
Title Research Fellow (Efficient Smart Contract Verification) - DMSB
University Singapore Institute of Technology
Singapore, Singapore
Department Infocomm Technology
Application Deadline Open until filled
Position Start Date Available immediately
  • Research Scientist/Associate
  • Computer Science

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:
  1. Analysis of existing smart contracts programming languages and extraction of their features.
  2. Development of a meta-semantics able to capture those features presents in smart contracts programming languages and to represent smart contracts written in them.
  3. 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 in your cover letter when
applying for or inquiring about this job announcement.

Contact Information

Please see the job description for contact details
pertaining to this university job announcement.


Refer this job to a friend or colleague!

New Search | Previous

RSS for the latest higher education jobs
Atom for the latest higher education jobs
Need a Sabbatical Home?