-
optimization for noise models. - Comparison of optimization strategies. - Process calculi and rewriting systems. - Formal verification of quantum error correction codes and quantum noise models, by use of proof
-
verification and formal verification. runtime analysis and reconfiguration of in-vehicle TSN networks. Co-supervise students. Optionally contribute to teaching. Required qualifications: Hardware design in a
-
. We are looking for you if you have a background and interest in programming languages and formal methods --- e.g., has taken courses in program analysis, verification, compiler construction and/or
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions