Search

[신입/경력] Web3 취약점 탐지 자동화 프로그램 개발 연구원

Web3 보안 팀은 사용자들이 안전한 환경에서 Web3를 이용할 수 있도록 다양한 보안 위험을 사전에 제거해요.

Web3 제품 취약점 탐지 자동화 프로그램 개발
프로그램 분석 기술 구현 및 개선
Symbolic Execution, Data-flow Analysis 등

이런 분을 찾고 있어요

Web3 생태계에 대해 높은 이해를 가지신 분
사이버 보안 전문가로서의 책임감과 윤리의식이 함양된 분
컴퓨터 과학 또는 관련 분야에 대한 학사 학위를 소지한 분
프로그램 분석, 특히 정적 분석 관련 지식을 가지고 있는 분

이런 점을 갖고 있으면 더욱 좋아요

Web3 관련 취약점을 찾아보신 분 (블록체인 노드, DApp, 스마트 컨트랙트 등)
프로그램 분석기를 이용해서 상용 프로그램에서 취약점을 찾아보신 분
암호와 수학에 흥미가 있으신 분
해킹 대회(CTF) 수상 경력이나 버그바운티 참여 경험이 있으신 분
프로그램 분석 플랫폼 개발을 위한 소프트웨어 개발 역량을 갖춘 분
퍼징, 정적 및 동적 분석, 모델 체킹, Z3 또는 Euclid를 기반으로 한 자동화된 프로그램 로직 검증, Coq 등 프로그램 분석 및 취약점 발견 기법 경험이 있으신 분

합류하면 이렇게 근무해요

정규직(수습/ 서로 친해지는 시간 3개월)
자율출근제
주 5일 근무
급여는 최종합격 후 협의

함께할 여정은 이렇게 진행돼요

서류전형 ➜ 스킬테스트 ➜ 심층면접 ➜ 최종합격
1.
서류전형
제출해 주신 지원서를 상세히 검토하여 채용 기준에 적합한지를 파악합니다.
2.
스킬테스트
서류전형 합격한 지원자의 업무에 필요한 역량을 파악하기 위해 기술 테스트를 진행합니다.
3.
심층면접
실무진과 경영진이 지원자의 보유 역량을 확인하기 위해 인터뷰합니다.
직무에 관한 지식과 경험을 토대로 인재성과 직무의 적합성을 파악합니다.
4.
최종합격
함께 하기 위해 필요한 사항을 안내합니다
지원 내용 중 허위사실이 있는 경우 합격이 취소될 수 있습니다.
공고에 명시되지 않은 사항은 티오리한국 제반 사항에 따릅니다.
채용 관련 문의사항이 있으시다면, 언제든지 연락 주세요!
티오리 채용팀 : withtheori@theori.io