-
Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance of combined classical and
-
barrier structures and associated vessel operations. However, the mechanical design and verification of standardised subsea HVDC electrode units require a rigorous understanding of environmental loading
-
infrastructure that runs on aging software. When it fails, the impact can be severe: disruption, financial loss, and safety risks. The project delivers practical solutions to make critical infrastructure software
Searches related to software verification
Enter an email to receive alerts for software-verification positions