Sort by
Refine Your Search
-
-time, and evidence-accumulation phenomena. Implement simulation, parameter-estimation, and model-comparison methods in Python, MATLAB, R, or related computational environments. Lead and co-author
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions