Help & Supportcareers@gravityer.com
Formal verification / Program analysis / Regression verification
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
Tsinghua University
Embedded Systems Engineer
June 25, 2026 – Present
IPA
November 2, 2020 – November 2, 2020
An Incremental Predicate Analysis Based Regression Verification Tool
View Projectthufv.github.io
September 21, 2018 – Present
Formal Verification Lab in Tsinghua University
View ProjectANSI_C_LEXICAL_ANALYZER
May 3, 2016 – May 28, 2016
ANSI_C_LEXICAL_ANALYZER — GitHub repository
View ProjectCultural Fit Analysis
The candidate's project portfolio shows a diverse range of technologies, from web development (JavaScript, HTML, CSS) to low-level programming (C++, Assembly, Lex, Yacc). This breadth suggests adaptability and a willingness to explore different technical domains. However, the majority of projects are personal and lack detailed descriptions, making it difficult to fully assess collaboration or impact. The current role at Tsinghua University as an Embedded Systems Engineer indicates a direct alignment with the target role, suggesting a good fit for a technically focused environment.
Soft Skills & Operational Fit
Insufficient data to assess soft skills or operational fit. No psychometric test results or detailed project descriptions are available.