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

슈어소프트테크㈜는 소프트웨어 테스팅 자동화 분야에서 국내 유일하게 독자적인 기술을 개발한 강소기업으로, Mission-Critical(고신뢰) 산업분야의 소프트웨어 안전성 검증을 위한 테스트 자동화 도구 및 검증 서비스를 제공하는 소프트웨어 품질 전문기업입니다.

소프트웨어로 더 안전한 세상을 만들고자 하는 비전 아래 사회적 책임을 가지고 소프트웨어 산업에 기여하고자 노력하고 있습니다.


슈어의 사내문화 미리보기

Peer Bonus 제도
- 업무/업무 외적인 도움을 받았을 시 직원 간 감사함을 표현하고 Peer Bonus를 지급합니다.

자유로운 휴게공간
- 업무시간 중 자유롭게 휴게공간을 이용할 수 있습니다.

피칭 제도
- 업무 중 개선 사항이나 건의 사항을 피칭제도를 통해 제안하고 선정 시 상금을 지원합니다.

자유로운 휴가 사용
- 슈어인은 자유롭게 휴가를 사용할 수 있습니다.

자율출퇴근제
- 주 40시간 내에서 자유롭게 출퇴근이 가능합니다.

해피런치
- 월1회 월급일마다 2시간의 점심시간을 제공하여 여유로운 식사시간을 즐길 수 있습니다.

직무전환제도
- 직무전환제도를 통해 희망하는 부서로 직무 전환이 가능합니다.

개발자 정기 밋업
- 정기적으로 누구나 참여가능한 밋업을 참여가능한 밋업을 진행하여 슈어인의 성장을 돕습니다.

팀데이
연 1회 근무지 외에서 팀별로 문화/체육활동 등을 진행할 수 있도록 비용을 지원합니다.

안전한 사회를 만들기 위한 꿈과 열정을 가진 융합형 인재,
부족하지만 함께 나누며 따뜻한 조직문화를 만들어 갈 인재를 기다립니다.

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

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

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

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

복지포인트(My-Choice) 지급
- 개인 자기개발을 지원하기 위해 개인이 선택할 수 있는 복지포인트를 매년 지급합니다.

Refresh 휴가제도
- 슈어인은 일정 기간 이상 근속시 연차휴가 외에 별도 Refresh 휴가가 제공됩니다.

슈어 문화의 날
- 소통과 휴식을 위해 문화 체험의 기회를 갖습니다.

식사 지원
- 슈어의 아침은 다양한 아침메뉴와 함께 시작되며 점심식대도 지원합니다.

동호회 활동 지원
- 사내 동호회를 활성화 하기 위해 동호회 행사 시 활동비를 지급합니다.

사외교육 지원
- 직원들의 직무 역량 개발을 위한 교육비를 지원하고 있습니다.

종합검진 제공
- 2년마다 무료 종합검진의 기회가 제공됩니다.
(건강보험공단의 일반검진도 격년제공)

명절선물/생일 선물 지원
- 명절과 생일을 축하하기 위한 알찬 선물이 지원됩니다.

슈퍼 히어로 제도 운영
- 매년 우수사원을 표창하여 소정의 포상금 및 포상휴가를 지급합니다.

경조금, 경조휴가 지원
- 결혼, 장례, 출산 등 경조사 발생 시 경조금과 경조휴가를 지급합니다.

교통비 지원
- 신규 사옥으로 출근하는 분들을 위해 월 20만원의 교통비를 제공합니다.

주차 지원 및 버스 운행
- 사옥 내 주차 공간을 지원하고 있으며 편한 출퇴근을 위한 셔틀버스 및 통근버스를 운행합니다.

여성전용 휴게실
- 여성전용 휴게실을 비치하여 수유 등을 돕기 위한 공간이 조성되어 있습니다.

피트니스
- 사내 피트니스 센터를 무료로 이용할 수 있으며 샤워실도 배치 되어있습니다.

도서 구입비 지원
- 업무에 필요한 도서 구입비를 지원합니다.

서류접수 > 필기시험 > 실무면접 > 임원면접 > 최종입사

경기도 성남시 수정구 금토로80번길 37(금토통) 인피니티타워 E동