1 – 10 직원
하드웨어YosysHQ는 하드웨어 엔지니어링을 위해 Yosys를 비롯한 오픈 소스 전자 설계 자동화(EDA) 프로젝트를 개발합니다. 오픈 소스 도구와 상용 제품 및 서비스를 결합해 전자 분야 팀이 디지털 하드웨어 설계 워크플로를 개선하도록 지원하며, 하드웨어 개발과 EDA 분야에서 일하는 전문가와 밀접한 관련이 있습니다.
합성 또는 형식 검증 개발자—YosysHQ, 오스트리아 원격
YosysHQ에 합류해 합성 또는 형식 검증 도구를 개발하는 오픈 소스 EDA 개발자로 일합니다. 하드웨어 설계 및 검증 프로젝트에서 C++, Rust, Python을 사용해 독립적으로 개발 업무를 수행합니다.
설명
- YosysHQ의 합성 또는 형식 검증 업무 지원
- C++, Rust, Python으로 EDA 도구 개발 및 유지 관리
- 하드웨어 모델 검사, 형식 기법, RTL/ASIC 합성 또는 관련 워크플로 구현
- 엔지니어링 및 과학 소프트웨어 개발, 연구 문헌의 알고리즘 구현 또는 컴파일러 프로젝트 기여
- 상당한 규모의 기존 오픈 소스 코드베이스를 학습하고 개발에 기여
- 담당 업무를 주도하고 기술적 문제를 독립적으로 해결
- Yosys와 더 넓은 오픈 소스 EDA 생태계의 발전에 기여
- YosysHQ의 오픈 소스 도구에 참여하고 가능하면 기여
지원 자격
- 형식 검증에 C++ 또는 Rust를 능숙하게 사용할 수 있으며 다른 언어와 Python을 배울 의지가 있는 분
- 하드웨어 모델 검사를 구현한 경험이 있으면 우대
- 또는 SAT/SMT 풀이, 자동 또는 대화형 정리 증명, 프로그래밍 언어 이론, 오토마타 이론을 포함한 검증 또는 형식 기법 경험
- 형식 검증에 사용되는 RTL 하드웨어 설계를 접해 본 경험
- 합성 업무의 경우 C++ 숙련도
- RTL 하드웨어 설계 경험이 있으며 ASIC 관련 경험이 있으면 우대
- 관련 경험에는 엔지니어링 또는 과학 소프트웨어 개발, 연구 알고리즘 구현, 컴파일러 개발 등이 포함될 수 있음
- 대규모 기존 프로젝트에 참여해 업무 방식을 익힌 경험
- 담당 책임을 맡고 제한적인 감독 아래 독립적으로 일할 수 있는 능력
- 제재 또는 수출 제한 대상 국가에 거주하지 않으며 미국 정부를 위해 일하는 것이 금지되지 않은 분
- 지원 시 이력서와 간단한 자기소개서 제출
복리후생
- 유연한 방식의 원격 근무
- 유연한 근무 시간
- 주 1일에서 5일까지 파트타임 일정 가능
- 모든 팀원에게 동일한 요율을 적용하는 수평적 보상 체계
- 원하는 장소에서 근무 가능
- 팀 회의는 일반적으로 빈 시간 기준 오후 3시에서 6시 사이에 진행되며 해당 시간대 외에도 유연하게 조정 가능