Software Engineer (3년 이상)
공고 요약
담당업무
Axion Cell 핵심 아키텍처 설계 및 고성능 구현
트랜지스터 레벨 셀 레이아웃 생성을 위한 배치 및 라우팅 알고리즘 설계·구현·튜닝
디자인 룰, 핀 접근성, 대칭성, 트랙 할당 제약 조건의 SAT·SMT·ILP·CP 모델 수식화
맞춤형 휴리스틱 솔버 개발
탐색 공간 가지치기, 대칭성 제거, 점진적 해결, 병렬화를 통한 솔버 성능 개선
참조 레이아웃 대비 면적·라우팅 가능성·DRC 준수율 측정 및 개선
솔버와 룰 변경에 따른 QoR 및 런타임 추적을 위한 벤치마크 스위트·회귀 테스트 프레임워크 구축
레이아웃 및 PDK 엔지니어와 협업하여 파운드리 디자인 룰을 솔버 제약 조건으로 변환
알고리즘 문서화 및 툴 알고리즘 로드맵 수립 기여
대규모 레이아웃 인스턴스를 위한 1차 최적화 기법 탐색·구현 및 하드웨어 가속 알고리즘 개발
프로덕트 매니저 및 AE 팀과 협업하여 제품 요구사항을 프로덕션 수준의 기술 솔루션으로 구현
자격요건
최적화, 스케줄링 또는 탐색 알고리즘 개발 경험
성능 및 메모리 관리 역량
C++ 실무 역량
Python 실무 활용 능력
조합 최적화, ILP, SAT, SMT, CP, 그래프 알고리즘, 동적 계획법, 국소 탐색에 대한 기초
대규모 문제 인스턴스의 알고리즘 런타임·메모리 프로파일링 및 최적화 경험
솔루션 품질, 실행 시간, 하드웨어 효율성을 중시하는 개발 역량
우대사항
외국어 능통자
복리후생
건강검진 지원
스톡옵션
마감기한
상시채용
액시언 지원하기 전 이력서 Check
시간이 없다면 AI와 한번에 수정해보세요
공고 원문
소개
[AXION 소개] • Axion은 AI 기반의 혁신적인 반도체 자동 설계 및 최적화 솔루션을 개발하고 있습니다. Axion과 함께 시장을 변화 시킬 혁신적인 제품을 만들어 나갈 역량 있는 엔지니어를 모십니다. [포지션 소개] • Axion Cell의 핵심 아키텍처 설계와 고성능 구현을 책임집니다. 제품의 기술적 방향성을 주도하며, 견고하고 확장 가능한 시스템을 직접 구축합니다. • 프로덕트 매니저(PM) 및 AE(Application Engineer) 팀과 긴밀히 협력하여 제품 요구 사항을 프로덕션 수준의 기술적 솔루션으로 완성합니다. 복잡한 기술적 한계를 돌파하며, Axion Cell이 실제 환경에서 최고의 성능과 안정성을 낼 수 있도록 만듭니다.
주요업무
• 트랜지스터 레벨의 셀 레이아웃 생성을 위한 배치 및 라우팅(P&R) 알고리즘을 설계, 구현 및 튜닝합니다. • Layout 제약 조건(디자인 룰, 핀 접근성, 대칭성, 트랙 할당)을 SAT / SMT / ILP / CP 모델로 수식화 하거나 맞춤형 휴리스틱 솔버를 개발합니다. • 탐색 공간 가지치기(search-space pruning), 대칭성 제거(symmetry breaking), 점진적 해결(incremental solving), 병렬화를 통해 솔버 성능을 개선합니다. • 수작업 기준 레이아웃(reference layout) 대비 결과 품질(면적, 라우팅 가능성, DRC 준수율)을 측정하고 개선합니다. • 솔버 및 룰 변경에 따른 QoR(품질 지표)과 런타임을 추적하기 위해 벤치마크 스위트 및 회귀 테스트 프레임워크를 구축합니다. • 레이아웃 및 PDK 엔지니어와 협업하여 파운드리 디자인 룰을 솔버 제약 조건으로 변환합니다. • 알고리즘을 문서화하고 툴의 알고리즘 로드맵 수립에 기여합니다. • 대규모 레이아웃 인스턴스에 대응할 수 있도록 1차 최적화 기법(예: PDLP)을 탐색, 구현하고 하드웨어 가속 알고리즘을 개발합니다.
자격요건
• 컴퓨터공학, 산업공학(Operations Research), 수학 또는 알고리즘, 최적화, 스케줄링 관련 분야의 학사 이상 학위를 보유하신 분 • 응용 소프트웨어 환경에서 최적화, 스케줄링 또는 탐색 알고리즘을 개발한 3년 이상의 경력이나 이에 준하는 연구 개발 경험을 보유하신 분 • 성능 및 메모리 관리에 능숙한 뛰어난 C++ 역량과 실무 수준의 Python 활용 능력을 갖추신 분 • 조합 최적화(Combinatorial Optimization)에 대한 탄탄한 기초(ILP / SAT / SMT / CP, 그래프 알고리즘, 동적 계획법, 국소 탐색)를 갖추신 분 • 대규모 문제 인스턴스에서 알고리즘의 런타임과 메모리를 프로파일링하고 최적화해 보신 분 • 솔루션의 품질, 실행 시간, 하드웨어 효율성을 최우선 가치로 여기고 개발에 임하시는 분
우대사항
• EDA 배치 및 라우팅(P&R), 레이아웃 자동화 또는 VLSI CAD 알고리즘 관련 경험을 보유하신 분 • 산업용 솔버(Gurobi, CPLEX, OR-Tools, Z3, MiniSat/Kissat) 활용 및 모델 튜닝 실무 경험이 있으신 분 • 병렬, 분산 탐색 또는 솔버 포트폴리오 기법을 다뤄보신 분 • 최신 대규모 선형 계획법(예: PDLP) 및 병렬 아키텍처/GPU(예: CUDA) 가속화에 대한 이해도가 높으신 분 • 최적화, SAT, EDA 관련 분야의 논문 게재 이력이나 경진대회(ISPD / ICCAD / DAC 등) 수상 경험이 있으신 분 • 반도체 디자인 룰 및 표준 셀(Standard Cell) 레이아웃에 대한 이해가 깊으신 분
혜택 및 복지
Focus - 업무에 몰입할 수 있는 환경을 지원합니다. • 전직군 AI Tool 지원 (Claude, ChatGPT 등) • 코어타임(10:00 - 17:00) 기반의 자율 시차출퇴근제 운영 • 55인치 모니터 및 주변 기기 제공, • 업무용 소프트웨어 및 구독 서비스 지원 • 점심 식비 지원 • 야근 시 식비 및 교통비 지원 Growth & Reward - 회사의 성장을 Axionite와 함께 나누는 보상 제도를 운영합니다. • 스톡옵션 제도 운영 • 인재 추천 보상 제도 운영 Great Place to Work - Axionite의 Work-life harmony를 지원하며, 오래 함께 일하고 싶은 조직문화를 만듭니다. • 안식월 (Sabbatical) 제도: 4년 이상 근속 시 4주 안식 휴가 부여 • 헬스장 (체력단련비) 지원 • 건강검진 지원 • 수평적인 커뮤니케이션을 지향하는 "님" 문화
