مشاركة
المؤسسة: TU Munich
ألمانيا
وجد : 2026-07-28
تفاصيل :
Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. Your research will focus on the applications of logical zonotopes in digital circuits and the model checking of discrete-space systems, with the goal of developing methodologies and tools that make verification scalable and reliable.
مشاركة


هل تقوم بالتوظيف؟

ضع عروضك على موقعنا (مجانا).

إتصل بنا الان!

الأكثر بحثا

PhD positions, Postdoctoral positions, Assistant professor jobs, Associate professor jobs, Full professor jobs, professor jobs, Lecturer jobs, Senior lecturer jobs, reader jobs, Assistant jobs, Mathematics jobs, Statistics jobs, Physics jobs, Chemistry jobs,
تنويه: نحن نهدف إلى توفير المعلومات الصحيحة والموثوقة حول الأحداث القادمة، لكن لا يمكن أن نقبل المسؤولية عن نص الإعلانات أو حسن نية منظمي الحدث. لا تتردد في الاتصال بنا إذا لاحظت معلومات غير صحيحة أو مضللة وسنحاول تصحيحها.