Sort by
Refine Your Search
-
autoformalization tools and languages like Lean 3. Computational Statistician (Sampling) You’d work on improving and scaling the MCMC methods (primarily SGLD variants) that underpin both spectroscopy and patterning
Searches related to parallel computing numerical methods
Enter an email to receive alerts for parallel-computing-numerical-methods positions