شرح موقعیت شغلی
تحلیل و درستی یابی سیستم های کامپیوتری
دارای سابقه پیاده سازی یک پروژه به طور کامل
دارای سابقه پیاده سازی یک پروژه به طور کامل
مهارت های مورد نیاز
آشنایی کامل با SAT solver ها
آشنایی کامل و استفاده از ابزار Model-Checking Kit
آشنایی کامل و استفاده از ابزار Model-Checking Kit
جزییات بیشتر
رده سازمانی: مدیر ارشد
رشته تحصیلی: مهندسی کامپیوتر
حداقل و حداکثر سن: 20 - 40
ساعت و روزکاری: نامشخص
میزان سفرهای مورد نیاز: نامشخص
امکان دورکاری: خیر
استخدام فرد معلول: خیر
امکان کارآموزی: خیر
شاخص های کلیدی
Python
درباره شرکت
شرکت خصوص تحقیقاتی
