슈어소프트테크(주) 취업축하금 50만원 채용중 6

시스템프로그래머_정적분석팀

이 공고에 지원해 최종합격이 되시면 지원자님께 취업축하금 50만원을 드립니다.
(점핏에서 지원하시면 20만원을 더 드립니다.)

경력: 경력 3~8년

학력: 대졸(2,3년제) 이상

근무형태: 정규직

급여: 회사내규에 따름

근무지역: 경기전체, 경기 성남시

Jumpit에서 제공된 공고입니다.

최저임금계산에 대한 알림 하단에 명시된 급여, 근무 내용 등이 최저임금에 미달하는 경우 위 내용이 우선합니다.

조회수 711
홈페이지접속 3
신고하기

본 채용정보는 마감되었습니다.

슈어소프트테크(주)에서 채용공고가 시작되면 이메일로 알려드립니다.

시스템프로그래머_정적분석팀

서비스 소개

슈어소프트테크(주)는, 소프트웨어 테스팅 자동화 분야에서 국내 유일하게 독자적인 기술을 개발한 강소기업으로, Mission-Critical(고신뢰) 산업 분야의 소프트웨어 안정성 검증을 위한 테스트 자동화 도구 및 검증 서비스를 제공하는 소프트웨어 품질 전문 기업입니다.
소프트웨어로 더 안전한 세상을 만들고자 하는 비전 아래 사회적 책임을 가지고 소프트웨어 산업에 기여하고자 노력하고 있습니다.

해당 포지션의 AI 예상 면접 질문, 점핏에서 확인해보세요!

모집부문 / 상세내용

사용 기술: java python C++ C c# f# SW

주요업무

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

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

자격요건

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

우대사항

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

마감일 및 근무지: • 마감일 : 상시
• 근무지
- 경기도 성남시 수정구 금토로80번길 37 인피니티타워 E동

복지 및 혜택

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

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

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

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

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

점핏 입사지원 혜택

점핏으로 지원하고 최종합격하시면 취업축하금 50만원에 + 20만원을 더 드립니다!

접수기간 및 방법

마감되었습니다.

시작일: 2023.12.06 00:00
마감일: 2024.01.04 13:13

관심기업 설정 후 다음 채용시 지원해 보세요.

지원자 통계

이 공고에 지원한 회원들이 궁금하다면?

로그인 하시고 지원자들의
경력, 성별, 학력 등의 현황을 확인하세요!

지원자수: 1명

경력별 현황

신입

1년 미만

1~3년

3~5년

5년 이상

성별 현황

지원자수

남자: 0%; 0 명

여자: 100%; 1 명

연령별 현황

20대

30대

40대

50대

60대 이상

학력별 현황

고졸이하

2~3년제

4년제

석사

박사

자격증 현황

2종보통운전면허

데이터분석준전..

자격증 개수

미보유

1개

2개

3개

4개이상

기업정보

이 기업의 다른 공고 (6건)

슈어소프트테크(주)

대표자명: 배현섭

기업형태: 코스닥, 중소기업, 스타트업, 주식회사, ..

업종: 응용 소프트웨어 개발 및 공급업

사원수: 431 명 (2024년 기준)

설립일: 2002년 3월 6일 (업력 23년차)

홈페이지: www.suresofttech.com

기업주소: 경기 성남시 수정구 금토로80번길 37, E동 (금토동,인피니티타워)

채용정보 6건 면접후기 4건 기업리뷰

기업정보 전체보기

본 채용정보에 불법·허위·과장, 최저임금 위반 등 잘못된 내용이 있을 경우 신고해주세요!

신고하기

시스템프로그래머_정적분석팀

핵심 정보