[정적분석기술팀] 시스템프로그래머(컴파일러/코드분석)

포지션 상세 정보

기술스택

C++
Java
F#
Python
C#

주요업무

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

[소개]
• 기술맛보기: https://en.wikipedia.org/wiki/Abstract_interpretation
• 정적 코드 분석 기술은 코드를 훑어보면서 프로그램의 동작을 정밀하게 예측하고, 코딩 오류가 있을 곳을 자동으로 찾아주는 기술입니다.
• 이 기술을 이용하면, 개발자는 합리적인 시간안에 "메모리릭/버퍼오버런/널포인터참조/타입범위넘침" 등과 같은 매우 중요한 코딩 오류를 발견할 수 있습니다.
• Facebook 의 정적분석엔진인 Infer 도 이와 비슷한 기술입니다.
• 사실 프로그램의 코드만 보고, 프로그램의 동작을 정확히 예측하는 것이 일반적으로 불가능 하다는 것은 증명되었습니다(halting problem)
• 저희 팀은 이 불가능한 것의 끝자락 어딘가를 향해 지속적인 터치를 시도하고 있습니다.

자격요건

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

우대사항

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

복지 및 혜택

• 자율출퇴근제(주40시간 준수)
• 복지포인트(My-Choice) 지급
• Refresh 휴가제도
• 슈어 문화의 날
• 아침식사/석식(야근 시) 제공
• 동호회 활동 지원
• 사외 교육 지원
• 종합검진 제공
• 명절 선물 지원
• 생일 선물 지원
• 슈퍼히어로 제도 운영
• 해피런치(월 1회 2시간의 점심시간)

채용절차 및 기타 지원 유의사항

[채용절차]
• 서류전형 → 코딩테스트 → 1차 인터뷰 → 2차 인터뷰 → 처우 협의 → 최종합격
※ 절차는 변경될 수 있습니다.

[지원 시 주의사항]
• 신입은 3개월의 수습 기간이 있습니다.
• 포트폴리오 제출 시,10MB 초과할 경우에는 링크를 기재해주세요.

[참고사항]
• 서류 합격자에 한해 연락드립니다.
• 본 채용은 수시 진행으로 우수 인재 채용 시 마감될 수 있습니다.