포지션 상세 정보
- 기술스택
JavaScala
- 주요업무
다음 중 하나에 참여하게 됩니다. • Abstract interpretation 기반 프로그램 분석 엔진 개발 • Symbolic execution 기반 화이트박스 테스팅 엔진 개발
- 자격요건
• Programming Language 또는 Compiler 수강 경험 • 하나 이상의 Functional Language 습득 경험 (Scala, Ocaml, Haskell, F#)
- 우대사항
• Programming Language, Compiler, Program Analysis, Symbolic Execution 연구 경험 • Software Engineering, Software Verification 연구 경험
- 복지 및 혜택
• 자유로운 연차 및 반차 사용 • 생일 휴가 제공 • 창립기념일 휴무 • 근로자의 날 휴무 • 경조휴가 • 간식 및 음료 제공 • 단체 상해보험 • 복지포인트 • 주유비 포함 출장비 • 생일 선물 • 명절 선물 • 퇴직연금 • 근로자휴가지원사업 지원
포지션 경력/학력/마감일/근무지역 정보
- 경력
- 신입~10년
- 학력
- 대학교졸업(4년) 이상(졸업예정자 가능)
- 마감일
- 2022-12-30
- 근무지역
- 서울시 구로구 디지털로 26길 61 에이스하이엔드타워2차 504호
기업/서비스 소개
기업상세 정보로 이동
1 / 10
코드마인드는 화이트박스 테스팅 도구, 소스코드 진단 도구, 인공지능 검증 도구 등을 개발하는 소프트웨어 분석 및 검증 전문 기업입니다. Scala, F sharp, Ocaml 과 같은 함수 언어를 경험한 개발자를 모집합니다. 소프트웨어의 진수를 함께 만들어갈 열정있는 개발자의 지원을 기다립니다.
