Help & Supportcareers@gravityer.com
UBC CS '26. Recently @openai and @stripe.
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
SysMoBench
July 23, 2025 – Present
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
View ProjectSpecula
June 15, 2025 – Present
Specula: A framework for finding deep bugs in system code using TLA+
View Projectpr-issue-topology-project
April 18, 2023 – April 29, 2024
Scripts for "Revealing Work Practices in Pull-Based Software Development through Issue-PR Graph Topologies" paper.
View Projectespial
November 4, 2021 – Present
Espial is an engine for automated organization and discovery of personal knowledge
View Projectmatter
December 8, 2020 – July 13, 2023
A RSS feed aggregator with bookmarking and sync support.
View Projectpgo
January 17, 2018 – December 17, 2025
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
View ProjectCultural Fit Analysis
The candidate's projects are primarily academic/research-oriented and system-level, which may not directly align with a typical Frontend Developer role's day-to-day responsibilities. While demonstrating strong technical curiosity, the focus on formal methods and compilers suggests a different problem-solving approach than commonly required in frontend development. The lack of team-based projects or collaborative experience makes it difficult to assess cultural fit.
Soft Skills & Operational Fit
Insufficient data to assess soft skills and operational fit. No psychometric test results or interview feedback provided.