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.
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:
John Baez (Apr 10 2024 at 14:14): John Baez (Apr 10 2024 at 14:15): John Baez (Apr 10 2024 at 14:16): John Baez (Apr 10 2024 at 14:17): John Baez (Apr 10 2024 at 14:19): 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.