We are currently looking for researchers to join our founding team. If you have expertise in programming language theory, group theory, graph theory, geometric deep learning, term rewriting, or experience with theorem proving please don't hesitate to DM!
