Codasip, RISC-V teknolojisi, güvenli yongalar ve işlevsel güvenlik alanlarına odaklanan bir yarı iletken fikrî mülkiyet ve işlemci tasarımı şirketidir. Portföyünde CHERI destekli 64 bit RISC-V uygulama çekirdekleri, gömülü sistem ve otomotiv işlemcileri ile Codasip Studio ve CodAL dili gibi tasarım araçları bulunur. Şirket; otomotiv, savunma, havacılık, endüstriyel sistemler ve kritik altyapı gibi zorlu pazarlar için standart işlemci fikrî mülkiyeti ve ihtiyaca özel platformlar geliştirir. Donanım ve siber güvenlik alanlarında çalışan ekipleriyle Codasip, düzenlemelere tabi uygulamaların güvenlik ve güvenilirlik ihtiyaçlarını karşılamayı amaçlayan işlemci teknolojileri geliştirir.
Doğrulama Mühendisi – RISC-V CPU’ları (Hibrit, Çekya)
Güvenli bir yarı iletken mimarisi şirketi olan Codasip’te RISC-V işlemcilerini ve uzantılarını doğrulayın. Gelişmiş CPU tasarımları için otomatik doğrulama akışları oluşturun.
Açıklama
- RISC-V işlemcilerini ve işlemci uzantılarını doğrulamak
- Test tezgâhlarını, test tezgâhı bileşenlerini, uyarıcı üretimini ve biçimsel doğrulama ortamlarını kapsayan doğrulama çözümleri oluşturmak
- Bileşenler ve alt sistemler için doğrulama faaliyetlerini tamamlamak üzere mühendislerle çalışmak
- Bloklar ve alt sistemler için doğrulama stratejileri oluşturmak ve uygun araçları seçmek
- Teknik spesifikasyonları değerlendirmek ve doğrulamaya odaklanan geri bildirim sağlamak
- Simülasyonları yürütmek, hataları araştırmak ve karmaşık sorunların temel nedenlerini belirlemek
- Atanan işleri planlamak, tahmin etmek, önceliklendirmek ve izlemek
- Doğrulama performansı ölçümlerini değerlendirmek ve raporlamak
- Otomatik doğrulama iş akışları geliştirmek
- Karmaşık sıra dışı yürütmeli işlemci tasarımları dâhil olmak üzere gelişmiş CPU’ları doğrulamak
- Tasarımın belirlenmiş alanlarının sorumluluğunu üstlenmek ve birden fazla doğrulama yaklaşımı uygulamak
Gereksinimler
- Hâlihazırda Çek Cumhuriyeti’nde ikamet etmek ve burada çalışma hakkına sahip olmak
- CPU’lar veya diğer ASIC’ler üzerinde simülasyon, test üretimi, kapsam analizi ve kapı düzeyi simülasyonu dâhil işlevsel işlemci doğrulama yöntemlerini uygulama konusunda ticari deneyime sahip olmak
- CPU mimarilerinin veya diğer fikrî mülkiyetlerin doğrulanmasını anlamak
- SystemVerilog, Python, C++, Rust veya benzer bir dilde açık ve öz kod yazabilmek
- Daha önce bir tasarım bloğunun doğrulamasını üstlenmiş olmak
- Rutin görevleri otomatikleştirmek için Linux kullanmak
- Git ve SVN gibi sürüm kontrol araçlarını bilmek
- RISC-V mimarisini anlamak
- Bilgisayar sistemleri ve mimarisi hakkında güçlü bir anlayışa sahip olmak
- Analitik düşünme ve ekip içinde iş birliği yapma becerilerini göstermek
- Sorunları ayıklamak ve temel nedenleri belirlemek için ekipler arasında etkili biçimde çalışmak
Yan Haklar
- İlan, yan haklar, ek ayrıcalıklar veya ilave ücretlendirme hakkında bilgi vermemektedir.