Postdoc, Research Engineer, PhD
student Openings
School of Computing and Information Systems (SCIS)
Singapore Management University (SMU)
Postdoc Positions in C-to-Rust
Safe Program Translation based on Deep Code Learning & Analysis
========
Overall
Information
--------
The postdocs 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 focus on AI-based code analysis and transformation
techniques for translating C/C++ code to more memory-safe Rust code for improving
software quality.
Expected outputs for
the positions are research papers and prototype tools for analyzing and
transforming software code (mostly C/C++ and Rust) with combinations of program
analysis, data mining and/or deep learning techniques. Each contract is often
one year and renewable based on performance. The working language is English.
Benefits to
work 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 Software Engineering,
Cybersecurity, Systems, and Machine Learning.
* A vibrant,
multi-cultural, supportive working and living environment.
* A competitive monthly
stipend in the range of S$5000 and S$7000 with additional CPF for
Singaporeans and SPRs.
* Generous annual
leaves, sick leaves, insurance benefits, and performance and completion
bonuses.
General
Requirements
--------
* PhD 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, and research abilities.
* Able to pick up and
excel in new programming languages and new technologies.
* Good spoken and written
English; good communication and presentation skills.
Skill
Requirements
--------
* Fluent in at least
one major programming language and tools for systems, such as
C/C++/Rust/Docker; Knowledge in Rust will be especially positively considered
* Familiar with data mining
and deep learning techniques and tools, such as Large Language Models
* Familiar with static
program analysis and compiler techniques and tools
* Knowledge in
specialty areas, such as program translation, program analysis, programming
language design & implementation, automated software testing &
debugging, data mining & machine learning, especially deep learning of
software code, and related tools (such as C2Rust, LLVM, Tree-sitter, Txl, Coccinelle)
will be positively considered.
* Knowledge of software
security and vulnerabilities
Application
Documents
--------
CV, research statement,
and other documents (e.g., transcripts of undergrad and graduate studies) if
required by the faculty members.
Contacts
--------
Prof. Lingxiao Jiang (lxjiang@smu.edu.sg)
Deadline
--------
Open until the
positions are filled.
Research Engineer
Positions in AI for Software Development and Analytics
========
The research project also
has openings for Research Engineers. The positions are full-time jobs for
Bachelor and/or Master Degree holders.
Expected outputs for
the positions are research papers and prototype tools for analyzing and
transforming software code (mostly C/C++ and Rust) with combinations of program
analysis, data mining and/or deep learning techniques guided by the faculty
members and postdoctoral research fellows. 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 Software Engineering, Cybersecurity, Systems, and Machine Learning.
* 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.
* Able to pick up and
excel in new programming languages and new technologies.
* Good spoken and
written English; good communication and presentation skills.
* Prior research
experience is a plus.
Skill Requirements
--------
* Fluent in at least
one major programming language and tools for systems, such as
C/C++/Rust/Docker; Knowledge in Rust will be especially positively considered
* Familiar with data mining
and deep learning techniques and tools, such as Large Language Models
* Familiar with static
program analysis and compiler techniques and tools
* Knowledge in
specialty areas, such as program translation, program analysis, programming
language design & implementation, automated software testing &
debugging, data mining & machine learning, especially deep learning of
software code, and related tools (such as C2Rust, LLVM, Tree-sitter, Txl, Coccinelle)
will be positively considered.
* Knowledge of software
security and vulnerabilities
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)
Deadline
--------
Open until the
positions are filled.
Information links
========
* More about the
faculty members in the project:
- Lingxiao
Jiang: http://www.mysmu.edu/faculty/lxjiang/
* 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.