Skip to main content


Currently full

To due to the number of demands, we are currently concentrating on finding more funding to be able to recruit more.

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