Codasip
Codasip
Codasip เป็นบริษัทด้านทรัพย์สินทางปัญญาสำหรับเซมิคอนดักเตอร์และการออกแบบโปรเซสเซอร์ โดยมุ่งเน้นเทคโนโลยี RISC-V ซิลิคอนที่มีความปลอดภัย และความปลอดภัยเชิงหน้าที่ ผลิตภัณฑ์ของบริษัทครอบคลุมคอร์แอปพลิเคชัน RISC-V ขนาด 64 บิตที่รองรับ CHERI โปรเซสเซอร์แบบฝังตัวและสำหรับยานยนต์ ตลอดจนเครื่องมือออกแบบ เช่น Codasip Studio และภาษา CodAL บริษัทพัฒนาทั้ง IP โปรเซสเซอร์มาตรฐานและแพลตฟอร์มที่ปรับแต่งตามความต้องการสำหรับตลาดที่มีข้อกำหนดสูง เช่น ยานยนต์ กลาโหม อากาศยาน ระบบอุตสาหกรรม และโครงสร้างพื้นฐานสำคัญ ด้วยทีมงานที่ทำงานครอบคลุมทั้งด้านฮาร์ดแวร์และความมั่นคงปลอดภัยทางไซเบอร์ Codasip จึงพัฒนาเทคโนโลยีโปรเซสเซอร์ที่มุ่งตอบโจทย์ด้านความปลอดภัยและความน่าเชื่อถือของแอปพลิเคชันที่อยู่ภายใต้การกำกับดูแล

วิศวกรตรวจสอบ – ซีพียู RISC-V (ทำงานแบบไฮบริด, สาธารณรัฐเช็ก)

ร่วมงานกับ Codasip เพื่อตรวจสอบโปรเซสเซอร์ RISC-V และส่วนขยายภายในบริษัทสถาปัตยกรรมเซมิคอนดักเตอร์ที่มีความปลอดภัย สร้างกระบวนการตรวจสอบอัตโนมัติสำหรับการออกแบบซีพียูขั้นสูง

รายละเอียด

  • ตรวจสอบโปรเซสเซอร์ RISC-V และส่วนขยายของโปรเซสเซอร์
  • สร้างโซลูชันการตรวจสอบที่ครอบคลุมเทสต์เบนช์ ส่วนประกอบของเทสต์เบนช์ การสร้างสิ่งกระตุ้น และสภาพแวดล้อมการตรวจสอบแบบฟอร์มัล
  • ทำงานร่วมกับวิศวกรเพื่อดำเนินกิจกรรมการตรวจสอบสำหรับส่วนประกอบและระบบย่อยให้เสร็จสมบูรณ์
  • กำหนดกลยุทธ์การตรวจสอบสำหรับบล็อกและระบบย่อย พร้อมเลือกเครื่องมือที่เหมาะสม
  • ประเมินข้อกำหนดทางเทคนิคและให้ข้อเสนอแนะที่มุ่งเน้นด้านการตรวจสอบ
  • ดำเนินการจำลอง ตรวจสอบข้อบกพร่อง และค้นหาสาเหตุรากของปัญหาที่ซับซ้อน
  • วางแผน ประเมิน จัดลำดับความสำคัญ และติดตามงานที่ได้รับมอบหมาย
  • วัดผลและรายงานตัวชี้วัดประสิทธิภาพของการตรวจสอบ
  • พัฒนาเวิร์กโฟลว์การตรวจสอบอัตโนมัติ
  • ตรวจสอบซีพียูขั้นสูง รวมถึงการออกแบบโปรเซสเซอร์แบบประมวลผลนอกลำดับที่ซับซ้อน
  • รับผิดชอบพื้นที่ที่กำหนดของการออกแบบและใช้แนวทางการตรวจสอบหลายรูปแบบ

คุณสมบัติ

  • ปัจจุบันอาศัยอยู่ในสาธารณรัฐเช็กและมีสิทธิ์ทำงานที่นั่น
  • มีประสบการณ์เชิงพาณิชย์ในการใช้วิธีตรวจสอบการทำงานของโปรเซสเซอร์กับซีพียูหรือ ASIC อื่น ๆ รวมถึงการจำลอง การสร้างการทดสอบ การวิเคราะห์ความครอบคลุม และการจำลองระดับเกต
  • เข้าใจการตรวจสอบสถาปัตยกรรมซีพียูหรือทรัพย์สินทางปัญญาอื่น ๆ
  • เขียนโค้ดที่ชัดเจนและกระชับด้วย SystemVerilog, Python, C++, Rust หรือภาษาเทียบเท่า
  • เคยรับผิดชอบการตรวจสอบบล็อกการออกแบบมาก่อน
  • ใช้ Linux เพื่อทำงานประจำให้เป็นอัตโนมัติ
  • รู้จักเครื่องมือควบคุมเวอร์ชัน เช่น Git และ SVN
  • เข้าใจสถาปัตยกรรม RISC-V
  • มีความเข้าใจอย่างดีเกี่ยวกับระบบคอมพิวเตอร์และสถาปัตยกรรมคอมพิวเตอร์
  • มีทักษะการคิดวิเคราะห์และการทำงานร่วมกับทีม
  • ทำงานข้ามทีมได้อย่างมีประสิทธิภาพเพื่อแก้ไขข้อผิดพลาดและค้นหาสาเหตุราก

สวัสดิการ

  • ประกาศงานไม่ได้ระบุสวัสดิการ สิทธิประโยชน์ หรือค่าตอบแทนเพิ่มเติม