[SW개발상장사] 시스템프로그래머 (컴파일러/코드분석 엔진 개발)

작성자 : 바른인사    작성일시 : 작성일2020-07-15 18:29:10    조회 : 662회   


┃회사소개
 

□ 기업으로 고객사의 요청에 의해 기업명 비공개로 진행하며, 상세사항은 서류지원자에 한해 안내드리겠습니다.



┃모집분야

* 모집직종 : 시험자동화연구소 코드분석기술팀 시스템프로그래머 (컴파일러/코드분석)

* 업무내용 :
- 코드분석엔진 개발 (Abstract Interpretation)

 


┃자격사항
 

1) 시스템 프로그래머 - 컴퓨팅 시스템의 내부 구조와 원리등에 호기심이 많을 것
2) 관련 기술 이해도(아래 링크의 내용이 이해되는 정도)
-
https://en.wikipedia.org/wiki/Symbolic_execution
3) C++/Python/Java -
최소 하나의 언어를 불편함 없이 다룰 수 있는 역량 보유


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


 

 

┃근무조건

- 급여조건 : 면접 후 협의
[세전/퇴직금별도]

  * 최종연봉 및 희망연봉 기재 - 근무위치 : 서울 강남구 삼성역 인근
- 근무시간 : 평일 09:00~18:00  

- 채용형태 : 비공개 기업 소속 정규직 채용

- 복리후생 : 4대보험, 퇴직금, 연차제공(미사용시 수당), 외 자체 복리후생


 

 

┃지원방법

-  E-MAIL: seosj@baruninsa.com 지원 or 온라인 입사지원 가능
- 적합자 지원시 마감될 수 있으므로 조기지원시 유리합니다.

※ 이력서 제목에 "(시스템프로그래머 (코드분석))-성명" 기재 必


┃문의처

- 담당자: 인사담당자
- 연락처: 02-6951-2310