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.
Christian Williams (Apr 12 2020 at 21:05):I'm in a professional development course, and I volunteered to find (mathematical) programming jobs/opportunities. Does anyone have suggestions of how to look for these?
Mike Stay (Apr 13 2020 at 22:18):Well, there are roles like data scientist and quantitative analyst where the math is part of the job description.
Blake Pollard (Apr 15 2020 at 13:27):Functional programming and formal methods are two more specialized areas of 'mathematical programming,' but I gather to find those jobs it is more about knowing specifically which companies to look at:
Draper, Galois, Statebox, Sunshine Cybernetics etc. Perhaps there is a good aggregate or just searching those terms on some of those jobs sties. Mike probably knows his way around the blockchain/smart contracts land.
Christian Williams (Apr 15 2020 at 21:38):https://galois.com/ That's a nice front page. @Blake Pollard do you know people there?
Christian Williams (Apr 15 2020 at 21:45):For Sunshine Cybernetics, their proof language Formality seems to have an associated diagram calculus. https://github.com/moonad/Formality Or maybe it's just a gif. Anyone know about this language/company?
Johannes Drever (Apr 15 2020 at 21:59):Formality posted a telegram group on reddit the other day: https://t.me/formality_lang
Blake Pollard (Apr 16 2020 at 00:47):Christian Williams said:
https://galois.com/ That's a nice front page. Blake Pollard do you know people there?
I don't know anyone there personally. They have an office in Virginia, just across the Potomac from DC. I think some folks from there or who formerly worked there expressed interest in the AACT workshop, pre-COVID. I'll poke through my emails.