-
apparatuses, free space and fiber optics, precision interferometry, quantum optics, analog and digital controls, low noise electronics, simulation and modeling, finite element modeling, and computer programming
-
orbital dynamics using analytic and numerical methods, (2) planet formation theory, (3) exoplanet architectures and demographics using statistical methods, and (4) planetary interior/atmosphere modeling
Searches related to model checking
Enter an email to receive alerts for model-checking positions