Skip to main content

🧑‍💼 Careers


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.