슈어소프트테크 [정적분석기술팀] 시스템 프로그래머 (컴파일러/코드분석) 채용공고 떴습니다

★정규직 경력사원

★접수기간 : 2024.8.2. ~ 2024.8.31.

★접수처 :

회사명	슈어소프트테크	업종	정보통신업
홈페이지	https://www.suresofttech.com/
회사주소	경기 성남시 수정구 금토로80번길 37, E동 (금토동,인피니티타워)

★채용상세내용

공채사이트 바로가기

모집부문 및 자격요건

고용형태

정규직

공통사항

- 근무지 : 판교 - 셔틀버스 및 통근버스 운행 (판교, 야탑, 신도림, 대림, 사당, 군자, 잠실, 가락시장, 신논현, 강남, 양재, 광명, 안양, 범계, 인덕원)

채용부문	상세내용	담당업무	지원자격	근무지
시스템 프로그래머	[자격요건] - 코드 정적 분석 기술 경험 보유자 - 컴파일러 또는 프로그래밍 언어론 수강자 - 관련 기술 이해도 (아래 링크의 내용이 이해되는 정도) · https://en.wikipedia.org/wiki/Abstract_interpretation - C++/Python/Java/F#/C# 중, 최소 하나의 언어를 불편함 없이 다룰 수 있는 역량 보유자 [우대사항] - 컴파일러 구현 기술이나 프로그램 분석기술과 관련된 연구활동 경험 보유 - F#, Ocaml, Haskell, Scala 등 함수형 프로그래밍 가능자 - 수리논리/기하학/도메인이론에 대한 관심이 많은 분 - 자격요건과 상관없이 이 분야의 기술에 특별한 매력을 느끼는 분	[코드 분석 엔진 개발 (Abstract Interpretation)] - 정적 코드 분석 기술은 코드를 훑어보면서 프로그램의 동작을 정밀하게 예측하고, 코딩 오류가 있을 곳을 자동으로 찾아주는 기술입니다. - 이 기술을 이용하면, 개발자는 합리적인 시간안에 "메모리릭/버퍼오버런/널포인터참조/타입범위넘침" 등과 같은 매우 중요한 코딩 오류를 발견할 수 있습니다. - Facebook 의 정적 분석 엔진인 Infer도 이와 비슷한 기술입니다. - 사실 프로그램의 코드만 보고, 프로그램의 동작을 정확히 예측하는 것이 일반적으로 불가능하다는 것은 증명되었습니다(halting problem) - 정적분석기술팀은 이 불가능한 것의 끝자락 어딘가를 향해 지속적인 터치를 시도하고 있습니다. ※ 기술 맛보기 : https://en.wikipedia.org/wiki/Abstract_interpretation	경력	경기 성남시 (판교)

전형절차 및 일정

서류전형

1차 실무면접

2차 임원면접

최종합격

접수기간 및 접수방법

접수기간	2024년 08월 02일 ~ 2024년 08월 31일
접수방법	- 채용 홈페이지 온라인 입사지원

※ 방문, 우편, 팩스 등 오프라인 접수의 경우, 『채용절차의 공정화에 관한 법률 제11조』 에 따라 구직자는 구인자에게 채용서류 반환을 요청 할 수 있으며, 구인자는 본인임을 확인한 후 채용서류를 반환하여야 합니다.

기타

문의사항

- 채용 홈페이지 우측 '문의하기' 이용해주시기 바랍니다.

기타사항

※ 자세한 사항은 채용 홈페이지 참조 바랍니다.

채용공고와 전형일정은 회사 사정에 의해 변경될 수 있으므로 반드시 공채사이트를 확인하시기 바랍니다.

​

★슈어소프트테크 패스문이 열렸습니다

​

#슈어패스문 #소프트패스문 #테크패스문 #기술패스문 #시스템패스문 #프로그래머패스문 #채용패스문

공채사이트 바로가기

태그#슈어패스문#소프트패스문#테크패스문#기술패스문#시스템패스문#프로그래머패스문#채용패스문 태그수정