Program Synthesis Engineering - Remote

Overview

We are building an AI system for analysts and scientists, based on a fundamentally new approach to reasoning and knowledge representation. We go beyond state-of-the-art LLMs by combining algorithms in symbolic ways, to provide novel capabilities like performing multi-step analysis, displaying a verifiable reasoning path, and assessing uncertainty.

In Short

• Building a program synthesis pipeline for an AI system.
• Work with cutting-edge research in various advanced fields.
• Implementation of program synthesis frameworks.
• Production backend software engineering.
• Utilize languages like Julia, Rust, OCaml, Clojure, C++, or Haskell.
• Focus on symbolic computing and performance optimization.
• Define new features or fixes based on overall objectives.
• Write clean and performant code.
• Collaborate effectively with team members.
• Work fully remotely within the CET timezone.

Requirements

• Strong software engineering skills.
• Experience with algorithms and program synthesis.
• Advanced degree in Mathematics, Computer Science, or Statistics.
• Familiarity with functional or typed programming languages.
• Knowledge of graph theory and algebra.
• Ability to write design documents for complex problems.
• Commitment to delivering features end-to-end.
• Experience in profiling and low-level performance optimization.
• Ability to leverage team expertise effectively.
• Strong problem-solving skills.

Benefits

• Work in a fully remote environment.
• Exposure to cutting-edge research.
• Collaborative team culture.
• Flexible work hours within CET timezone.
• Opportunity to work on innovative AI applications.