<div dir="ltr"><div>Muse Dev is a Galois spin-out working to put the rest of Galois out of business by automating their jobs away [1].  By discovering "the right issues at the right time" and presenting to the developer, Muse seeks to bring static code analysis to the world as early in the development cycle as possible.  We're currently working with early adopters to flesh-out the interface and add final must-haves.<br></div><div><br></div><div>Oh, and we are hiring.  If you like all-Haskell backends, have SaaS-related experience, and love build systems then please apply.   We're interested in people with experience and enthusiasm in some of:</div><div><br></div><div>* Haskell development</div><div>* Static analysis</div><div>* Build system interpretation</div><div>* Kubernetes cluster deployment</div><div>* AWS such as EC2, IAM, EKS</div><div>* REST APIs</div><div>* Enterprise system deployment, packaging, and support</div><div><br></div><div>Location: Galois offices in Portland, Oregon or Arlington, Virginia.</div><div>Resumes can be sent to <a href="mailto:careers@muse.dev">careers@muse.dev</a><br></div><div><br></div><div>See Also</div><div><a href="https://muse.dev/careers" target="_blank">https://muse.dev</a></div><div><a href="https://lifeatgalois.com/" target="_blank">https://lifeatgalois.com</a> - We have inherited some culture from Galois but are a separate company.</div><div><br></div><div>[1] Well, anything that can be automated about program analysis.  Don't tell Galois. They'll kick us out of this nice, comfy, office.</div></div>