Skip to main content

Careers

If you are knowledgeable in functional programming / theorem provers, or are willing to learn, please contact us. We provide prositions in Paris or remote.