========
Overall
Information
--------
The research engineers
will be part of our team in School of Computing and Information Systems (SCIS)
at Singapore Management University (SMU) for the Research Lab for Intelligent
Software Engineering (RISE) to carry out cutting-edge research in software
system reliability and security. A goal of this project is to test, analyze,
and certify smart contracts and the underlying blockchain systems (e.g.,
contracts written in Solidity and executed in the Ethereum blockchain) to
enhance their reliability and security.
Expected outputs for
the positions are research papers and prototype tools for testing and analysis
of smart contracts and the blockchain system. Each contract is often one year
and renewable based on performance. The working language is English.
Benefits to
be a RE in SCIS at SMU in Singapore:
--------
* Excellent opportunities in doing high quality research, as
part of a team of faculty members, fellows, and graduate students in the areas
of Cybersecurity, Systems, and Software Engineering.
* A vibrant, multi-cultural, supportive working and living
environment.
* A
competitive monthly stipend in the range of S$3500 and S$4800 with
additional CPF for Singaporeans and PRs.
* Generous annual leaves, sick leaves, insurance benefits,
and performance and completion bonuses.
* An opportunity to
concurrently study for a PhD degree in Computer Science in SCIS.
General
Requirements
--------
* Bachelor and/or
Master Degree in Computer Science or closely relevant discipline.
* Self-motivated,
hard-working, organized, and strong interests in research.
* Strong academic
records, analytical and programming skills.
* Good spoken and
written English; good communication and presentation skills.
* Prior research
experience is a plus.
Skill
Requirements
--------
* Fluent in C or C++ or
Java or Python
* Knowledge of the
Ethereum blockchain, Ethereum virtual machines, and Solidity smart contracts
(or other blockchain systems)
* Knowledge of compiler
techniques and testing & debugging techniques
Application
Documents
--------
CV, transcripts for
Bachelor degree and Master degree, and other documents if required by the
faculty members.
Contacts
--------
Prof. Lingxiao JIANG (lxjiang@smu.edu.sg) and Prof. David LO (davidlo@smu.edu.sg)
Deadline
--------
Open until the
positions are filled.
========
* More about the
faculty members in the project:
- Lingxiao
JIANG: http://www.mysmu.edu/faculty/lxjiang/
- David LO: http://www.mysmu.edu/faculty/davidlo/
* More about School of
Computing and Information Systems (SCIS): https://scis.smu.edu.sg/about/overview.
Established in 2003 as SIS and renamed as SCIS in 2021, we are a dynamic
school, aiming for excellence in creating both fundamental knowledge and practical
technologies and lifting our education and research in information technology
and computer science to be world-class.
* More about Singapore
Management University (SMU): https://www.smu.edu.sg/about/overview.
Located in the heart of Singapore’s civic, cultural and business districts, SMU
offers unique undergraduate and postgraduate programmes that aim to produce
leaders and creative researchers and entrepreneurs capable of excelling in a
rapidly changing world.
* More about Singapore
(SG): https://www.stb.gov.sg / https://www.smartnation.gov.sg/. SG
is a high-income city state in south-east Asia with a GDP of more than
US$82,000 per capita in 2022. Once a low-income British colonial trading post,
today it is a thriving global financial and high-tech hub with active
manufacturing and services industries. It prides itself on its stability and
security, and its vision for a smart nation moving further.