포지션 상세 정보
- 기술스택
- C++JavaF#PythonC#
- 주요업무
• 코드분석엔진 개발 (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 초과할 경우에는 링크를 기재해주세요. [참고사항] • 서류 합격자에 한해 연락드립니다. • 본 채용은 수시 진행으로 우수 인재 채용 시 마감될 수 있습니다.
기업/서비스 소개
기업상세 정보로 이동1 / 3
슈어소프트테크(주)는, 소프트웨어 테스팅 자동화 분야에서 국내 유일하게 독자적인 기술을 개발한 강소기업으로, Mission-Critical(고신뢰) 산업 분야의 소프트웨어 안정성 검증을 위한 테스트 자동화 도구 및 검증 서비스를 제공하는 소프트웨어 품질 전문 기업입니다. 소프트웨어로 더 안전한 세상을 만들고자 하는 비전 아래 사회적 책임을 가지고 소프트웨어 산업에 기여하고자 노력하고 있습니다.