Job Description

• Contract
• Manager
• Doctorate or equivalent
• Singapore | Closing On 04 Dec 2022

1-year contract

About Us

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together - building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities - all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

• Curate open-source C/C++/Rust programs in a large scale and construct efficient representations for them
• Develop measurements across C/C++/Rust programs to identify their semantic similarities and differences
• Develop program transformation rules between C/C++ and Rust to produce safe and efficient Rust code from C/C++
• Develop automated program patching and transformation tool to improve the safety and efficiency of existing C/C++/Rust code
• Provide guidance for junior research students and engineers
• Write and publish research papers and tools at reputable academic venues

Qualifications

• PhD degree in Computer Science, Information Technology, Information Systems, or closely related disciplines from an institution of higher learning
• Three or more years of creditable research and development experiences in programming languages, software engineering, cybersecurity, deep learning, or closely related areas
• Proficiency in programming languages and tools for systems, such as C/C++/Rust/Docker; Knowledge in Rust will be especially positively considered
• Demonstrable experience in programming languages and tools for data analysis, such as Python/SQL/scikit-learn/DGL
• 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
• Track record in writing and publishing research papers at reputable venues
• Ability to pick up and excel in new programming languages and new technologies
• Good analytical, technical, and problem-solving skills
• Good verbal and written communication skills in English
• Self-motivated individual who can work independently and collaboratively with team members