Partilhar
Instituição: TU Munich
Alemanha
Obtido em : 2026-07-28 Expirado
Descrição :
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.
Partilhar


Está a recrutar?

Publique as suas ofertas de emprego no Sciencedz.net (GRÁTIS).

Contacte-nos agora!

Mais pesquisados

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,
Aviso legal: Procuramos fornecer informação correcta e fiável sobre os próximos eventos, mas não podemos assumir responsabilidade pelo texto dos anúncios nem pela boa-fé dos organizadores. Contacte-nos se detectar informação incorrecta ou enganadora e tentaremos corrigi-la.