1 – 10 Nhân viên
Phần cứngYosysHQ phát triển Yosys cùng các dự án tự động hóa thiết kế điện tử (EDA) mã nguồn mở liên quan dành cho kỹ thuật phần cứng. Công ty kết hợp các công cụ mã nguồn mở với các sản phẩm và dịch vụ thương mại nhằm hỗ trợ các đội ngũ điện tử cải thiện quy trình thiết kế phần cứng số, phù hợp với các chuyên gia làm việc trong lĩnh vực phát triển phần cứng và EDA.
Lập trình viên tổng hợp hoặc kiểm chứng hình thức — YosysHQ, làm việc từ xa tại Áo
Gia nhập YosysHQ với vai trò nhà phát triển EDA mã nguồn mở, làm việc trên các công cụ tổng hợp hoặc kiểm chứng hình thức. Vị trí này bao gồm phát triển độc lập bằng C++, Rust và Python trong các dự án thiết kế và kiểm chứng phần cứng.
Mô tả
- Hỗ trợ công việc tổng hợp hoặc kiểm chứng hình thức của YosysHQ
- Phát triển và duy trì các công cụ EDA bằng C++, Rust và Python
- Triển khai kiểm tra mô hình phần cứng, phương pháp hình thức, tổng hợp RTL/ASIC hoặc các quy trình liên quan
- Tạo phần mềm kỹ thuật và khoa học, triển khai các thuật toán từ tài liệu nghiên cứu hoặc đóng góp cho các dự án trình biên dịch
- Tìm hiểu và đóng góp cho một cơ sở mã nguồn mở hiện có quy mô lớn
- Chịu trách nhiệm về công việc được giao và tự giải quyết các thách thức kỹ thuật
- Thúc đẩy Yosys và hệ sinh thái EDA mã nguồn mở rộng lớn hơn
- Tham gia và có thể đóng góp cho các công cụ mã nguồn mở của YosysHQ
Yêu cầu
- Thành thạo C++ hoặc Rust để kiểm chứng hình thức, đồng thời sẵn sàng học ngôn ngữ còn lại và Python
- Ưu tiên ứng viên quen thuộc với việc triển khai kiểm tra mô hình phần cứng
- Hoặc có kinh nghiệm về kiểm chứng hoặc phương pháp hình thức, bao gồm giải SAT/SMT, chứng minh định lý tự động hoặc tương tác, lý thuyết ngôn ngữ lập trình hoặc lý thuyết ôtômát
- Có một số kinh nghiệm tiếp xúc với thiết kế phần cứng RTL để phục vụ kiểm chứng hình thức
- Thành thạo C++ cho công việc tổng hợp
- Có một số kinh nghiệm thiết kế phần cứng RTL, lý tưởng là liên quan đến ASIC
- Kinh nghiệm phù hợp có thể bao gồm phát triển phần mềm kỹ thuật hoặc khoa học, triển khai thuật toán nghiên cứu hoặc phát triển trình biên dịch
- Có kinh nghiệm làm quen và tham gia vào một dự án hiện có quy mô lớn
- Có khả năng tự chủ công việc được giao và làm việc độc lập với sự giám sát hạn chế
- Không được cư trú tại quốc gia chịu lệnh trừng phạt hoặc hạn chế xuất khẩu, hoặc bị cấm làm việc cho chính phủ Hoa Kỳ
- Hồ sơ ứng tuyển phải bao gồm CV và thư giới thiệu ngắn
Phúc lợi
- Làm việc từ xa với hình thức linh hoạt
- Thời gian làm việc linh hoạt
- Có thể làm bán thời gian từ một đến năm ngày mỗi tuần
- Cơ cấu thù lao cố định với cùng một mức cho tất cả thành viên trong nhóm
- Làm việc tại địa điểm do bạn lựa chọn
- Các cuộc họp nhóm thường diễn ra từ 15:00 đến 18:00 theo giờ Vienna, với sự linh hoạt ngoài khung giờ này