<div dir="ltr"><p style="color:rgb(0,0,0)">Dear Colleagues,</p><p style="color:rgb(0,0,0)">Symbolica (<a href="https://urldefense.com/v3/__https://symbolica.ai/__;!!IBzWLUs!SMtDtj1SkcR78rcwwjMr9qRIDHdiDUfdFjG5gHqxpDqSL_qCoK3TJJSemYmRZBTAf1swcU1Cz2hqkdw9NJ0wNHlFO6rD0g$">https://symbolica.ai</a>) is a startup developing new foundational deep learning models for<span class="gmail-Apple-converted-space"> </span><em>structured reasoning</em>, 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<span class="gmail-Apple-converted-space"> </span><a href="https://urldefense.com/v3/__http://www.categoricaldeeplearning.com/__;!!IBzWLUs!SMtDtj1SkcR78rcwwjMr9qRIDHdiDUfdFjG5gHqxpDqSL_qCoK3TJJSemYmRZBTAf1swcU1Cz2hqkdw9NJ0wNHlmVSx_6A$">http://www.categoricaldeeplearning.com/</a>.</p><p style="color:rgb(0,0,0)">We are currently assembling a research and development lab of expert:</p><ul style="color:rgb(0,0,0)"><li>category theory;</li><li>type theory; and</li><li>machine learning researchers, as well as</li><li>research software engineers</li></ul><p style="color:rgb(0,0,0)">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.</p><p style="color:rgb(0,0,0)">We are hiring in:</p><ul style="color:rgb(0,0,0)"><li>London, U.K. - working out of our office in Shoreditch</li><li>Australia and compatible timezones (e.g. Japan) - Remote (fixed hours)</li></ul><p style="color:rgb(0,0,0)"><strong>Please note:</strong><span class="gmail-Apple-converted-space"> </span>All U.K. and Australia positions are listed as<span class="gmail-Apple-converted-space"> </span><strong>remote</strong><span class="gmail-Apple-converted-space"> </span>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.</p><p style="color:rgb(0,0,0)">This round of applications will close on the<span class="gmail-Apple-converted-space"> </span><strong>9th of June 2024</strong>. To express your interest in one of these roles please head to<span class="gmail-Apple-converted-space"> </span><a href="https://urldefense.com/v3/__https://jobs.gusto.com/boards/symbolica-ai-67195a74-31b4-4052-ba18-e859d461808c__;!!IBzWLUs!SMtDtj1SkcR78rcwwjMr9qRIDHdiDUfdFjG5gHqxpDqSL_qCoK3TJJSemYmRZBTAf1swcU1Cz2hqkdw9NJ0wNHmXoezWjw$">https://jobs.gusto.com/boards/symbolica-ai-67195a74-31b4-4052-ba18-e859d461808c</a><span class="gmail-Apple-converted-space"> </span>and apply by answering a few questions and providing a résumé and cover letter.</p><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div style="color:rgb(0,0,0);margin-top:14pt;margin-bottom:0px;font-size:10pt;font-family:arial,helvetica,sans-serif,serif"><div style="margin-top:14pt;margin-bottom:0px;font-size:10pt"><div style="margin-top:14pt;margin-bottom:0px;font-size:10pt"><div style="margin-top:10pt;margin-bottom:0px;font-size:10pt"><div style="margin-top:10pt;margin-bottom:0px;font-size:10pt"><div style="margin-top:10pt;margin-bottom:0px;font-size:10pt"><div style="margin-top:10pt;margin-bottom:0px;font-size:10pt"><div style="margin-top:10pt;margin-bottom:0px;font-size:10pt"><div style="margin-top:10pt;margin-bottom:0px;font-size:10pt"><div style="margin-top:10pt;margin-bottom:0px;font-size:10pt"><p><strong><a href="https://urldefense.com/v3/__https://dom-verity.github.io/__;!!IBzWLUs!SMtDtj1SkcR78rcwwjMr9qRIDHdiDUfdFjG5gHqxpDqSL_qCoK3TJJSemYmRZBTAf1swcU1Cz2hqkdw9NJ0wNHk9jmMsAA$" target="_blank">Professor Dominic Verity</a></strong><br>Director of Symbolics<br></p></div><div style="margin-top:10pt;margin-bottom:0px"><p><a href="https://urldefense.com/v3/__https://www.symbolica.ai/__;!!IBzWLUs!SMtDtj1SkcR78rcwwjMr9qRIDHdiDUfdFjG5gHqxpDqSL_qCoK3TJJSemYmRZBTAf1swcU1Cz2hqkdw9NJ0wNHnRFZ6ASA$" target="_blank"><img src="https://dom-verity.github.io/images/Symbolica.jpeg" alt="Symbolica"></a></p></div><div style="margin-bottom:0px;font-size:10pt"><p>Symbolica.ai | <a href="mailto:dom@symbolica.ai" target="_blank">dom@symbolica.ai</a></p></div><div style="margin-top:10pt;margin-bottom:0px;font-size:10pt;max-width:400pt"><p>The book <a href="https://urldefense.com/v3/__https://www.cambridge.org/core/books/elements-of-category-theory/DAC48C449AB8C2C1B1E528A49D27FC6D__;!!IBzWLUs!SMtDtj1SkcR78rcwwjMr9qRIDHdiDUfdFjG5gHqxpDqSL_qCoK3TJJSemYmRZBTAf1swcU1Cz2hqkdw9NJ0wNHkUJe7oVg$" target="_blank">"Elements of ∞-Category Theory"</a> 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 <a href="https://urldefense.com/v3/__https://elements-book.github.io/elements.pdf__;!!IBzWLUs!SMtDtj1SkcR78rcwwjMr9qRIDHdiDUfdFjG5gHqxpDqSL_qCoK3TJJSemYmRZBTAf1swcU1Cz2hqkdw9NJ0wNHm91KXMUg$" target="_blank">preprint version</a> for personal use.</p></div></div></div></div></div></div></div></div></div></div></div></div></div></div>