Sort by
Refine Your Search
-
following research areas: teaching of informatics, software engineering with an emphasis on software verification and validation, and/or business process management. Preparing and implementing research
-
on the verification of concurrent programs, including topics such as abstract interpretation, type systems, program logics, or denotational semantics. Preparing and implementing research projects under the supervision
Searches related to verification
Enter an email to receive alerts for verification positions