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.
Joshua Shinavier (Aug 14 2020 at 23:00):The Data Schema team at Uber is looking for a strong hands-on engineer; see the job listing at https://www.uber.com/global/en/careers/list/61853. This team develops and maintains the infrastructure for our 300k+ dataset and Kafka topic schemas. I think the position may appeal to members of this channel, as our schemas are essentially a huge collection of algebraic data types. The data model for our standardized schemas was formalized in terms of category theory, and the software we use for many of our schema transformations is written in Haskell (see https://eng.uber.com/dragon-schema-integration-at-uber-scale). The currently offered position is focused on infrastructure development in Java and Go, although there will be opportunities to contribute to the Haskell code base if that is what you are interested in. Contact me at joshsh@uber.com or apply through the website.