Sort by
Refine Your Search
-
program. You will develop and implement cutting-edge computational approaches to accelerate the identification and optimization of novel drug candidates, including molecular dynamics, protein modelling
-
optimisation models (e.g. using MiniZinc) and solving methods to demonstrate the transformative potential of optimisation technology in this application. Collaboration will be key, as you’ll join the DSAI’s
Searches related to model checking
Enter an email to receive alerts for model-checking positions