Formal Verification Expert (Lean) at Cajal

Stream: job postings

[Luke Johnston]

Hi everyone. See below forwarded job posting from my colleague:

*Hi all,

Cajal is currently looking to hire Lean experts to join our team in San Francisco. At Cajal, we are exploring how formal verification in mathematics, particularly through Lean, can provide a foundation for reliable and scalable reasoning in machine intelligence.

For those interested, the full posting is available on our careers page. For a broader overview of the ideas motivating our work, you can also read our company thesis here. Feel free to also get in touch at pedro@cajal.org.

Best,
Pedro*