The job would involve developing and maintaining a CI pipeline that integrates multiple technologies including C++, Coq, and Ocaml. Build times and reliability are crucial considerations. In addition, we would also like to improve developer productivity through a stable environment.
NOTE Nix is not a decided upon component in the solution at this point, if we hire you, you get to drive that decision.
Boston, DC, Berlin, and Munich are possible locations.
Official posting is here: https://bedrocksystems.com/careers/devops-build-release-engineer/