[ZK] Compiler Engineer

소개

[Accelerate a ​Verifiable ​World ​Where Proof ​Replaces Trust] • 우리가 향유하는 온라인 ​세계는 ​신뢰를 기반으로 ​작동합니다. 어떤 콘텐츠가 ​AI가 아닌 ​사람에 ​의해 제작 ​되었다거나, ​개인의 ​신원이 안전하게 검증 ​되었다거나, ​개인정보가 안전하게 관리되고 ​있다는 ​등 ​서비스 공급자가 제공하는 ​정보를 일방적으로 ​신뢰할 ​수밖에 없기 ​때문입니다. 하지만 ​이러한 ​구조는 본질적으로 불완전하며, ​이와 같이 ​신뢰에 의존하는 시스템에는 언제든지 무너질 수 있는 위험이 도사리고 있습니다. 이미 우리는 수많은 해킹, 개인정보 유출, 소비자 기만 사례를 통해 위와 같은 취약성을 생활 속에서 경험하고 있습니다. • A41은 Zero-Knowledge 기술을 통해, 행위를 증명함으로써 더 이상 서비스 공급자를 신뢰하지 않아도 되는 무신뢰(Trustless) 사회로의 구조적인 전환을 추구합니다. 그간 A41은 APAC 지역의 Top Validator로서 대규모의 검증인 서비스를 안정적으로 운용해 왔으며, 이 경험을 토대로 Proof as a Service를 제공하여, Computational Integrity를 실현하고자 합니다. [함께 하시게 될 ZK Team] • A41의 ZK Compiler 팀은 안정적이고 효율적인 운영을 통해 축적한 기술적 체력을 기반으로, Zero-Knowledge 기반의 미래를 준비합니다. 수년간의 Backend 개발 경험을 바탕으로, 세계 최초 컴파일러 기술 기반의 차세대 ZK Proving Backend를 개발하고 있습니다. • 고급 수준의 C++를 사용하며, 대규모 코드베이스를 다룹니다. 최근에는 Groth16 CPU Prover에서 SOTA를 달성하는 성과를 이루었습니다. • 미국, 몽골 등 다양한 국가에서 모인 열정적인 동료들이 함께하고 있으며, 서로에게 ‘더하기’가 아닌 ‘곱하기’가 되는 관계를 지향합니다. • 자체 기술 블로그를 통해 ZK를 포함한 다양한 암호학 주제에 대한 리서치를 공개하고 있으며, 학습과 공유를 중요한 문화로 삼고 있습니다. [포지션 소개: Compiler Engineer] • A41은 다양한 ZK Prover 환경에서 공통적으로 활용 가능한 ZK 전용 Intermediate Representation(ZKIR) 및 컴파일러 인프라를 개발하고 있습니다. • Compiler Engineer는 MLIR/LLVM 생태계를 기반으로 회로 최적화, Lowering, Scheduling 등의 기술을 ZK 영역에 접목하여 보다 빠르고 비용 효율적인 증명 생성 환경을 구축하는 데 핵심적인 역할을 합니다. • 깊이있는 연구와 실전형 엔지니어링 역량을 동시에 추구하는 팀과 협업하며, 실제 Proving Workload에서 의미 있는 수준의 성능 개선을 이끌어내는 도전을 하시게 될 예정입니다. [Compiler Engineer로서 지원을 고려하고 계신 분들께] • A41은 단시간 내에 밀도 높은 성장을 경험했고, 이 경험을 토대로 Phase 2로 도약하기 위한 도움닫기에 집중하고 있습니다. 우리가 급격한 변화에도 불구하고 지금까지 단단한 팀을 유지할 수 있었던 것은 각자의 역할에서 공동의 목표의식과 협력을 그 무엇보다 중요하게 여겼기 때문입니다. 팀으로 승리하는 경험, 단단한 조직의 일원으로 거듭나는 경험을 쌓을 준비가 되신 분들에게 더욱 추천 드리고 싶은 포지션입니다. • ZK 기술은 이제 막 도약을 준비하고 있습니다. 아직 정답이 정해져 있지 않은 영역에서, 직접 설계하고 구현하며 새로운 ZK Compiler Practice를 만들어가고자 하신다면 A41에서의 여정이 좋은 기회가 될 것입니다.

주요업무

• ZK Proving Scheme에 특화된 MLIR Dialect 설계 및 구현 • Affine Loop 기반 연산 최적화, 메모리 레이아웃 개선, 대수 연산 재구성 등 IR 최적화 작업 수행 • 실제 ZK Proving Workload 기반의 컴파일러 성능 벤치마킹 및 튜닝

자격요건

• MLIR 또는 LLVM 기반 컴파일러 인프라에 대한 깊은 이해와 실무 경험 • Dialect 설계, Pass 최적화, IR Lowering 등의 영역에서 3년 이상의 개발 경험 • 현대 대수학(유한체, 다항식 등)과 암호학(ZK 등)에 대한 거부감이 없으신 분

우대사항

• 병렬 컴퓨팅, 컴파일러 또는 관련 분야에서의 석/박사 학위 • 병렬화/최적화 컴파일러 개발 경험 및 관련 논문 개제 이력 • ML 컴파일러(XLA, TVM, Halide 등) 컴파일러 개발 경험 • 컴파일러 성능 최적화를 위한 자동 스케줄링 / AI 기반 튜너 경험 • 오픈소스 컴파일러 프로젝트에 기여한 경험

혜택 및 복지

• 휴가: 1시간 단위로 승인 없이 사용하며, 개수 제한 또한 없습니다. • 법인카드: 편리하게 사용하실 수 있도록 모든 구성원 분들에게 법인카드를 지급해 드립니다. • 성장 지원: 업무적 성장에 도움이 되는 도서, 강의, 세미나 등의 비용을 지원합니다. • 건강 지원: 건강하게 일 하실 수 있도록 운동, 심리상담 등의 비용을 지원합니다. • 장비 지원: 업무에 불편함이 없도록 최신 노트북(맥북 프로/갤럭시북), 모니터(32인치/27인치 듀얼)를 지급합니다. • 재택근무: 각자의 상황에 따라 부분적 재택근무 옵션을 활용할 수 있습니다.