Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: community: positions

Topic: Symbolica

John Baez (Apr 10 2024 at 14:09):

Symbolica is trying to develop a new approach to AI with the help of category theory. They now have openings for a number of people who know category theory - see here for job listings.

They write:

At Symbolica, we are building deep learning models which perform structured reasoning: 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: categorical deep learning. We are now assembling a R&D lab of expert category theory and machine learning researchers to develop this theory and apply it to the problems of code synthesis and theorem proving. We are committed to fundamental ideas, but also their execution in practice.

John Baez (Apr 10 2024 at 14:11):

Here are some of the positions - there are more detailed descriptions at the links:

• Principal Category Theory Scientist - UK - Categorical Deep Learning - $165,000 - $230,000 per year.

John Baez (Apr 10 2024 at 14:14):

• Senior Category Theory Scientist - UK - Categorical Deep Learning - $115,000 - $140,000 per year.

John Baez (Apr 10 2024 at 14:15):

• Category Theory Scientist - UK - Categorical Deep Learning - $75,000 - $100,000 per year.

John Baez (Apr 10 2024 at 14:16):

• Category Theory Scientist - AUS - Categorical Deep Learning - $90,000 - $110,000 per year.

John Baez (Apr 10 2024 at 14:17):

• Principal Category Theory Scientist - AUS - Categorical Deep Learning - $150,000 - $220,000 per year.

John Baez (Apr 10 2024 at 14:19):

• Senior Category Theory Scientist - AUS - Categorical Deep Learning - $115,000 - $140,000 per year.

John Baez (Apr 10 2024 at 14:20):

There are other positions that have "machine learning" rather than "category theory" in the job title.

Bruno Gavranović (Apr 10 2024 at 14:45):

I've posted more information about Symbolica here

If you're interested in applying - but unsure about anything in particular - please do feel free to reach out to me for more information.

John Baez (May 25 2024 at 13:14):

Today on the category theory mailing list I learned that Dominic Verity at Macquarie is "director of symbolics" at the Symbolica!

Bruno Gavranović (May 26 2024 at 08:37):

Indeed, we're very excited to have Dom on! See a mirror of Dom's email here, from which I want to emphasise that we've set the closing date for all applications: June 9th.

Additionally, Symbolica is also hiring two research interns in our London office. Do have a look at the job ads, and feel free to reach out with any questions.