-
, lattice models of statistical physics, conformally invariant random processes, formalization of mathematics (preferably in Lean). The working language of the group is English, and we expect all our team
Enter an email to receive alerts for programming-language-" positions