Skip to main content

🧑‍💼 Careers

info

We are currently complete in terms of team, but are looking for new customers and may hire more after that.

If you are knowledgeable in functional programming / theorem provers and want to work with us, contact us. We provide positions in Paris or remote.