We're tackling exciting technical challenges and building offerings relevant to interesting real-world problems in a variety of fields. We have particular strengths in dispersed computation and deep learning.
We're currently most interested in engineers with solid experience in Haskell, Idris, or even Isabelle. We're also open to those with experience with Rust and/or Clojure, as well as to enthusiastic developers who might lack this precise experience but are eager and able to learn. We also welcome internship/fellowship interest from postdoctoral researchers or senior graduate students.
We do not presently have openings for anyone still working on their undergraduate degree or for fresh graduates.
Send your resume to info@onai.com and we'll let you know if there's a potential fit.