자동화 연구원 역할과 업무
•
정적 분석 연구
◦
입력 벡터를 찾아 관련 정보 생성 도구 개발
◦
컴파일 과정에서 손실된 정보 복구 방안 연구
◦
오탐 결과를 줄이는 방안 연구
•
취약점 자동화 연구
◦
사람이 수행하는 각 과정에 대한 자동화 방안 연구
▪
입력 벡터 탐색 - 유효성 검증 루틴 분석 - 트리거 - 크래시 검증
◦
커버리지 도달 입력값 생성 성능을 높이는 방안 연구
•
효율적 분석 방안 연구
◦
가상화를 활용한 분석 방안 연구 (Ring-1)
◦
에뮬레이션 활용 방안 연구
◦
취약 예상 코드로 분석 범위를 좁혀주는 query 개발
이런 분과 함께하고 싶어요
•
논문을 참고하여 개발한 경험이 있으신 분
•
Symbolic Execution, DBI, Fuzzer 등의 활용 경험이 있으신 분
•
취약점 분석 자동화 연구에 관심이 있으신 분
이런 분이면 더 좋아요
•
Fuzzer, Symbolic Execution 등을 활용해서 취약점을 탐색한 경험이 있으신 분
•
SW 안정성을 높였던 경험이 있으신 분 (메모리 및 리소스 관리)
•
알고리즘, 멀티스레딩 등 성능 최적화 관련 프로그래밍 경험이 있으신 분
•
오픈 소스 프로젝트 Maintainer, 기여 경험이 있으신 분
근무 조건
•
주소: 판교, 선릉 (선택)
•
근무시간: 10:00 ~ 18:00 (월~금)
◦
매주 금요일에는 17:00시 퇴근
채용 프로세스
입사 지원 → 서류 전형 → 기술 면접 → 최종 합격
•
기술 면접 결과에 따라 과제 전형이 추가될 수도 있습니다.
•
최종 합격 이후 급여 협의가 있습니다.
•
일정에 따라 최종 결과까지 1 ~ 2주 소요될 수 있습니다.
병역지정업체
•
하임 시큐리티가 병역 지정 업체로 선정되었습니다.
•
현재 산업기능요원 보충역/전직이 가능하니 많은 관심과 지원 부탁드립니다.