categories - Category Theory list
 help / color / mirror / Atom feed
* Category Theory / Machine Learning / Software Engineering research posts at Symbolica
@ 2024-05-25 12:26 Dominic Verity
  0 siblings, 0 replies; only message in thread
From: Dominic Verity @ 2024-05-25 12:26 UTC (permalink / raw)
  To: categories

[-- Attachment #1: Type: text/plain, Size: 3183 bytes --]

Dear Colleagues,

Symbolica (<>) 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<>.

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<> 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]<> |<>

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<>   |   Leave group<>   |   Learn more about Microsoft 365 Groups<>

[-- Attachment #2: Type: text/html, Size: 7274 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2024-05-25 12:40 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-05-25 12:26 Category Theory / Machine Learning / Software Engineering research posts at Symbolica Dominic Verity

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).