Program Synthesis Engineer

About PlantingSpace: PlantingSpace is building an innovative AI system for analysts and scientists based on a fundamentally new approach to reasoning and knowledge representation. Our approach differs from traditional LLMs by composing algorithms symbolically to represent complex knowledge and performing probabilistic computations. This enables verifiable reasoning paths and uncertainty assessments for AI-driven applications. We develop solutions for domains like Finance, Strategy Consulting, Engineering, and Material Sciences. As a fully remote company with quarterly meet-ups across Europe, we value collaboration, curiosity, and outcomes over location. Team members work across 14 countries, contributing to a diverse and inclusive environment where everyone can become a shareholder from day one.

Key Responsibilities:
* Design and implement program synthesis techniques that leverage symbolic reasoning and probabilistic computation
* Collaborate with researchers to translate theoretical findings into practical algorithms
* Optimize the performance and scalability of our synthesis algorithms
* Integrate your work into our core system, ensuring it meets our high standards of reliability and efficiency
* Mentor junior engineers and contribute to a culture of innovation and collaboration
* Stay at the forefront of advancements in program synthesis, symbolic AI, and related fields

Required Skills and Ideal Candidate:
* Proven experience in program synthesis, symbolic AI, and probabilistic computation
* Deep expertise in languages that support metaprogramming (especially Julia)
* Strong skills in designing and analyzing algorithms with a focus on correctness and efficiency
* Experience implementing complex systems with clean, robust code
* Ability to reason about data structures and algorithms at an advanced level
* Track record of working in agile environments and delivering high-quality code
* Excellent communication skills to collaborate effectively with researchers and engineers

Compensation: The estimated pay range for this role is $140,000 - $200,000, with equity options available.