PhD/PostDoc position (TV-L E13)

Institución: TU Munich

Recuperado el : 2026-07-28 Caducado

Descripción :

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.

Abrir el sitio web del reclutador

¿Está contratando?

Publique sus ofertas de empleo en Sciencedz.net (GRATIS).

¡Contáctenos ahora!

Ofertas de empleo por país:

Ofertas de empleo por reclutador:

Más buscados

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: Nuestro objetivo es ofrecer información correcta y fiable sobre los próximos eventos, pero no podemos asumir responsabilidad por el texto de los anuncios ni por la buena fe de los organizadores. No dude en contactarnos si detecta información incorrecta o engañosa e intentaremos corregirla.