Program Synthesis Engineer

Summary

Join our team building an innovative AI system for analysts and scientists! We're combining algorithms in novel ways to create capabilities beyond state-of-the-art LLMs. As a strong software engineer, you'll contribute to our program synthesis pipeline, working closely with cutting-edge research in various fields. You'll have the flexibility to choose your focus, whether closer to theoretical work or the production system. Our team operates fully remotely, primarily within the CET timezone. We offer exposure to Bayesian statistics, dynamical systems, and more. Contribute to a groundbreaking project and shape the future of AI!

Requirements

Mathematics, Computer Science, or Statistics advanced degree

Responsibilities

• Define new features or fixes, based on awareness of overall objectives and challenges
• Commit to delivering defined features or fixes end-to-end
• Define implementation strategies
• Leverage the expertise of other team members effectively
• Write design documents for more complex problems
• Write clean and performant code
• Help other team members to deliver on their goals

Preferred Qualifications

• Implementation of program synthesis frameworks
• Implementation and analysis of algorithms
• Production backend software engineering
• Julia, or usage of some more functional or typed languages, e.g. Rust, OCaml, Clojure, C++, or Haskell
• Symbolic computing (graph theory and algebra)
• Profiling and low level performance optimisation