Partager
Institution: TU Munich
Allemagne
Récupéré le : 2026-07-28 Expiré
Description :
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.
Partager


Vous recrutez?

Publiez vos offres d'emploi sur Sciencedz.net (GRATUIT).

Contactez-nous maintenant !

Les plus recherchés

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,
Avertissement : Nous nous efforçons de fournir des informations exactes et fiables sur les événements à venir, mais nous ne pouvons accepter aucune responsabilité pour le texte des annonces ni pour la bonne foi des organisateurs. N'hésitez pas à nous contacter si vous remarquez des informations incorrectes ou trompeuses, et nous tenterons de les corriger.