Dr. Ralf Jung

Assistant Professor

Build a Statement of Purpose

Generate a tailored SOP for Dr. Ralf Jung. Improve your application with a focused, well-structured draft.

Biography

Ralf Jung is an Assistant Professor at ETH Zürich, leading the Programming Language Foundations Lab. He is affiliated with the Institute for Programming Languages and Systems at ETH. Ralf completed his PhD at MPI-SWS under the supervision of Derek Dreyer and has post-doctoral experience with the PDOS group at MIT CSAIL. His research primarily focuses on developing solid formal foundations for programming languages, particularly concerning the Rust programming language. He has been instrumental in developing Miri, a practical tool for detecting Undefined Behavior bugs in unsafe Rust code, which is becoming part of the standard toolbox for unsafe code authors. Ralf is also working on a proposal for MiniRust, which aims to create a precise specification for unsafe Rust with the goal of integrating it into the official Rust specification. In addition to his work on Rust, Ralf continues to develop the logical foundations of Iris, focusing on creating a modular approach that can handle the complexities of verification in real programming languages. For more details, please refer to his research blog and CV.

Research Interests

Programming Languages Formal Verification Rust

Experience

Assistant Professor

2020-01-01 — Present

ETH Zürich • Zürich, Switzerland

Leading the Programming Language Foundations Lab and conducting research on formal foundations of programming languages.

Requirements for ETH Zurich

Master Program
Requirements
GPA Requirement
Required:3.4
IELTS
Overall
Required:7
TOEFL
Total
Required:100
GRE General
Verbal
Required:159
Verbal Percentile
Required:80
Quantitative
Required:168
Quantitative Percentile
Required:81
Analytical Writing
Required:4.5
Writing Percentile
Required:85
Prerequisites
Bachelor's degree in a related field (Engineering, Natural Sciences, or Mathematics) Minimum 180 ECTS credits Subject-specific knowledge equivalent to ETH Bachelor's programs
Application Checklist
  • Bachelor's degree diploma or transcript
  • Official academic transcripts
  • Curriculum Vitae (CV)
  • Letter of Motivation (1 page)
  • Two academic recommendation letters
  • English language proficiency certificate
  • GRE General Test (for non-EU/EFTA applicants)
Specialization Notes

The GRE is mandatory for students who did not obtain their Bachelor's degree in an EU/EFTA state. Some departments (e.g., Computer Science) have specific ECTS credit requirements in core subjects.