-
Intelligent Systems. The position is open to applicants to be affiliated with one of the research groups: Automated System Verification and Validation ; Distributed Sustainable Software and Systems ; Formal
Searches related to formal verification
Enter an email to receive alerts for formal-verification "Intelligent Systems Group" positions