Help & Supportcareers@gravityer.com
CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
University of Cambridge
Data Scientist
June 25, 2026 – Present
ln-ssa
August 25, 2025 – September 16, 2025
A Lean 4 formalization of SSA in locally-nameless style
View Projectln-stlc
August 23, 2025 – August 25, 2025
A Lean 4 formalization of the simply-typed lambda calculus in locally-nameless style
View Projectdlcf
December 28, 2024 – January 8, 2025
An LCF-style kernel for extensional MLTT, written in Lean
View Projectdiscretion
April 24, 2024 – July 2, 2025
Utilities for formalizing programming languages in Lean 4, along with other tidbits
View Projectlean-sys
August 15, 2023 – September 24, 2025
Rust bindings for the Lean 4 proof assistant
View Projectatml-project
April 6, 2021 – April 11, 2021
Advanced Topics in Machine Learning Reproduction Project
View ProjectCultural Fit Analysis
The candidate's projects are heavily focused on formal methods, proof assistants, and low-level Rust programming. While there is one machine learning project, the overall portfolio does not strongly align with a typical 'Data Scientist' role which often requires broader experience in statistical modeling, data manipulation, visualization, and various ML frameworks. The current role as 'Data Scientist' at the University of Cambridge is a future start date, so no current experience is available. This indicates a potential mismatch with standard industry data science roles.
Soft Skills & Operational Fit
Insufficient data to assess soft skills and operational fit. Psychometric test scores are 0, indicating no completed assessment.