Codasip
Codasip
Codasip adalah perusahaan IP semikonduktor dan desain prosesor yang berfokus pada teknologi RISC-V, silikon yang aman, dan keselamatan fungsional. Portofolionya mencakup inti aplikasi RISC-V 64-bit yang mendukung CHERI, prosesor tertanam dan otomotif, serta alat desain seperti Codasip Studio dan bahasa CodAL. Perusahaan ini mengembangkan IP prosesor standar dan platform yang disesuaikan untuk pasar yang menuntut, termasuk otomotif, pertahanan, avionik, sistem industri, dan infrastruktur kritis. Dengan tim yang bekerja di bidang perangkat keras dan keamanan siber, Codasip membangun teknologi prosesor yang ditujukan untuk memenuhi kebutuhan keamanan dan keandalan aplikasi yang diatur oleh regulasi.

Insinyur Verifikasi – CPU RISC-V (Hibrida, Ceko)

Bergabunglah dengan Codasip untuk memverifikasi prosesor dan ekstensi RISC-V di perusahaan arsitektur semikonduktor yang aman. Bangun alur verifikasi otomatis untuk desain CPU canggih.

Deskripsi

  • Memvalidasi prosesor dan ekstensi prosesor RISC-V
  • Membuat solusi verifikasi yang mencakup testbench, komponen testbench, pembuatan stimulus, dan lingkungan formal
  • Bekerja sama dengan para insinyur untuk menyelesaikan aktivitas verifikasi komponen dan subsistem
  • Menetapkan strategi verifikasi untuk blok dan subsistem serta memilih alat yang sesuai
  • Menilai spesifikasi teknis dan memberikan masukan yang berfokus pada verifikasi
  • Menjalankan simulasi, menyelidiki cacat, dan menentukan akar penyebab masalah kompleks
  • Merencanakan, memperkirakan, memprioritaskan, dan memantau pekerjaan yang ditugaskan
  • Mengukur dan melaporkan metrik kinerja verifikasi
  • Mengembangkan alur kerja verifikasi otomatis
  • Memverifikasi CPU canggih, termasuk desain prosesor out-of-order yang kompleks
  • Memiliki tanggung jawab atas area desain yang ditentukan dan menerapkan berbagai pendekatan verifikasi

Persyaratan

  • Saat ini berdomisili di Republik Ceko dan memiliki hak untuk bekerja di sana
  • Memiliki pengalaman komersial dalam menerapkan metode verifikasi fungsional prosesor pada CPU atau ASIC lain, termasuk simulasi, pembuatan pengujian, analisis cakupan, dan simulasi tingkat gerbang
  • Memahami verifikasi arsitektur CPU atau kekayaan intelektual lainnya
  • Menulis kode yang jelas dan ringkas dalam SystemVerilog, Python, C++, Rust, atau bahasa yang sebanding
  • Pernah bertanggung jawab atas verifikasi suatu blok desain
  • Menggunakan Linux untuk mengotomatiskan tugas rutin
  • Mengenal alat kontrol versi seperti Git dan SVN
  • Memahami arsitektur RISC-V
  • Memiliki pemahaman yang kuat tentang sistem dan arsitektur komputer
  • Menunjukkan kemampuan berpikir analitis dan bekerja sama dalam tim
  • Bekerja secara efektif lintas tim untuk men-debug masalah dan mengidentifikasi akar penyebabnya

Tunjangan

  • Lowongan ini tidak menyebutkan tunjangan, fasilitas, atau kompensasi tambahan.

Lowongan Terkait

PACS

Administrator dalam Pelatihan, California (Jarak Jauh)

PACS

Mendukung operasional fasilitas keperawatan, kepatuhan, kepegawaian, dan pelaporan keuangan sambil menjalani pelatihan di bawah bimbingan administrator berlisensi. Mengembangkan pengalaman kepemimpinan dalam perawatan jangka panjang.

Buka
Pacific Smiles Group

Asisten Dokter Gigi dan Resepsionis

Pacific Smiles Group
1.001 – 5.000 Karyawan
B2CLayanan kesehatan

Bergabunglah dengan praktik Pacific Smiles Group di Drysdale sebagai asisten dokter gigi dan resepsionis kasual, menangani meja depan, membantu di sisi kursi perawatan, dan melakukan sterilisasi. Bantu merawat pasien dalam layanan kedokteran gigi umum, ortodonti, implan, dan prosedur kompleks.

Buka
Natus Medical Incorporated

Akuntan Senior, Pelaporan Keuangan Global

Natus Medical Incorporated

Mendukung pelaporan keuangan global, proses penutupan, pengakuan pendapatan, dan audit Natus Medical di berbagai entitas hukum. Menerapkan U.S. GAAP dan standar akuntansi statutori internasional dalam pekerjaan jarak jauh yang berbasis di Amerika Serikat.

Buka