🧑‍💼 Careers

info

Our team is currently complete.

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