계약직 포지션 DH-0133 · 마감 없음
Developer for open-source synthesis or formal verification tools (C++, Rust, Python)기타 소프트웨어 · 오스트리아
단가€6,000/월≈ US$41.55/시간
마감일—마감일 미기재
A small open-source electronic design automation (EDA) software company seeks a developer for either its logic synthesis or formal verification tooling. The tools are written in C++, Rust and Python; formal verification work involves hardware model checking and related formal-methods techniques.
출처를 바탕으로 DevHero가 작성한 요약입니다. 공식 공고 또는 게시글이 우선합니다.
계약직 포지션: 클라이언트가 명시된 단가로 일정 기간 개인 또는 팀을 고용합니다. 월 단위 또는 연 단위 금액은 비교를 위해 시급 기준으로 환산합니다.
본인의 프로젝트나 공고인가요? 요청하시면 수정하거나 삭제해 드립니다. 문의하기
프로젝트 상세 정보
- 종류
- 계약직 포지션
- 유형
- 기타 소프트웨어
- 단가
- €6,000/월 (≈ US$41.55/시간)
- 명시된 기술
- C++, Rust, Python
- 기술 스택
- 기타 소프트웨어
- 산업
- 기술
- 국가
- 오스트리아
- 게시일
- 2026년 9월 22일
- 마감일
- 마감일 미기재
- 출처 플랫폼
- Himalayas
- 확인일
- 2026년 11월 13일에 공식 오픈 데이터 출처에서 확인
- 출처 언어
- 영어
- 상태
- 마감 없음
클라이언트, 출처 링크, 참조 번호
- 클라이언트
- ████████████
- 공식 출처
- ████████████████
- 참조 번호
- ██████
- 출처의 인용문
- ██████████
크레딧은 프로젝트당 한 번만 사용됩니다. 잠금을 해제한 상세 정보는 계정에 남습니다.
기타 소프트웨어 프로젝트 더 보기
C++, Rust, Python 프로젝트 더 보기
다음 프로젝트까지 세 단계.
구독이 필요 없습니다. 열어 본 상세 정보에 대해서만 결제합니다.
1단계
금액으로 필터링
최소 예산 또는 시급을 설정하고, 스택과 지역을 고르세요. 지구본과 목록이 실시간으로 바뀝니다.
2단계
상세 정보 잠금 해제
크레딧을 사용하면 클라이언트, 공식 공고 또는 게시글 링크, 참조 번호, 핵심 인용문을 볼 수 있습니다.
3단계
마감 전에 입찰
원래 플랫폼에서 제안서를 보내세요. 새 프로젝트가 조건에 맞으면 알림으로 알려 드립니다.