-
algebras, tensor categories, lattice models of statistical physics, conformally invariant random processes, formalization of mathematics (preferably in Lean). The working language of the group is English
-
20 Dec 2025 Job Information Organisation/Company University of Turku Research Field Computer science » Other Engineering » Computer engineering Mathematics » Algebra Mathematics » Applied
-
20 Dec 2025 Job Information Organisation/Company University of Turku Research Field Computer science » Other Engineering » Computer engineering Mathematics » Algebra Mathematics » Applied
Enter an email to receive alerts for process-algebra-"https:" positions