시스템프로그래머

(보안 취약점 분석) 

보안취약점 분석 엔진 개발(Symbolic Execution)

1) 심볼릭 실행 엔진 개발
2) 논문을 참고하여 엔진 개선
3) CI/CD 파이프라인 관리(인수 테스트 추가)
4) 제품화를 위한 부가 활동(스크립팅/메뉴얼 작성 등)

자격요건

1) 시스템 프로그래머
- 컴퓨팅 시스템의 내부 구조와 원리등에 호기심이 많을 것
2) 관련 기술 이해도(아래 링크의 내용이 이해되는 정도)
- https://en.wikipedia.org/wiki/Symbolic_execution
3) C++/Python/Java
- 최소 하나의 언어를 불편함 없이 다룰 수 있는 역량 보유자

우대사항

1) 컴퓨터 공학/과학 학사 이상 또는 관련 경험 우대
2) 프로그램 리버싱 기술 보유 우대
3) Python/C++/Java 중 하나 이상을 불편함 없이 다룰수 있는 역량 보유
4) 자격요건과 상관없이 이 분야의 기술에 특별한 매력을 느끼는 분

*  업무소개

- 심볼릭 실행 기술은 코드에 존재하는 보안취약점을 자동으로 찾거나 코드의 구석구석을 시험할 수 있는 테스트데이터를 자동으로 생성하는 등에 활용 가능한 컴퓨팅 분야의 핵심 기술
- 해당 팀은 이 분야의 기술을 제품화 할 수 있도록 고도화하는 연구 개발을 수행하는 슈어소프트내의 특수조직

- 학계에서 연구된 학술논문을 바탕으로 경험과 이론에 기반한 실용적인 접근으로 인류가 이뤄낸 성과를 조금 더 혁신시키는데 기여

시스템프로그래머

(컴파일러/코드분석) 

코드분석엔진 개발(Abstract Interpretation)

1) F#/C# 으로 작성된 정적분석엔진 개선(리팩토링/성능개선/연구개발)
2) 허위탐지 케이스 분석
3) CI/CD 파이프라인 관리(인수 테스트 추가/Precision/Recall 평가)

자격요건

1) 코드정적분석 기술 경험 보유자

2) 컴파일러 또는 프로그래밍 언어론 수강자
3) 관련 기술 이해도(아래 링크의 내용이 이해되는 정도)
- https://en.wikipedia.org/wiki/Abstract_interpretation
4) C++/Python/Java/F#/C#
- 최소 하나의 언어를 불편함 없이 다룰 수 있는 역량 보유자

우대사항

1) 컴파일러 구현 기술이나 프로그램 분석기술과 관련된 연구활동 경험 보유
2) F#, Ocaml, Haskell, Scala 등 함수형 프로그래밍 가능자
3) 수리논리/기하학/도메인이론에 대한 관심이 많은 분
4) 자격요건과 상관없이 이 분야의 기술에 특별한 매력을 느끼는 분

* 업무소개

- 정적 코드 분석 기술은 코드를 훑어보면서 프로그램의 동작을 정밀하게 예측하고, 코딩 오류가 있을 곳을 자동으로 찾아주는 기술

- 이 기술을 이용하면, 개발자는 합리적인 시간안에 "메모리릭/버퍼오버런/널포인터참조/타입범위넘침" 등과 같은 매우 중요한 코딩 오류를 발견 가능
- Facebook 의 정적분석엔진인 Infer 도 이와 비슷한 기술
- 사실 프로그램의 코드만 보고, 프로그램의 동작을 정확히 예측하는 것이 일반적으로 불가능 하다는 것은 증명(halting problem)