Let’s get started
By clicking ‘Next’, I agree to the Terms of Service
and Privacy Policy
Jobs / Job page
Program Synthesis Engineer image - Rise Careers
Job details

Program Synthesis Engineer

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. We envision applications supporting and automating analysis and research in domains such as Finance, Strategy Consulting, Engineering, Material Sciences, and more.


We are looking for strong software engineers to build our program synthesis pipeline. You will be able to choose how close to theory or the production system you want to work, and be exposed to cutting edge research in Bayesian statistics, dynamical systems, information theory, category theory, and more. 


Our team works fully remotely, and mostly within the CET timezone.


Useful experience
  • 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
  • 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


On our website you can find more about our team and work culture, as well as example tasks that share some insight into the type of things team members are working on.


What we do: https://planting.space/ Ways of work: https://planting.space/org/ Team culture and example tasks: https://planting.space/joinus/ 

Average salary estimate

$125000 / YEARLY (est.)
min
max
$100000K
$150000K

If an employer mentions a salary or salary range on their job, we display it as an "Employer Estimate". If a job has no salary data, Rise displays an estimate if available.

What You Should Know About Program Synthesis Engineer, PlantingSpace

At Planting Space, we are seeking a dynamic and innovative Program Synthesis Engineer to join our remote team. As a key player in our mission to revolutionize the world of AI, you'll be involved in creating a groundbreaking system designed for analysts and scientists. We are taking artificial intelligence beyond state-of-the-art large language models by employing a unique approach to reasoning and knowledge representation. Imagine building a multi-step analytical engine that not only performs complex tasks but also presents a clear, verifiable reasoning pathway. Your work will help shape applications across various fields like Finance, Engineering, and Material Sciences. With an emphasis on cutting-edge research in Bayesian statistics, information theory, and more, this role offers you the opportunity to work closely with theory and production-level systems. Your responsibilities will include defining features based on team goals, writing performant code, and mentoring your peers. With a completely remote setup mostly aligning to the CET timezone, our team values collaboration and support. If you're well-versed in implementing program synthesis frameworks, backend software engineering, and possess an advanced degree in Mathematics, Computer Science, or Statistics, we would love for you to bring your expertise to Planting Space and contribute to exciting projects that truly matter.

Frequently Asked Questions (FAQs) for Program Synthesis Engineer Role at PlantingSpace
What are the main responsibilities of a Program Synthesis Engineer at Planting Space?

As a Program Synthesis Engineer at Planting Space, your main responsibilities will encompass defining new features based on project objectives, delivering end-to-end solutions, designing implementation strategies, writing clean code, and producing design documents for complex problems, all while working collaboratively with your team.

Join Rise to see the full answer
What qualifications do I need to apply for the Program Synthesis Engineer position at Planting Space?

To be considered for the Program Synthesis Engineer role at Planting Space, candidates should have an advanced degree in Mathematics, Computer Science, or Statistics, along with experience in software engineering, symbolic computing, and implementing program synthesis frameworks. Familiarity with functional languages like Julia, Rust, and Clojure is also beneficial.

Join Rise to see the full answer
How does the remote work setup for the Program Synthesis Engineer at Planting Space look like?

The Program Synthesis Engineer position at Planting Space is completely remote, working mostly within the CET timezone. This enables flexibility while ensuring collaboration and communication with team members, all of whom share a commitment to driving innovative solutions.

Join Rise to see the full answer
What technologies should a Program Synthesis Engineer at Planting Space be familiar with?

Candidates for the Program Synthesis Engineer role at Planting Space should be familiar with various technologies, including but not limited to program synthesis frameworks, backend software engineering, and programming languages like Julia, Rust, OCaml, and others. Experience with graph theory and low-level performance optimization is highly valued.

Join Rise to see the full answer
What is the team culture like for a Program Synthesis Engineer at Planting Space?

At Planting Space, the team culture is centered around innovation, mutual support, and collaboration. As a Program Synthesis Engineer, you'll be part of an environment that encourages the sharing of expertise, creativity, and continuous learning, making it an exciting place to advance your career.

Join Rise to see the full answer
Common Interview Questions for Program Synthesis Engineer
Can you explain your experience with implementing program synthesis frameworks?

When answering this question, detail specific projects where you've successfully implemented program synthesis frameworks, focusing on the challenges you faced and how you overcame them. Be sure to emphasize your problem-solving skills and the impact of your contributions.

Join Rise to see the full answer
What programming languages are you most comfortable with, and why?

Discuss your familiarity with relevant programming languages such as Julia, Rust, or Haskell. Highlight your experience in projects where these languages were pivotal, showcasing your versatility and any unique features that align with the role at Planting Space.

Join Rise to see the full answer
How do you approach writing clean and performant code?

In your response, provide a structured approach you take to ensure code quality, such as adhering to coding standards, conducting code reviews, and using profiling tools for performance optimization. Share examples of how these practices have led to successful project outcomes.

Join Rise to see the full answer
Describe a time when you had to collaborate with a team to deliver a project.

Use the STAR method to describe a specific project where teamwork was essential. Focus on your role, how you interacted with team members, and how your collaboration led to a positive outcome. Emphasize the skills you used to facilitate communication and cooperation.

Join Rise to see the full answer
What strategies do you employ for defining implementation strategies?

Discuss how you assess project requirements and break them down into actionable implementation strategies. Highlight your organizational skills and any frameworks or methodologies you utilize, such as Agile or Scrum, to ensure efficient project delivery.

Join Rise to see the full answer
Can you give an example of your experience with symbolic computing?

Share a specific instance where you applied symbolic computing in a project, outlining its significance and impact on solving complex problems. Detail the tools or techniques you used and how they contributed to your understanding of the domain.

Join Rise to see the full answer
How do you handle uncertainty in your analyses?

Explain your understanding of uncertainty in decision-making and analysis, discussing specific methodologies you employ, such as Bayesian statistics. Use examples to illustrate how you’ve navigated uncertainty in past projects.

Join Rise to see the full answer
What is your experience with performance optimization?

Provide concrete examples of past work where performance optimization was necessary. Discuss techniques you’ve utilized, such as profiling, memory management, or concurrency improvements, and how they affected the overall performance of the system.

Join Rise to see the full answer
How do you ensure that you stay updated with advancements in AI and relevant technologies?

Discuss your dedication to continuous learning in AI by mentioning resources you follow, such as journals, online courses, or conferences. Highlight specific advancements that have influenced your work and how you've applied new knowledge to your projects.

Join Rise to see the full answer
Why do you want to work as a Program Synthesis Engineer at Planting Space?

Articulate your passion for AI and the mission of Planting Space, connecting your skills and experiences to the responsibilities of the Program Synthesis Engineer role. Express how the company's focus on innovation aligns with your career goals and values.

Join Rise to see the full answer
Similar Jobs
Posted 11 days ago
Photo of the Rise User
Posted 16 hours ago
Timmons Group Hybrid 610 E Morehead St, Charlotte, NC 28202, USA
Posted 15 hours ago
Photo of the Rise User
M9 Solutions Remote Remote - Local to NJ, MD, DC, or CA
Posted 7 days ago
Photo of the Rise User
Posted 6 days ago
Photo of the Rise User
Posted 4 days ago
MATCH
Calculating your matching score...
FUNDING
DEPARTMENTS
SENIORITY LEVEL REQUIREMENT
TEAM SIZE
No info
LOCATION
No info
EMPLOYMENT TYPE
Full-time, remote
DATE POSTED
January 10, 2025

Subscribe to Rise newsletter

Risa star 🔮 Hi, I'm Risa! Your AI
Career Copilot
Want to see a list of jobs tailored to
you, just ask me below!