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
Enter an email to receive alerts for parallel-computing-numerical-methods
positions