Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
fellow will conduct research on Algorithmic Verification of Database Systems with the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position will
-
Nature Careers | Vancouver South Shaughnessy NW Oakridge NE Kerrisdale SE Arbutus Ridge, British Columbia | Canada | about 1 month ago
detailed parameterised geometric models and running simulations for various operational scenarios, but also applying the simulation results to the design and verification of biological shielding components
Searches related to software verification
Enter an email to receive alerts for software-verification positions