Sort by
Refine Your Search
-
of Computer Science has the following research groups: Automated System Verification and Validation Data Engineering, Science, and Systems Distributed Sustainable Software and Systems Formal Methods for Security and
-
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 Methods
-
hardware, software, and control engineering come together. For the appointment as Professor, you are an established and experienced research leader with a substantial publication record in relevant areas
Searches related to software verification
Enter an email to receive alerts for software-verification positions