Software Engineer, Haskell
CircuitHub, Remote +2
Overview
- CircuitHub is primarily built using a combination of Haskell, Nix, and PostgreSQL, deployed to both AWS and bare metal machines. We use a significant amount of open-source technology, and also try and give back where possible (for example, both Rel8 https://github.com/circuithub/rel8 and Fast Downward Haskell bindings https://github.com/circuithub/fast-downward).
- CircuitHub spans a vast problem space. Challenges include computer vision (OpenCV), machine learning (PyTorch), hard optimization problems (Z3/MiniZinc/OR-Tools), and all the normal engineering challenges of building both web-based customer-facing and internal tooling.
- We work on manufacturing execution systems, enterprise resource planning, and robotics. An old video from Haskell Exchange 2019 https://youtu.be/gl2Ze1WmrYY?si=zlFrqALU7DaPfS65&t=282 hints at what we are up to on the robotics side. We have progressed significantly since then!