1 – 10 พนักงาน
ฮาร์ดแวร์YosysHQ พัฒนา Yosys และโครงการด้านระบบอัตโนมัติสำหรับการออกแบบอิเล็กทรอนิกส์ (EDA) แบบโอเพนซอร์สที่เกี่ยวข้องสำหรับงานวิศวกรรมฮาร์ดแวร์ บริษัทผสานเครื่องมือโอเพนซอร์สเข้ากับผลิตภัณฑ์และบริการเชิงพาณิชย์ เพื่อช่วยให้ทีมงานด้านอิเล็กทรอนิกส์ปรับปรุงกระบวนการออกแบบฮาร์ดแวร์ดิจิทัล จึงมีความเกี่ยวข้องกับผู้เชี่ยวชาญที่ทำงานด้านการพัฒนาฮาร์ดแวร์และ EDA
นักพัฒนาการสังเคราะห์หรือการพิสูจน์รูปนัย — YosysHQ ทำงานทางไกลจากออสเตรีย
ร่วมงานกับ YosysHQ ในฐานะนักพัฒนา EDA แบบโอเพนซอร์ส โดยทำงานกับเครื่องมือการสังเคราะห์หรือการพิสูจน์รูปนัย บทบาทนี้เกี่ยวข้องกับการพัฒนาอย่างอิสระด้วย C++, Rust และ Python ในโครงการด้านการออกแบบและการตรวจสอบฮาร์ดแวร์
รายละเอียด
- สนับสนุนงานด้านการสังเคราะห์หรือการพิสูจน์รูปนัยของ YosysHQ
- พัฒนาและดูแลเครื่องมือ EDA ด้วย C++, Rust และ Python
- นำการตรวจสอบแบบจำลองฮาร์ดแวร์ วิธีการเชิงรูปนัย การสังเคราะห์ RTL/ASIC หรือกระบวนการทำงานที่เกี่ยวข้องมาใช้งาน
- สร้างซอฟต์แวร์ด้านวิศวกรรมและวิทยาศาสตร์ นำอัลกอริทึมจากเอกสารวิจัยมาใช้งาน หรือมีส่วนร่วมในโครงการคอมไพเลอร์
- เรียนรู้และมีส่วนร่วมกับโค้ดเบสโอเพนซอร์สขนาดใหญ่ที่มีอยู่แล้ว
- รับผิดชอบงานที่ได้รับมอบหมายและแก้ไขปัญหาทางเทคนิคได้ด้วยตนเอง
- ขับเคลื่อน Yosys และระบบนิเวศ EDA แบบโอเพนซอร์สในวงกว้าง
- มีส่วนร่วมและอาจร่วมพัฒนาเครื่องมือโอเพนซอร์สของ YosysHQ
คุณสมบัติ
- มีความเชี่ยวชาญด้าน C++ หรือ Rust สำหรับการพิสูจน์รูปนัย และพร้อมเรียนรู้ภาษาอื่นที่เหลือรวมถึง Python
- หากคุ้นเคยกับการนำการตรวจสอบแบบจำลองฮาร์ดแวร์มาใช้งานจะได้รับการพิจารณาเป็นพิเศษ
- หรือมีประสบการณ์ด้านการตรวจสอบหรือวิธีการเชิงรูปนัย รวมถึงการแก้ SAT/SMT การพิสูจน์ทฤษฎีบทแบบอัตโนมัติหรือแบบโต้ตอบ ทฤษฎีภาษาโปรแกรม หรือทฤษฎีออโตมาตา
- มีประสบการณ์เกี่ยวกับการออกแบบฮาร์ดแวร์ RTL ในระดับหนึ่งเพื่อการพิสูจน์รูปนัย
- มีความเชี่ยวชาญด้าน C++ สำหรับงานสังเคราะห์
- มีประสบการณ์ด้านการออกแบบฮาร์ดแวร์ RTL ในระดับหนึ่ง โดยควรเกี่ยวข้องกับ ASIC
- ประสบการณ์ที่เกี่ยวข้องอาจรวมถึงการพัฒนาซอฟต์แวร์ด้านวิศวกรรมหรือวิทยาศาสตร์ การนำอัลกอริทึมจากงานวิจัยมาใช้งาน หรือการพัฒนาคอมไพเลอร์
- มีประสบการณ์ในการทำความเข้าใจและเข้ามามีส่วนร่วมในโครงการขนาดใหญ่ที่มีอยู่แล้ว
- สามารถรับผิดชอบงานที่ได้รับมอบหมายและทำงานอย่างอิสระโดยมีการกำกับดูแลจำกัด
- ต้องไม่พำนักอยู่ในประเทศที่อยู่ภายใต้มาตรการคว่ำบาตรหรือข้อจำกัดด้านการส่งออก หรือเป็นผู้ที่ถูกห้ามทำงานให้รัฐบาลสหรัฐอเมริกา
- การสมัครต้องแนบ CV และจดหมายแนะนำตัวสั้น ๆ
สวัสดิการ
- ทำงานทางไกลด้วยรูปแบบการทำงานที่ยืดหยุ่น
- เวลาทำงานยืดหยุ่น
- สามารถทำงานพาร์ตไทม์ได้ตั้งแต่หนึ่งถึงห้าวันต่อสัปดาห์
- โครงสร้างค่าตอบแทนแบบอัตราเดียวกันสำหรับสมาชิกทุกคนในทีม
- ทำงานจากสถานที่ที่คุณเลือก
- โดยทั่วไปการประชุมทีมจะจัดขึ้นระหว่าง 15:00 น. ถึง 18:00 น. ตามเวลเวียนนา โดยมีความยืดหยุ่นนอกช่วงเวลาดังกล่าว