-
collaborators. Tasks include formulating optimisation problems, developing algorithms for optimisation with Bayesian models, and implementing solutions in relevant software. Further tasks include the formulation
Searches related to software verification
Enter an email to receive alerts for software-verification positions