<h2>직무</h2><p>[ZK] GPU 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>[포지션 소개: GPU Engineer]<br>• A41은 차세대 ZK Prover를 자체 기술로 개발하고 있으며, 다항식 산술과 곡선 연산 중심의 연산 병목을 극복하기 위해 GPU 기반의 고성능 연산 최적화에 집중하고 있습니다.<br>• 이 포지션은 MSM, FFT, 다항식 연산 등의 ZK 핵심 연산을 GPU 상에서 실행하고 최적화 함으로서, 멀티 디바이스 환경에서도 확장 가능한 ZK 증명 생성 시스템을 구축하는 것을 목표로 합니다. <br>• CUDA 구현에 그치지 않고 Shared Memory, Occupancy, Warp-Level Synchronization 등 하드웨어 성능 특성을 깊이 이해하고 설계에 반영하실 수 있는 엔지니어를 모시고자 합니다.<br><br><br>[GPU Engineer로서 지원을 고려하고 계신 분들께]<br>• A41은 단시간 내에 밀도 높은 성장을 경험했고, 이 경험을 토대로 Phase 2로 도약하기 위한 도움닫기에 집중하고 있습니다. 우리가 급격한 변화에도 불구하고 지금까지 단단한 팀을 유지할 수 있었던 것은 각자의 역할에서 공동의 목표의식과 협력을 그 무엇보다 중요하게 여겼기 때문입니다. 팀으로 승리하는 경험, 단단한 조직의 일원으로 거듭나는 경험을 쌓을 준비가 되신 분들에게 더욱 추천 드리고 싶은 포지션입니다.<br>• ZK 기술은 이제 막 도약을 준비하고 있습니다. 아직 업계 표준이 정립되지 않은 영역에서 성능이라는 정량적인 기준으로 실험하고 이해관계자들을 설득하며, ZK Prover의 성능을 근본적으로 끌어올림으로서 GPU 기반의 새로운 Practice를 실현해 보고자 하는 분들을 만나뵙고 싶습니다.</p><h2>주요업무</h2><p>• ZK Prover의 연산 병목 구간을 식별하고, GPU 커널 최적화를 통해 성능을 개선합니다.<br>• CUDA 및 기타 GPGPU 플랫폼(CUDA Graphs, Cooperative Groups, Shared Memory 등)을 활용하여 ZK 연산을 가속화합니다.<br>• multi-GPU 환경에서의 데이터 분할, 통신, 동기화 전략을 설계합니다.<br>• 컴파일러 또는 런타임 레벨에서 GPU 최적화 연산을 통합하는 구조를 설계합니다.<br>• MLIR/LLVM, OpenCL, Vulkan 등의 생태계와 상호 운용 가능한 커널 구조를 설계합니다.</p><h2>자격요건</h2><p>• GPGPU 프로그래밍(CUDA, HIP, OpenCL 등)에 대한 깊은 이해<br>• Shared Memory, Occupancy, Memory Coalescing, Instruction Throughput 등 GPU 성능 특성에 대한 경험<br>• 병렬 컴퓨팅, 수치 연산, 또는 신호 처리 관련 경험<br>• C++ 기반 대규모 코드베이스 개발 경험<br>• GPU에서 동작하는 알고리즘(FFT, MSM 등)에 대한 구현 경험 또는 이해</p><h2>우대사항</h2><p>• GPU 커널 벤치마크/튜닝 도구 (Nsight, CuBLAS profiler 등) 활용 경험<br>• 다항식 산술, 유한체 연산 등에 대한 수학적 배경 지식<br>• multi-GPU 환경에서의 Collective Communication 및 동기화 전략 설계 경험<br>• ZK Prover, zkVM 등 암호학 관련 시스템에 대한 이해 또는 관심<br>• ML 또는 Scientific 컴퓨팅 영역에서 GPU 커널 최적화 경험</p><h2>혜택 및 복지</h2><p>• 휴가: 1시간 단위로 승인 없이 사용하며, 개수 제한 또한 없습니다.<br>• 법인카드: 편리하게 사용하실 수 있도록 모든 구성원 분들에게 법인카드를 지급해 드립니다.<br>• 성장 지원: 업무적 성장에 도움이 되는 도서, 강의, 세미나 등의 비용을 지원합니다.<br>• 건강 지원: 건강하게 일 하실 수 있도록 운동, 심리상담 등의 비용을 지원합니다.<br>• 장비 지원: 업무에 불편함이 없도록 최신 노트북(맥북 프로/갤럭시북), 모니터(32인치/27인치 듀얼)를 지급합니다.<br>• 재택근무: 각자의 상황에 따라 부분적 재택근무 옵션을 활용할 수 있습니다.</p>
