슈어소프트테크㈜

시스템프로그래머 (컴파일러/코드분석)

소프트웨어 테스팅 전문 회사인 슈어소프트테크(주)는 지난 2002년 3월 CodeScroll™ 이라는 제품으로 출발, 현재 국내에서 Code-Based Software Test Automation 분야에 있어서 독보적인 기술 수준과 노하우를 보유하고있습니다.

국내 최고라 자부할 수 있는 Software Testing 전문가들과 Core Technology는 슈어소프트테크(주)의 자랑입니다.


범용 컴퓨터(PC, 서버 등)에서 각종 임베디드 장비, RTOS 장비, 핸드폰, PDA까지 그 범위를 점차 넓혀가고 있으며, 전 세계에서 최고의 S/W 테스팅 전문 업체가 되기 위해 임직원 모두 최선을 다하고 있습니다.

포지션 및 자격요건

담당업무( 2명 )

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

ㆍ기술맛보기: https://en.wikipedia.org/wiki/Abstract_interpretation

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

ㆍ이 기술을 이용하면, 개발자는 합리적인 시간안에 """"메모리릭/버퍼오버런/널포인터참조/타입범위넘침"""" 등과 같은 매우 중요한 코딩 오류를 발견할 수 있습니다.

ㆍFacebook 의 정적분석엔진인 Infer 도 이와 비슷한 기술입니다.

ㆍ사실 프로그램의 코드만 보고, 프로그램의 동작을 정확히 예측하는 것이 일반적으로 불가능 하다는 것은 증명되었습니다(halting problem)

ㆍ저희 팀은 이 불가능한 것의 끝자락 어딘가를 향해 지속적인 터치를 시도하고 있습니다.


스킬

ㆍC#, C++, JAVA, Python


자격요건

ㆍ학력 : 대졸이상

ㆍ경력 : 경력무관

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

ㆍ컴파일러 또는 프로그래밍 언어론 수강자

ㆍ관련 기술 이해도 (아래 링크의 내용이 이해되는 정도)

https://en.wikipedia.org/wiki/Abstract_interpretation

ㆍC++/Python/Java/F#/C#

최소 하나의 언어를 불편함 없이 다룰 수 있는 역량 보유자


우대조건

ㆍ컴파일러 구현 기술이나 프로그램 분석기술과 관련된 연구활동 경험 보유

ㆍF#, Ocaml, Haskell, Scala 등 함수형 프로그래밍 가능자

ㆍ수리논리/기하학/도메인이론에 대한 관심이 많은 분

ㆍ자격요건과 상관없이 이 분야의 기술에 특별한 매력을 느끼는 분


근무 조건

ㆍ고용 형태 : 정규직

ㆍ근무 지역 : 경기 성남시 수정구

ㆍ근무 요일/시간 : 주5일(월~금) | 09:00 ~ 18:00


전형절차

ㆍ서류전형 > 1차면접 > 2차면접 > 임원면접 > 최종합격

ㆍ면접일정은 추후 통보됩니다.


유의사항

ㆍ허위사실이 발견될 경우 채용이 취소될 수 있습니다.