-
software development. General responsibilities: Help supervising related MSc and PhD projects Contribute to project related teaching activities Collaborate with the Earthmapps research team and participate
-
will investigate end-to endguarantees of correctness. When successful, this will have a major impact on the way combinatorial optimization software is developed,evaluated, and used: the proofs
Searches related to software verification
Enter an email to receive alerts for software-verification positions