정적 분석·코드 로컬라이제이션 엔지니어

포지션 상세 정보

기술스택

C++
Python
Java
F#
C#

주요업무

• 다양한 언어(JavaScript, Python, Java 등)에 대한 AST(Abstract Syntax Tree) 기반 정적 분석 파이프라인 설계 및 고도화
• 취약점 탐지 규칙·패턴·도메인 모델을 활용한 정적 분석 엔진의 탐지 정확도 개선 및 로직 설계
• 코드 스니펫, 리포트 단서, 실행 컨텍스트 등을 기반으로 취약점 위치(Code Localization) 자동 매핑 알고리즘 개발
• Abstract Interpretation, Control/Data Flow Analysis, SSA, CFG 등 고급 정적 분석 기법을 활용한 정밀 분석 엔진 개발
• 대규모 코드베이스에 적용 가능한 확장성 있는 분석 엔진 아키텍처 설계 및 최적화
• 정적 분석 결과와 LLM 기반 reasoning 시스템 연계를 위한 Hybrid 분석 구조 설계 및 실험
• 최신 정적 분석/프로그램 분석 연구 트렌드 반영 및 사내 기술 내재화 추진

자격요건

• 코드 정적 분석 관련 기술 경험 보유 (AST 기반, Control Flow/Data Flow 분석, SAST 등)
• 컴파일러 또는 프로그래밍 언어론에 대한 학습/이해 (정규 문법, 타입 시스템, IR 등)
• C++ / Python / Java / F# / C# 중 최소 한 가지 언어를 능숙하게 다룰 수 있는 역량
• 대규모 코드베이스 분석 경험 또는 도구 개발 경험

우대사항

• 컴파일러·AST·언어 이론·정적 분석 기법 지식(Data Flow Analysis, Taint Analysis 등)
• AST 변환기, IR(Intermediate Representation), CFG/DFG 분석기 구현 경험
• 대규모 리포지토리 기준 코드 로컬라이제이션 알고리즘 개발 경험
• LLM+Static Analysis 결합 분야에 대한 이해 및 실무적 관심
• 정적 분석 성능 최적화(Incremental Analysis, Caching, Parallelization) 경험

복지 및 혜택

• 급여제도 : 퇴직연금, 성과급, 4대 보험, 교통비 지원
• 교육/생활 : 도서구입비 지원, 교육비 지원, 사무실내 다과(간식/음료)제공
• 근무 환경 : 회의실, 휴게실, 노트북, 사무용품 지급
• 출퇴근 : 시차출퇴근제
• 조직문화 : 자유로운 복장, 야근강요 안함, 수평적 조직문화(영어이름)
• 리프레시 : 자유로운 연차, 경조휴가제, 반차, 반반차, 근로자의 날 휴무, 포상휴가 등
• 선물 : 장기근속 선물, 생일선물

채용절차 및 기타 지원 유의사항

1. 서류 평가
• 제출하신 이력서 및 경력기술서 등을 바탕으로, 기본 자격요건과 지원 분야와의 적합성을 심사합니다.

2. 비대면(온라인) 면접 / 기본 역량, 직무 이해도, 인성 및 커뮤니케이션 능력 등을 화상 회의 등 비대면 방식으로 평가합니다.
(실무 경험, 지원 동기, 기본 보안지식 등 확인)

3. 버그바운티 실무 평가
• 지원자의 실질적인 취약점 분석 및 보고 능력을 평가하기 위해, 버그바운티 기반의 과제가 주어집니다. 과제 수행 결과물을 통해 기술적 문제 해결 능력, 분석력, 리포트 작성력 등을 종합적으로 평가합니다.

4. 대면(오프라인) 면접
• 실무자와의 대면 면접을 통해, 현장 적용 역량, 문제 해결 방식, 조직 적합성 등을 심층적으로 검증합니다.

5. 최종 합격 및 처우 협의
• 모든 전형을 통과한 최종 합격자에 한해 개별 통보하며, 이후 근로 조건 및 입사 일정을 협의합니다.