Are you passionate about software security, programming languages, and cutting-edge research at the intersection of machine learning? Join me on two projects that offer an excellent opportunity for high-impact work and career growth:
1. DARPA-funded project on detecting software vulnerabilities
- Focus: The intersection of Programming Languages (PL) and Software Security.
- Link: https://www.darpa.mil/research/programs/enhanced-sbom-for-optimized-software-sustainment
2. High-assurance translation of C to Rust
- Focus: The intersection of Programming Languages (PL) and Machine Learning (ML). While we specialize in the PL aspects, you will benefit from working with a strong collaborator leading the ML side.
Why Join Us?
- Location: SUNY Korea, Songdo – a global campus affiliated with Stony Brook University, New York.
- PhD Program: Earn your degree from Stony Brook University while studying at an English-speaking campus in Korea (41% international faculty).
- Competitive Salary: Highly competitive compensation with a significantly lower cost of living compared to other OECD countries. Tuition waive for Master’s students.
- Collaboration: Work alongside renowned research universities in the US.
- Campus Facilities:
- On-campus dormitories
- Shopping malls across the street
- Gym, swimming pool, IT Center, and Health Center integrated into the campus
- National Health Insurance of Korea
- No English Exams Required: GRE or TOEFL is not needed for this position.
How to Apply
Please send me an email at <zhoulai.fu at sunykorea.ac.kr> with:
- A statement of motivation explaining your research interests and fit for these projects
- Your resume/CV
Let’s explore your potential and do great work together!