YoungJu Song

Embedded Systems Engineer

https://talent.gravityer.com/youngju-song

Austin, TexasMember since June 25, 2026

Key Strengths

Demonstrated interest in low-level programming and formal verification through projects involving Assembly, C++, Coq, and OCaml.
Experience with build systems (Makefile) and scripting (Shell) which are relevant for embedded development.
Personal projects indicate a self-starter attitude and a drive for continuous learning.

Cultural & Operational Fit

Cultural Fit Analysis

The candidate's projects are primarily academic/research-oriented (Coq, formal verification) and personal. While demonstrating technical depth, there is insufficient data to assess alignment with a typical corporate culture or team collaboration dynamics. The target role is 'Embedded Systems Engineer', and while some technologies like C++ and Assembly are relevant, the heavy emphasis on formal verification might indicate a more theoretical or research-focused inclination rather than practical embedded product development. The experience level is 0, which suggests a junior profile for a senior role.

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

alxest.github.io

February 1, 2026 – Present

alxest.github.io — GitHub repository

View Project

velliris

March 13, 2024 – July 5, 2024

velliris — GitHub repository

View Project

FreeSim

July 14, 2023 – June 7, 2024

FreeSim — GitHub repository

View Project

CCR

November 1, 2020 – December 29, 2022

CCR — GitHub repository

View Project

example

November 14, 2019 – November 14, 2019

example — GitHub repository

View Project

stoke-example

March 15, 2019 – March 15, 2019

stoke-example — GitHub repository

View Project

iris-tutorial

December 21, 2018 – December 24, 2018

Fork of iris-tutorial (https://gitlab.mpi-sws.org/FP/iris-tutorial)

View Project

GVN_homepage

January 29, 2017 – January 29, 2017

GVN_homepage — GitHub repository

View Project

pp201602-hw-07

November 22, 2016 – November 22, 2016

pp201602-hw-07 — GitHub repository

View Project

.emacs.d

March 25, 2015 – September 29, 2023

My dot emacs directory.

View Project

Key Strengths

Demonstrated interest in low-level programming and formal verification through projects involving Assembly, C++, Coq, and OCaml.
Experience with build systems (Makefile) and scripting (Shell) which are relevant for embedded development.
Personal projects indicate a self-starter attitude and a drive for continuous learning.

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.

YoungJu Song

Key Strengths

Cultural & Operational Fit

Top Skills

Skills

Projects

Key Strengths

Cultural & Operational Fit