Sort by
Refine Your Search
-
computational profile acquiring expertise in periodic DFT calculations, neural network potentials, automated reaction-network exploration, and scientific large language model agents, all applied to chemically and
Searches related to model checking
Enter an email to receive alerts for model-checking positions