Search
📍

Program Analysis Platform Researcher

고용형태
신입
경력
구분
직무
Research
Vulnerability Research

지원하기 [링크]

합류하실 팀을 소개해 드려요!

Vulnerability Research팀은 다양한 국가 과제 등을 수행하며 보안 취약점을 분석하고 연구하고 있습니다. 새롭게 등장하는 취약점에 대한 탐구도 꾸준히 진행하며 보다 안전한 세상을 만들기 위해 노력하고 있어요. 현재 아래와 같은 문제를 해결하고 있어요.
Vulnerability Research팀이 분석하는 최신 소프트웨어는 크기가 크고 복잡해 사람이 직접 분석하기에는 많은 시간과 노력이 들어요. 이 문제를 해결하기 위해 저희는 정적 분석 기술을 기반으로 한 자동화 분석 플랫폼을 개발하고 있어요. 나아가 정적 분석 뿐 만 아니라 다양한 분석 기술을 활용할 수 있는 플랫폼으로 발전시켜 보다 효율적이고 자동화된 방식으로 취약점을 찾고자 해요.

이런 업무를 하시게 돼요,

취약점 탐지 자동화를 위한 프로그램 분석 플랫폼을 개발해요.
Symbolic Execution, Data-flow Analysis, Taint Analysis와 같은 프로그램 분석 기술을 구현하고 개선해요.

이런 경험을 가진 분을 찾아요,

컴퓨터 과학 또는 관련 분야에 대한 학사 학위 또는 그에 상응하는 지식을 소지한 분이 필요해요.
프로그램 분석과 관련된 지식을 가지고 있는 분이 필요해요.
프로그램 분석 플랫폼 개발을 위한 소프트웨어 개발 역량을 갖춘 분이 필요해요.

이런 경험이 있다면 더 좋아요,

F#, OCaml과 같은 함수형 언어로 프로그램을 작성해본 경험이 있으면 더 좋아요.
프로그램 분석기를 구현해 본 경험이 있으면 더 좋아요.
프로그램 분석기를 활용하여 상용 프로그램에서 취약점을 찾은 경험이 있으면 더 좋아요.
해킹 대회 ( CTF ) 수상 경력이나 버그 바운티 참여 경험이 있으면 더 좋아요.

이런 절차로 합류하시게 돼요!

서류전형 : 제출해주신 지원서를 꼼꼼히 검토하여 채용 기준에 적합한 지 검토합니다.
스킬 테스트 & 직무 인터뷰 : 후보자님의 기술적 역량을 평가하는 스킬 테스트 진행 후, 진행한 스킬 테스트와 이력서를 기반으로 후보자님의 경험과 역량에 대해 이야기 하는 자리를 가집니다.
레퍼런스 체크 : 후보자님께서 지정해주신 레퍼리분들을 대상으로 레퍼런스 체크를 진행합니다.
컬쳐 인터뷰 : 후보자님의 업무 방식 및 조직문화, 가치관에 대해 이야기 하는 자리입니다.

합류하시면,

직무적 / 문화적으로 상호 간 Fit을 맞춰보는 3개월의 수습기간을 가집니다.

더 궁금한 점이 있다면,

인재영입 문의 : withtheori@theori.io
인재영입 FAQ 바로가기 [링크]