직무 설명
본 포지션은 안전한 네트워크 메시징 프로토콜(NMC)의 개발 및 향상을 위해 고도로 숙련된 연구 암호학자를 찾고 있습니다. 이상적인 후보자는 기존 프로토콜의 분석 및 검증, 새로운 보안 증명의 생성, 프로토콜 성능 최적화를 포함한 포괄적인 암호학 연구 활동에 참여하게 됩니다. 또한 이 역할은 다양한 보안 시나리오와 공격자 모델을 다루는 혁신적인 프로토콜 변형을 탐구하는 것도 포함됩니다. 추가적으로 후보자는 기술 문서 검토, 내부 팀에게 결과 발표, 새로운 연구 방향을 모색하기 위한 협력적 브레인스토밍 세션 참여 등의 책임을 맡게 됩니다.
주요 책임
- 기존 NMC 프로토콜의 엄격한 검증을 수행하여 잠재적 취약점과 공격에 대한 견고성을 보장합니다.
- 백서, 연구 보고서 및 문서와 같은 기술 서면 자료를 검토하고 정제하여 정확성과 명확성을 유지합니다.
- 고급 수학 및 암호학 기법을 활용하여 확립된 NMC 프로토콜에 대한 새로운 보안 증명을 개발하고 문서화합니다.
- 기존 프로토콜을 최적화하여 효율성을 높이고 계산 오버헤드를 줄이며 실제 애플리케이션에서의 확장성을 개선합니다.
- 동기/비동기 통신, 계산/ITS(지적 재산 보안) 모델, 수동/능동 공격자 시나리오와 같은 다양한 운영 요구 사항을 충족하는 프로토콜 변형을 설계 및 구현합니다.
- 크로스 기능 팀과 협력하여 최첨단 암호학 연구 및 업계 모범 사례를 통합한 새로운 프로토콜을 처음부터 설계합니다.
- 내부 프레젠테이션을 준비 및 제공하여 동료들에게 복잡한 암호학 개념, 프로토콜 설계 및 보안 방법론을 교육합니다.
- 정기적인 브레인스토밍 세션에 참여하여 새로운 아이디어를 탐구하고 혁신적인 솔루션을 제안하며 암호학 연구의 전략적 방향에 기여합니다.
- 암호학 및 네트워크 보안 분야의 최신 발전 동향을 지속적으로 업데이트하여 프로토콜이 최신 상태를 유지하고 진화하는 표준을 준수하도록 합니다.
- 모든 연구 프로세스, 결과 및 프로토콜 수정 사항을 명확하고 체계적으로 문서화하여 향후 참조 및 팀 협력을 용이하게 합니다.
직무 요구 사항
- 암호학 및 네트워크 보안에 중점을 둔 컴퓨터 과학, 수학 또는 관련 분야의 박사 학위.
- 프로토콜 설계, 보안 증명 및 형식적 검증 방법론에 대한 검증된 전문성.
- 대칭/비대칭 암호화, 해시 함수 및 디지털 서명을 포함한 암호화 알고리즘에 대한 강력한 숙련도.
- 프로토콜 구현에서 보안 위험을 식별하고 완화하기 위한 우수한 분석 능력.
- 원격 환경에서 독립적이고 협력적으로 작업할 수 있는 능력과 내부 프레젠테이션을 위한 강력한 커뮤니케이션 기술.
- 형식적 검증 프레임워크(예: Tamarin, ProVerif), 암호화 라이브러리(예: OpenSSL, libsodium) 및 프로그래밍 언어(예: Python, C++)와 같은 도구 사용 경험.
- 정적/모바일 공격자, 부울/산술 연산 및 재생 공격, 중간자 공격, 사이드 채널 공격과 같은 공격 시나리오를 포함한 공격자 모델에 대한 지식.
- 복잡한 기술 개념을 명확하고 간결하게 표현할 수 있는 강력한 문서 및 구두 커뮤니케이션 기술.
- 철저한 문헌 검토를 수행하고 학술 논문 및 업계 출판물에서 결과를 종합할 수 있는 능력.
- 도전적인 암호학 문제를 해결하고 혁신적인 솔루션을 개발하기 위한 우수한 문제 해결 능력.
- 기술 문서 및 연구 논문 작성을 위한 LaTeX 숙련도.
- 프로토콜 테스트 및 배포를 위한 클라우드 컴퓨팅 플랫폼 및 분산 시스템 경험.
- 해당되는 경우 블록체인 기술 및 그 보안 영향에 대한 이해.
- 최소한의 감독 하에서 작업하면서 정확성과 보안의 높은 기준을 유지할 수 있는 능력.
- 원격 근무 환경에서 프로젝트 마감일 및 결과물을 충족하기 위한 강력한 시간 관리 기술.
