ChainLight(Web3 보안) 팀은 사용자들이 안전한 환경에서 Web3를 이용할 수 있도록 다양한 보안 위험 요소를 사전에 제거해요.
이런 일을 수행해요 
•
Web3 제품 취약점 탐지 자동화 프로그램 개발 (Rust 기반)
•
Web3 취약점 정적 분석 Rule(Detector) 제작
•
프로그램 분석 기술 구현 및 개선
◦
Symbolic Execution, Data-flow Analysis 등
이런 분을 찾고 있어요 
•
Rust와 Python을 능숙하게 다룰 수 있는 분
•
프로그램 분석 플랫폼 개발을 위한 소프트웨어 개발 역량을 갖춘 분
•
컴퓨터 과학 또는 관련 분야에 대한 학사 학위 수준의 지식을 갖추고 있는 분
•
프로그램 분석, 특히 정적 분석 관련 지식을 가지고 있는 분
•
소프트웨어 개발 협업 역량을 갖추신 분 (버전 관리, 코드 리뷰, 테스트 코드 작성 등)
•
사이버 보안 전문가로서의 책임감과 윤리의식이 함양된 분
•
좋은 코드가 무엇인지에 대한 철학을 가지고 있으신 분
이런 점을 갖고 있으면 더욱 좋아요 
•
Web3 생태계에 대해 높은 이해를 가지신 분
•
Web3 관련 취약점을 찾아보신 분 (블록체인 노드, DApp, 스마트 컨트랙트 등)
•
프로그램 분석기를 이용해서 상용 프로그램에서 취약점을 찾아보신 분
•
해킹 대회(CTF) 수상 경력이나 버그바운티 참여 경험이 있으신 분
•
퍼징, 모델체킹, Symbolic execution, Z3 theorem prover, Coq 등을 활용한 보안 관점에서의 프로그램 분석 경험이 있으신 분
합류하면 이렇게 근무해요
•
정규직(수습/ 서로 친해지는 시간 3개월)
•
자율출근제
•
주 5일 근무
•
급여는 최종합격 후 협의
함께할 여정은 이렇게 진행돼요 
서류전형 ➜ 스킬테스트 ➜ 심층면접 ➜ 최종합격
1.
서류전형
제출해 주신 지원서를 상세히 검토하여 채용 기준에 적합한지를 파악합니다.
2.
스킬테스트
서류전형 합격한 지원자의 업무에 필요한 역량을 파악하기 위해 기술 테스트를 진행합니다.
제공된 컨트랙트를 분석하는 간단한 스크립트 작성합니다.
3.
심층면접
실무진과 경영진이 지원자의 보유 역량을 확인하기 위해 인터뷰합니다.
직무에 관한 지식과 경험을 토대로 인재성과 직무의 적합성을 파악합니다.
4.
최종합격
함께 하기 위해 필요한 사항을 안내합니다
•
지원 내용 중 허위사실이 있는 경우 합격이 취소될 수 있습니다.
•
공고에 명시되지 않은 사항은 티오리한국 제반 사항에 따릅니다.
채용 관련 문의사항이 있으시다면, 언제든지 연락 주세요!
티오리 채용팀 : withtheori@theori.io