Apply

Ready to go for it?

AI Apply speeds things up—apply directly if you prefer.

FREE ACCESS
5,000–10,000 jobs/day
JobTailor Logo

See all jobs on JobTailor

Search thousands of fresh jobs every day.

Discover
  • Fresh listings
  • Fast filters
  • No subscription required
Create a free account and start exploring right away.
42dot

Senior Software Verification Engineer

42dot

Senior Software Verification Engineer at 42dot designing verification systems for Automotive Embedded Software. Focuses on Static Analysis, Dynamic Testing, and Code Verification integration.

Posted 6/2/2026full-timePangyo • 🇰🇷 South KoreaSeniorWebsite

Tech Stack

Tools & technologies
AndroidJavaKotlinRust

About the role

Key responsibilities & impact
  • Automotive Embedded SW에 대한 Static Analysis 및 Dynamic Testing 기반 검증 체계를 설계하고 구축합니다.
  • Embedded SW 및 Build Sequence에 대한 이해를 바탕으로 개발 단계에서의 Software Quality를 확보합니다.
  • CI/CD Pipeline에 Code Verification을 통합하여 검증 자동화 체계를 구축하고 지속적으로 개선합니다.
  • 코드 품질(Code Quality) 지표를 정의하고, 이를 달성하기 위한 분석 및 개선 활동을 수행합니다.
  • 개발팀과 협업하여 초기 설계 단계부터 검증 관점의 품질 기준을 반영합니다.

Requirements

What you’ll need
  • 컴퓨터 공학, 전자공학 또는 관련 분야 학사 학위 이상
  • 5년 이상의 Automotive Software 개발 또는 검증 경험
  • C/C++, Rust, Java, Kotlin 등 다양한 언어 및 Build 환경에 대한 경험
  • Embedded System에 대한 깊은 이해
  • CI/CD Pipeline 기반의 Code Verification 또는 자동화 경험
  • Git 기반 형상 관리 경험 필수
  • Static Analysis Tool 및 Code Quality Tool 운영 경험 (e.g., Coverity, Polyspace, Vector Cast 등) 우대
  • ISO 26262, ASPICE 등 Automotive 표준 및 프로세스에 대한 이해 우대
  • ‘ASIL C,D’ 수준의 Automotive SW 개발 또는 검증 경험 우대
  • ‘ADAS, Active Safety’ 등 복잡한 제어기 SW 개발 또는 검증 경험 우대
  • Component Level 또는 Integration Testing 경험 우대
  • ‘YOCTO, Android’ 환경에 대한 이해, 개발 및 검증 경험 우대
  • 테스트 자동화 및 품질 지표 관리 경험 우대

Benefits

Comp & perks
  • 3개월의 수습기간이 적용될 수 있습니다.
  • 국가보훈대상자 및 취업보호 대상자는 관계법령에 따라 우대합니다.
  • 장애인 고용 촉진 및 직업재활법에 따라 장애인 등록증 소지자를 우대합니다.

ATS Keywords

✓ Tailor your resume
Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools
C/C++RustJavaKotlinEmbedded SystemCI/CD PipelineStatic AnalysisCode VerificationComponent Level TestingIntegration Testing