Full-time: Singapore Lean Metaprogramming

Stream: job postings

[Jan Idziak]

Hi all, 

I am Jan from Blue Raven AI, we are working on a foundational AI architecture that can autonomously discover new knowledge powered by formally verified logical reasoning.

Join Our Team!

We are currently looking for a Senior Functional Programming Engineer with the following skills:

• Proficiency in Lean:  formalising and metaprogramming.
• ATP Systems: Experience with automatic theorem proving systems like Coq, Isabelle, Agda, or SMT solvers like Z3 or cvc5.
• Formal Verification: Hands-on experience in formal verification applications.
• Type Theory: Understanding of dependent type theory

If you like focusing on technical implementation and solving hard problems not many people worked on before our team would be great fit for you. 

This is a full-time position based in Singapore. 

If you have any questions, please feel free or reach me on Zulip or apply at: join@blueravenai.com