1 formal-verification-computer-science PhD positions at DAAD

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science positions

PhD Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability AnalysisFull PhD

DAAD | Germany | about 1 hour ago

Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description The research group Cyber-Physical Systems of Prof. Matthias Althoff

Searches related to formal verification computer science

Enter an email to receive alerts for formal-verification-computer-science positions