Software Engineer (3년 이상)

About the role

포지션 소개
• Axion Cell의 핵심 아키텍처 설계와 고성능 구현을 책임집니다. 제품의 기술적 방향성을 주도하며, 견고하고 확장 가능한 시스템을 직접 구축합니다.
• 프로덕트 매니저(PM) 및 AE(Application Engineer) 팀과 긴밀히 협력하여 제품 요구 사항을 프로덕션 수준의 기술적 솔루션으로 완성합니다. 복잡한 기술적 한계를 돌파하며, Axion Cell이 실제 환경에서 최고의 성능과 안정성을 낼 수 있도록 만듭니다.

What you'll do

• 트랜지스터 레벨의 셀 레이아웃 생성을 위한 배치 및 라우팅(P&R) 알고리즘을 설계, 구현 및 튜닝합니다.
• 레이아웃 제약 조건(디자인 룰, 핀 접근성, 대칭성, 트랙 할당)을 SAT / SMT / ILP / CP 모델로 수식화 하거나 맞춤형 휴리스틱 솔버를 개발합니다.
• 탐색 공간 가지치기(search-space pruning), 대칭성 제거(symmetry breaking), 점진적 해결(incremental solving), 병렬화를 통해 솔버 성능을 개선합니다.
• 수작업 기준 레이아웃(reference layout) 대비 결과 품질(면적, 라우팅 가능성, DRC 준수율)을 측정하고 개선합니다.
• 솔버 및 룰 변경에 따른 QoR(품질 지표)과 런타임을 추적하기 위해 벤치마크 스위트 및 회귀 테스트 프레임워크를 구축합니다.
• 레이아웃 및 PDK 엔지니어와 협업하여 파운드리 디자인 룰을 솔버 제약 조건으로 변환합니다.
• 알고리즘을 문서화하고 툴의 알고리즘 로드맵 수립에 기여합니다.
• 대규모 레이아웃 인스턴스에 대응할 수 있도록 1차 최적화 기법(예: PDLP)을 탐색, 구현하고 하드웨어 가속 알고리즘을 개발합니다.

Requirements

• 컴퓨터공학, 산업공학(Operations Research), 수학 또는 알고리즘, 최적화, 스케줄링 관련 분야의 학사 이상 학위를 보유하신 분
• 응용 소프트웨어 환경에서 최적화, 스케줄링 또는 탐색 알고리즘을 개발한 3년 이상의 경력이나 이에 준하는 연구 개발 경험을 보유하신 분
• 성능 및 메모리 관리에 능숙한 뛰어난 C++ 역량과 실무 수준의 Python 활용 능력을 갖추신 분
• 조합 최적화(Combinatorial Optimization)에 대한 탄탄한 기초(ILP / SAT / SMT / CP, 그래프 알고리즘, 동적 계획법, 국소 탐색)를 갖추신 분
• 대규모 문제 인스턴스에서 알고리즘의 런타임과 메모리를 프로파일링하고 최적화해 보신 분
• 솔루션의 품질, 실행 시간, 하드웨어 효율성을 최우선 가치로 여기고 개발에 임하시는 분

Preferred qualifications

• EDA 배치 및 라우팅(P&R), 레이아웃 자동화 또는 VLSI CAD 알고리즘 관련 경험을 보유하신 분
• 산업용 솔버(Gurobi, CPLEX, OR-Tools, Z3, MiniSat/Kissat) 활용 및 모델 튜닝 실무 경험이 있으신 분
• 병렬, 분산 탐색 또는 솔버 포트폴리오 기법을 다뤄보신 분
• 최신 대규모 선형 계획법(예: PDLP) 및 병렬 아키텍처/GPU(예: CUDA) 가속화에 대한 이해도가 높으신 분
• 최적화, SAT, EDA 관련 분야의 논문 게재 이력이나 경진대회(ISPD / ICCAD / DAC 등) 수상 경험이 있으신 분
• 반도체 디자인 룰 및 표준 셀(Standard Cell) 레이아웃에 대한 이해가 깊으신 분

Benefits

Focus - 업무에 몰입할 수 있는 환경을 지원합니다.
• 전직군 AI Tool 지원 (Claude, ChatGPT 등)
• 코어타임(10:00 - 17:00) 기반의 자율 시차출퇴근제 운영
• 55인치 모니터 및 주변 기기 제공,
• 업무용 소프트웨어 및 구독 서비스 지원
• 점심 식비 지원
• 야근 시 식비 및 교통비 지원

Growth & Reward - 회사의 성장을 Axionite와 함께 나누는 보상 제도를 운영합니다.
• 스톡옵션 제도 운영
• 인재 추천 보상 제도 운영

Great Place to Work - Axionite의 Work-life harmony를 지원하며, 오래 함께 일하고 싶은 조직문화를 만듭니다.
• 안식월 (Sabbatical) 제도: 4년 이상 근속 시 4주 안식 휴가 부여
• 헬스장 (체력단련비) 지원
• 건강검진 지원
• 수평적인 커뮤니케이션을 지향하는 "님" 문화

Hiring process

서류전형 - 1차 화상면접 - 2차 기술면접 - 3차 Culture Fit 면접
* 상황에 따라 전형 단계가 추가/축소 될 수 있습니다.