Dear Colleagues, Symbolica (https://symbolica.ai) is a startup developing new foundational deep learning models for structured reasoning, based on principles of category theory, type theory and functional programming. Specifically, we aim to develop models which manipulate structured data, learn algebraic structure in it, and do so with an interpretable and verifiable logic. To that end, we are developing new mathematical foundations for deep learning http://www.categoricaldeeplearning.com/. We are currently assembling a research and development lab of expert: * category theory; * type theory; and * machine learning researchers, as well as * research software engineers to develop this theory and apply it to code synthesis and theorem proving. We are committed both to fundamental ideas and their implementation in models and software. We are hiring in: * London, U.K. - working out of our office in Shoreditch * Australia and compatible timezones (e.g. Japan) - Remote (fixed hours) Please note: All U.K. and Australia positions are listed as remote and all salaries are quoted in U.S. dollars, since the only locations accepted by Gusto are in the U.S. We are not, however, hiring in the U.S. for these positions. This round of applications will close on the 9th of June 2024. To express your interest in one of these roles please head to https://jobs.gusto.com/boards/symbolica-ai-67195a74-31b4-4052-ba18-e859d4618... and apply by answering a few questions and providing a résumé and cover letter. With very best wishes Professor Dominic Verity Director of Symbolics [Symbolica] Symbolica.ai | dom@symbolica.ai<mailto:dom@symbolica.ai> The book "Elements of ∞-Category Theory" by Emily Riehl and Dom Verity is available now from Cambridge University Press. Our deepest gratitude to CUP for allowing ongoing free access to the preprint version for personal use. You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>