Remote (Global) Full-time

PlantingSpace is hiring a Program Synthesis Engineering

About the Role

PlantingSpace is looking for a Program Synthesis Engineer to build the program synthesis pipeline for an AI system designed for analysts and scientists. In this role, you can choose how close to theory or the production system you want to work, gaining exposure to cutting-edge research.

What You'll Do

  • 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.

What We're Looking For

  • A builder at heart: passionate about building things, solving complex problems, and approaching challenges with an entrepreneurial spirit and humility.
  • Results-driven: thrive when taking full ownership of tasks, seeing them through from start to finish, and taking accountability for the results.
  • Growth mindset: intellectually curious, have a critical mind, and seek opportunities to stretch your abilities.
  • A strong collaborator: naturally communicate with clarity and purpose, ensuring your ideas and updates are easily understood.
  • Approaching problems and tasks like a project manager: can break down goals, solve problems systematically, involve others effectively, and document processes well.

Nice to Have

  • 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.

Technical Stack

  • Julia
  • Rust
  • OCaml
  • Clojure
  • C++
  • Haskell

Work Mode

This is a global position.

Required Skills
JuliaRustOCamlClojureC++HaskellProgram SynthesisCompiler DesignFormal MethodsFunctional ProgrammingSystems ProgrammingSoftware Engineering
Invoicing holding you back?

Focus on work, not paperwork

Stop worrying about invoicing, taxes, and compliance. Glopay handles the business setup, you handle the client work. Get paid faster and look professional.

Auto-generated compliant invoices
Built-in expense management
Income reports for tax season
95% of earnings stay with you
Try Glopay free
No credit card needed
About company
PlantingSpace

A technology-focused organization working on innovative research and technological solutions, with a focus on academic and technological expertise.

Visit website
Job Details
Category other
Posted 8 months ago