KZ

Open to opportunities

Kai Zheng

@kaizheng

I am a PhD mathematician and theoretical computer scientist specializing in complexity, coding theory, and probabilistic proofs.

What I'm looking for

I seek a research-focused role (postdoc or faculty) to pursue foundational problems in theoretical CS and mathematics, collaborate with leading researchers, and mentor students.

I am a PhD candidate in mathematics whose research focuses on complexity, coding theory, and probabilistic proof systems. My work has produced multiple peer-reviewed publications at FOCS, STOC, SODA and ITCS, including a STOC Best Paper and other recognized awards.

I regularly present invited talks at leading institutions and workshops, and I have been supported by fellowships such as the NSF Graduate Research Fellowship and MIT Liberty Mutual Presidential Fellowship. I enjoy mentoring students, advancing foundational theory, and collaborating on challenging problems in algorithms and combinatorics.

Experience

Work history, roles, and key accomplishments

MT

Current

PhD Candidate in Mathematics

Current

Massachusetts Institute of Technology

Jan 2021 - Present (4 years 8 months)

PhD candidate researching theoretical computer science and combinatorics under advisor Dor Minzer; authored 9 publications including STOC Best Paper 2024 and multiple FOCS/SODA papers and presented at major international seminars.

Computer Science Reed Muller Codes Research

PU

A.B. in Mathematics

Princeton University

Jan 2017 - Jan 2021 (4 years)

Completed A.B. in Mathematics with High Honors; awarded the Andrew H. Brown Prize and conducted undergraduate research that led to publications.

Mathematics Research Problem Solving

Education

Degrees, certifications, and relevant coursework

MT

Massachusetts Institute of Technology

Doctor of Philosophy, Mathematics

2021 -

PhD Candidate in Mathematics at MIT since 2021; advised by Dor Minzer.

PU

Princeton University

Bachelor of Arts, Mathematics

2017 - 2021

Grade: High Honors

Completed A.B. in Mathematics with High Honors at Princeton University from 2017 to 2021.

Tech stack

Software and tools used professionally

JENNIFER

Cayley

Availability

Open to opportunities

Location

United States

Authorized to work in

Website

sites.google.com/view/kaics

Job categories

Theoretical Computer Scientist Theoretical Computer Scientist Mathematician Postdoctoral Researcher Academic Staff Research Scientist Artificial Intelligence Scientist AI Research Scientist AI Researcher Machine Learning Researcher

Skills

Complexity Theory Reed Muller Codes Probabilistically Checkable Proofs (PCPs)Low Degree Testing Graph Theory Algorithm Design Publications Mentoring JENNIFER Cayley

Interested in hiring Kai?

You can contact Kai and 90k+ other talented remote workers on Himalayas.

People also viewed

View all talent

Find your dream job

Sign up now and join over 100,000 remote workers who receive personalized job alerts, curated job matches, and more for free!

Kai Zheng - PhD Candidate in Mathematics - Massachusetts Institute of Technology | Himalayas