Jonathan Gorard
Co-founder & CEO
Applied mathematician: responsible for orchestrating Lanyon's overarching R&D mission, and for the design of all formal, symbolic, and mathematical aspects.
01 / Company
About the
Lanyon Team
Lanyon AI was founded by leading mathematicians and physicists, united by a deep-seated intellectual curiosity. We are always seeking exceptional researchers who share our passion for building the future of scientific AI.
Our foundation
Math ∩ Physics ∩ AI
Our work builds upon many decades of pioneering research by our founding team, spanning automatic code-generation, automated theorem-proving, scientific AI, and the computational foundations of physics.
Now, as AI promises to revolutionize the nature of computation, we are working tirelessly to build the formally verified substrate that will unify the computational and physical universes into a single coherent reality.
Founding team
Ammar Hakim
Co-founder & CTO
Algorithm alchemist: responsible for the design and implementation of all of Lanyon's key numerical and computational algorithms.
Jimmy Juno
Co-founder & Chief Scientist
Computational physicist: responsible for closing the gap between mathematical and algorithmic implementation and production scientific problems.
Who we're looking for
Research Scientists
We are seeking outstanding researchers in the fields of applied mathematics, formal verification, computational physics, and artificial intelligence, to help us push the frontiers of what is possible in scientific and technical AI.
Research Engineers
We are seeking exceptional software engineers and applied researchers, to help us build the next generation of research tooling and AI infrastructure for a diverse array of scientific and engineering applications.