Sort by
Refine Your Search
-
simulation methods and scientific software development. The successful candidate will contribute to research and development on: EMT simulation of future power systems. Simulation methods for converter
-
investigate end-to end guarantees of correctness. When successful, this will have a major impact on the way combinatorial optimization software is developed, evaluated, and used: the proofs produced
Searches related to software verification
Enter an email to receive alerts for software-verification positions