Refer a Friend or Colleague

If you would like to let a colleague know about this job, you can enter your name, e-mail address, your colleague or friend's name, and a short message below.

Your friend/colleague will receive an e-mail containing your message and the abreviated job description shown below.

Tell a Friend or Colleague About This Job

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


    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


     



 


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