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.
Ryan Wisnesky (Apr 17 2024 at 18:23):Conexus AI, a venture backed data integration start-up commercializing functorial data migration in the sense of category theorist David Spivak, is looking to hire functional programmers for several upcoming projects (spring/summer). Particularly desired backgrounds include:
experience with Haskell parsec
experience implementing data oriented systems at scale, e.g., indexing, pipelining, vectorizing, magic sets algorithms, chase algorithms, join algorithms, etc
experience with formal verification, e.g., Coq, Hoare Logic, type inference, model checking, automated theorem proving, etc
UK citizenship, US citizenship, or Saudi citizenship
Because our core technology IP is specified categorically, using co-presheaves and adjoint functors, a background in category theory is also a plus; type theory and formal methods also pervade our technology as implementation techniques. Although these are not research positions per se - they are programming positions - we do a lot of applied research out of necessity and employees are encouraged to publish. Our team of functional programmers and mathematicians spans from San Francisco to Dubai and is remote friendly.
Interested applicants should contact Ryan Wisnesky, ryan@conexus.com
https://conexus.com (company info)
https://categoricaldata.net (technology info)
https://wisnesky.net (my info)