Sort by
Refine Your Search
-
Category
-
Field
-
, remanufacturing, and recycling. The project targets TRL 5 demonstration, combining fundamental research with robust, reusable software demonstrators for industrial validation with 10 Flemish companies active in
-
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