Postdoctoral Research Associate-Formal/Quantitative Methods