A41

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 팀은 안정적이고 효율적인 운영을 통해 축적한 기술적 체력을 기반으로, 다가올 Zero-Knowledge 기반의 미래를 준비하고 있습니다.
• 미국, 몽골 등 다양한 국가에서 모인 열정적인 동료들이 함께하고 있으며, 서로에게 ‘더하기’가 아닌 ‘곱하기’가 되는 관계를 지향합니다.
• https://encrypt.a41.io/ 를 통해 ZK를 포함한 다양한 암호학 주제에 대한 리서치를 공개하고 있으며, 학습과 공유를 중요한 문화로 삼고 있습니다.
• 수년간의 Backend 개발 경험을 바탕으로, 세계 최초로 컴파일러 기술 기반의 차세대 ZK Proving Backend를 개발 중입니다. 고급 수준의 C++를 사용하며, 대규모 코드베이스를 다루고 있습니다.

포지션 소개: GPU Engineer

• A41은 차세대 ZK Prover를 자체 기술로 개발하고 있으며, 다항식 산술과 곡선 연산 중심의 연산 병목을 극복하기 위해 GPU 기반의 고성능 연산 최적화에 집중하고 있습니다.
• 이 포지션은 MSM, FFT, 다항식 연산 등의 ZK 핵심 연산을 GPU 상에서 실행하고 최적화 함으로서, 멀티 디바이스 환경에서도 확장 가능한 ZK 증명 생성 시스템을 구축하는 것을 목표로 합니다.
• CUDA 구현에 그치지 않고 Shared Memory, Occupancy, Warp-Level Synchronization 등 하드웨어 성능 특성을 깊이 이해하고 설계에 반영하실 수 있는 엔지니어를 모시고자 합니다.

GPU Engineer로서 지원을 고려하고 계신 분들께

• A41은 단시간 내에 밀도 높은 성장을 경험했고, 이 경험을 토대로 Phase 2로 도약하기 위한 도움닫기에 집중하고 있습니다. 우리가 급격한 변화에도 불구하고 지금까지 단단한 팀을 유지할 수 있었던 것은 각자의 역할에서 공동의 목표의식과 협력을 그 무엇보다 중요하게 여겼기 때문입니다. 팀으로 승리하는 경험, 단단한 조직의 일원으로 거듭나는 경험을 쌓을 준비가 되신 분들에게 더욱 추천 드리고 싶은 포지션입니다.
• ZK 기술은 이제 막 도약을 준비하고 있습니다. 아직 업계 표준이 정립되지 않은 영역에서 성능이라는 정량적인 기준으로 실험하고 이해관계자들을 설득하며, ZK Prover의 성능을 근본적으로 끌어올림으로서 GPU 기반의 새로운 Practice를 실현해 보고자 하는 분들을 만나뵙고 싶습니다.

주요 업무

• ZK Prover의 연산 병목 구간을 식별하고, GPU 커널 최적화를 통해 성능을 개선합니다.
• CUDA 및 기타 GPGPU 플랫폼(CUDA Graphs, Cooperative Groups, Shared Memory 등)을 활용하여 ZK 연산을 가속화합니다.
• multi-GPU 환경에서의 데이터 분할, 통신, 동기화 전략을 설계합니다.
• 컴파일러 또는 런타임 레벨에서 GPU 최적화 연산을 통합하는 구조를 설계합니다.
• MLIR/LLVM, OpenCL, Vulkan 등의 생태계와 상호 운용 가능한 커널 구조를 설계합니다.

자격요건: 해당 포지션으로 업무를 시작하시는 데에 반드시 필요한 역량입니다.

• GPGPU 프로그래밍(CUDA, HIP, OpenCL 등)에 대한 깊은 이해
• Shared Memory, Occupancy, Memory Coalescing, Instruction Throughput 등 GPU 성능 특성에 대한 경험
• 병렬 컴퓨팅, 수치 연산, 또는 신호 처리 관련 경험
• C++ 기반 대규모 코드베이스 개발 경험
• GPU에서 동작하는 알고리즘(FFT, MSM 등)에 대한 구현 경험 또는 이해

우대사항: 해당 포지션으로 업무를 시작하는 데에 도움이 될 수 있는 역량입니다.

• GPU 커널 벤치마크/튜닝 도구 (Nsight, CuBLAS profiler 등) 활용 경험
• 다항식 산술, 유한체 연산 등에 대한 수학적 배경 지식
• multi-GPU 환경에서의 Collective Communication 및 동기화 전략 설계 경험
• ZK Prover, zkVM 등 암호학 관련 시스템에 대한 이해 또는 관심
• ML 또는 Scientific 컴퓨팅 영역에서 GPU 커널 최적화 경험

Benefits

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