-
applied aspects of software engineering. Research lies in the field of intelligent systems, formal verification and systematic testing of software, artificial intelligence, requirements engineering
-
the design, implementation, and experimental analysis of system software (e.g., OS concepts, portability, verification) and/or digital systems (e.g., MCU architectures, partial reconfiguration, EDA), as
-
verification of cryptographic security Contributing to the maintenance of infrastructure and organizational support for teaching and research activities Your Profile Excellent English proficiency and strong
Searches related to software verification
Enter an email to receive alerts for software-verification positions