-
expertise/interest in Bayesian methods for addressing measurement error. Ideally PhD within the last 5 years. Advanced level experience with R, desired knowledge of Nimble, Overleaf. Excellent communication
-
-driven protocols, pipelines, and validation strategies for real-world deployment. Work includes method development, reproducible workflows, data curation, and experimental design to support multi-project
-
inverse modeling methods, machine learning, and artificial intelligence techniques. Appointment Details: Start date: As early as March 1, 2026. Annual Salary: $55,000 Application review: Ongoing until
Searches related to formal method
Enter an email to receive alerts for formal-method positions