🧑‍💼 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 work in Paris or remotely.