Share
Institution: TU Munich
Alemanha
Retrieved : 2026-07-28
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.
Ação


Are you recruiting?

List your jobs offers on Sciencedz.net (FREE).

Contact us now!

Most searched

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,
Disclaimer : Temos como objectivo proporcionar informações precisas e confiáveis sobre os próximos eventos, mas não podemos aceitar a responsabilidade para o texto de anúncios ou boa-fé dos organizadores do evento. Por favor, não hesite em contactar-nos se você observar informações incorretas ou enganosas e vamos tentar corrigi-lo.