-
and tested against the relevant protein as a proof of concept. This is an opportunity to join a vibrant medicinal chemistry research group focussed on developing new technologies for drug discovery. It
-
to lysine-TCI development in drug discovery. These optimised warheads will be incorporated into known inhibitors and tested against the relevant protein as a proof of concept. This is an opportunity to join a
-
hardware malfunctions. WP2 - Dynamic Validation Framework: This WP utilizes formal methods, specifically probabilistic model checking, to provide safety guarantees and verify AI behavior against constraints
Searches related to proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions