<h2>직무</h2><p>[ZK] Compiler Engineer</p><h2>포지션 상세</h2><p>[Accelerate a Verifiable World Where Proof Replaces Trust]<br>• 우리가 향유하는 온라인 세계는 신뢰를 기반으로 작동합니다. 어떤 콘텐츠가 AI가 아닌 사람에 의해 제작 되었다거나, 개인의 신원이 안전하게 검증 되었다거나, 개인정보가 안전하게 관리되고 있다는 등 서비스 공급자가 제공하는 정보를 일방적으로 신뢰할 수밖에 없기 때문입니다. 하지만 이러한 구조는 본질적으로 불완전하며, 이와 같이 신뢰에 의존하는 시스템에는 언제든지 무너질 수 있는 위험이 도사리고 있습니다. 이미 우리는 수많은 해킹, 개인정보 유출, 소비자 기만 사례를 통해 위와 같은 취약성을 생활 속에서 경험하고 있습니다. <br>• A41은 Zero-Knowledge 기술을 통해, 행위를 증명함으로써 더 이상 서비스 공급자를 신뢰하지 않아도 되는 무신뢰(Trustless) 사회로의 구조적인 전환을 추구합니다. 그간 A41은 APAC 지역의 Top Validator로서 대규모의 검증인 서비스를 안정적으로 운용해 왔으며, 이 경험을 토대로 Proof as a Service를 제공하여, Computational Integrity를 실현하고자 합니다.<br> <br><br>[함께 하시게 될 ZK Team]<br>• A41의 ZK 팀은 안정적이고 효율적인 운영을 통해 축적한 기술적 체력을 기반으로, 다가올 Zero-Knowledge 기반의 미래를 준비하고 있습니다.<br>• 미국, 몽골 등 다양한 국가에서 모인 열정적인 동료들이 함께하고 있으며, 서로에게 ‘더하기’가 아닌 ‘곱하기’가 되는 관계를 지향합니다.<br>• 자체 기술 블로그를 통해 ZK를 포함한 다양한 암호학 주제에 대한 리서치를 공개하고 있으며, 학습과 공유를 중요한 문화로 삼고 있습니다.<br>• 수년간의 Backend 개발 경험을 바탕으로, 세계 최초로 컴파일러 기술 기반의 차세대 ZK Proving Backend를 개발 중입니다. 고급 수준의 C++를 사용하며, 대규모 코드베이스를 다루고 있습니다.<br><br><br>[포지션 소개: Compiler Engineer]<br>• A41은 다양한 ZK Prover 환경에서 공통적으로 활용 가능한 ZK 전용 Intermediate Representation(ZKIR) 및 컴파일러 인프라를 개발하고 있습니다.<br>• Compiler Engineer는 MLIR/LLVM 생태계를 기반으로 회로 최적화, Lowering, Scheduling 등의 기술을 ZK 영역에 접목하여 보다 빠르고 비용 효율적인 증명 생성 환경을 구축하는 데 핵심적인 역할을 합니다.<br>• 깊이있는 연구와 실전형 엔지니어링 역량을 동시에 추구하는 팀과 협업하며, 실제 Proving Workload에서 의미 있는 수준의 성능 개선을 이끌어내는 도전을 하시게 될 예정입니다. <br><br><br>[Compiler Engineer로서 지원을 고려하고 계신 분들께]<br>• A41은 단시간 내에 밀도 높은 성장을 경험했고, 이 경험을 토대로 Phase 2로 도약하기 위한 도움닫기에 집중하고 있습니다. 우리가 급격한 변화에도 불구하고 지금까지 단단한 팀을 유지할 수 있었던 것은 각자의 역할에서 공동의 목표의식과 협력을 그 무엇보다 중요하게 여겼기 때문입니다. 팀으로 승리하는 경험, 단단한 조직의 일원으로 거듭나는 경험을 쌓을 준비가 되신 분들에게 더욱 추천 드리고 싶은 포지션입니다.<br>• ZK 기술은 이제 막 도약을 준비하고 있습니다. 아직 정답이 정해져 있지 않은 영역에서, 직접 설계하고 구현하며 새로운 ZK Compiler Practice를 만들어가고자 하신다면 A41에서의 여정이 좋은 기회가 될 것입니다.</p><h2>주요업무</h2><p>• ZK Proving Scheme에 특화된 MLIR Dialect 설계 및 구현<br>• Affine Loop 기반 연산 최적화, 메모리 레이아웃 개선, 대수 연산 재구성 등 IR 최적화 작업 수행<br>• 실제 ZK Proving Workload 기반의 컴파일러 성능 벤치마킹 및 튜닝</p><h2>자격요건</h2><p>• MLIR 또는 LLVM 기반 컴파일러 인프라에 대한 깊은 이해와 실무 경험<br>• Dialect 설계, Pass 최적화, IR Lowering 등의 영역에서 3년 이상의 개발 경험<br>• 현대 대수학(유한체, 다항식 등)과 암호학(ZK 등)에 대한 거부감이 없으신 분</p><h2>우대사항</h2><p>• 병렬 컴퓨팅, 컴파일러 또는 관련 분야에서의 석/박사 학위<br>• 병렬화/최적화 컴파일러 개발 경험 및 관련 논문 개제 이력<br>• ML 컴파일러(XLA, TVM, Halide 등) 컴파일러 개발 경험<br>• 컴파일러 성능 최적화를 위한 자동 스케줄링 / AI 기반 튜너 경험<br>• 오픈소스 컴파일러 프로젝트에 기여한 경험</p><h2>혜택 및 복지</h2><p>• 휴가: 1시간 단위로 승인 없이 사용하며, 개수 제한 또한 없습니다.<br>• 법인카드: 편리하게 사용하실 수 있도록 모든 구성원 분들에게 법인카드를 지급해 드립니다.<br>• 성장 지원: 업무적 성장에 도움이 되는 도서, 강의, 세미나 등의 비용을 지원합니다.<br>• 건강 지원: 건강하게 일 하실 수 있도록 운동, 심리상담 등의 비용을 지원합니다.<br>• 장비 지원: 업무에 불편함이 없도록 최신 노트북(맥북 프로/갤럭시북), 모니터(32인치/27인치 듀얼)를 지급합니다.<br>• 재택근무: 각자의 상황에 따라 부분적 재택근무 옵션을 활용할 수 있습니다.</p>
