Job Description

* 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 pr 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 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