Sort by
Refine Your Search
-
Category
-
Field
-
. Proactively identifies opportunities for revisions and new audits, applying sound judgment to determine the best data verification methods for each situation. Minimum Qualifications: • Minimum high school
-
verification – can supplement testing by providing evidence of system correctness through proof and analysis. Formal methods, in conjunction with existing best practices for system and software development, can
-
, Scrum, or similar; * Demonstrated, effective interpersonal skills; * Experience with formal software verification techniques, code analysis, and operational analysis (Big O analysis); * Experience with
Searches related to software verification
Enter an email to receive alerts for software-verification positions