🧑‍💼 Careers

info

Our team is currently complete but you can still contact us.

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