Jiawei Wang

iOS Developer

https://www.opentalent.in/jiawei-wang-1

DresdenMember since June 26, 2026

Key Strengths

Strong proficiency in Swift and Metal, demonstrated by personal projects like AImage and MetalAcc, which are highly relevant for an iOS Developer role.
Experience with GPU-based media processing (MetalAcc) indicates advanced understanding of performance-critical iOS development.
Background in formal methods (Coq, OCaml) suggests a rigorous and detail-oriented approach to software engineering, which can be beneficial for robust application development.
Contribution to academic papers (SETTA'17, SCP'20, VLDB'21) highlights research capabilities and problem-solving skills.

Cultural & Operational Fit

Cultural Fit Analysis

The candidate demonstrates a broad range of technical interests, from iOS development to formal verification and distributed systems. This diversity could indicate adaptability and a willingness to learn new domains. The focus on personal projects and academic contributions suggests a self-motivated individual. The alignment with an iOS Developer role is strong due to direct project experience in Swift and Metal. The breadth of technologies used (Swift, Metal, Coq, OCaml, Python, Kotlin, Java, JavaScript) suggests a versatile individual who could integrate well into diverse technical teams.

Soft Skills & Operational Fit

The candidate's project history, particularly the academic contributions, suggests strong analytical and problem-solving skills. The personal projects indicate initiative and self-direction. However, without specific assessment data on communication, teamwork, or stress handling, a comprehensive evaluation of soft skills and operational fit is limited.

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

wangjwchn.github.io

April 30, 2022 – Present

https://wangjwchn.github.io

View Project

autogr

May 12, 2021 – May 17, 2021

Released code for the paper: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics (VLDB'21)

View Project

AutoGR-Translator

January 26, 2021 – December 14, 2021

AutoGR-Translator — GitHub repository

View Project

coq2smt

August 10, 2017 – September 23, 2018

Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SCP'20)

View Project

sparcv8-coq

January 21, 2017 – September 23, 2018

Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SETTA'17)

View Project

MetalAcc

March 29, 2016 – September 7, 2018

GPU-based media processing library using Metal written in Swift

View Project

AImage

February 23, 2016 – May 18, 2018

An animated gif & apng engine for iOS in Swift. Have a great performance on memory and cpu usage.

View Project

Key Strengths

Strong proficiency in Swift and Metal, demonstrated by personal projects like AImage and MetalAcc, which are highly relevant for an iOS Developer role.
Experience with GPU-based media processing (MetalAcc) indicates advanced understanding of performance-critical iOS development.
Background in formal methods (Coq, OCaml) suggests a rigorous and detail-oriented approach to software engineering, which can be beneficial for robust application development.
Contribution to academic papers (SETTA'17, SCP'20, VLDB'21) highlights research capabilities and problem-solving skills.

Cultural & Operational Fit

Cultural Fit Analysis

Soft Skills & Operational Fit

Jiawei Wang

Key Strengths

Cultural & Operational Fit

Top Skills

Skills

Projects

Key Strengths

Cultural & Operational Fit