-
simulations to design and assess scenarios for risk mitigation. For Active-Frie problem domain, we seek candidates with strong background in analytical and computational methods related to physics-based
-
carrot defense against microbial pathogens. Molecular-genetic, biochemical, and analytical chemistry methods will be used for these studies. Required Qualifications Ph.D. in Biological Sciences or a
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions