Seokhun Jeong

iOS Developer

https://talent.gravityer.com/seokhun-jeong

Researcher @kaist-plrg

Member since June 25, 2026

Key Strengths

Exposure to a variety of programming languages including OCaml, Python, JavaScript, and C++.
Experience with build tools like Makefile and Dune.
Demonstrated interest in language parsing and compilation through projects like 'spectecx' and 'pesto'.

Cultural & Operational Fit

Cultural Fit Analysis

The candidate's projects show a strong inclination towards academic or research-oriented programming, particularly in language design and parsing. The diversity of technologies used suggests an adaptable learner. However, the projects do not directly align with typical iOS development practices or team collaboration scenarios, which might impact cultural fit within a product-focused iOS team.

Soft Skills & Operational Fit

Insufficient data to assess soft skills or operational fit. No psychometric test results or interview feedback are available.

AI is analyzing your overall score…

Identifying your key strengths…

Evaluating your skill match against the job requirements…

Assessing your cultural and operational fit

Projects

KunJeong

May 28, 2026 – Present

GitHub profile

View Project

pesto

May 14, 2026 – Present

PESTO: Parametric Execution-path-Sensitivity for Test Optimization

View Project

spectecx

September 1, 2025 – Present

An executable subset of the SpecTec mechanization framework

View Project

p4-negative-test-suite

August 25, 2025 – August 26, 2025

p4-negative-test-suite — GitHub repository

View Project

tree-sitter-spectec

June 5, 2025 – Present

treesitter grammar for spectec language

View Project

p4cherry

February 23, 2024 – November 18, 2025

p4cherry — GitHub repository

View Project

The-Music-that-Moved-the-Castle

December 15, 2021 – March 16, 2025

The-Music-that-Moved-the-Castle — GitHub repository

View Project

web-dev-class

September 15, 2021 – September 15, 2021

code for web dev class

View Project

conquer

May 27, 2021 – February 9, 2022

conquer — GitHub repository

View Project

SendbirdExampleProject

August 17, 2019 – January 4, 2023

SendbirdExampleProject — GitHub repository

View Project

Key Strengths

Exposure to a variety of programming languages including OCaml, Python, JavaScript, and C++.
Experience with build tools like Makefile and Dune.
Demonstrated interest in language parsing and compilation through projects like 'spectecx' and 'pesto'.

Cultural & Operational Fit

Cultural Fit Analysis

Soft Skills & Operational Fit

Insufficient data to assess soft skills or operational fit. No psychometric test results or interview feedback are available.

Seokhun Jeong

Key Strengths

Cultural & Operational Fit

Top Skills

Skills

Projects

Key Strengths

Cultural & Operational Fit