-
, statistical, and bioinformatic methods. Prepare manuscripts for peer-reviewed journals and present findings at conferences. Participate in lab meetings, mentor junior scientists, and contribute to a
-
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
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions