Research Positions in Program Synthesis at Ndea

[Céline Hocquette]

Hi all,

I’m writing to share a couple of research opportunities at Ndea, an AI research company focused on advancing symbolic program synthesis.

Our goal is to combine logic-based reasoning with guided search to build program scalable program synthesis systems. We work on ARC (the Abstraction and Reasoning Corpus), a benchmark designed to measure progress toward human-like general intelligence. Ultimately, our long-term goal is to push toward automated scientific discovery.

We are currently looking for researchers in program synthesis:

- Deep learning guided search for program synthesis: https://ndea.com/jobs/search-guidance

- Symbolic reasoning expert: https://ndea.com/jobs/symbolic-reasoning

We are especially interested in candidates with strong backgrounds in logic, reasoning, formal methods, or related areas who are excited about bridging symbolic and neural approaches.

Please feel free to reach out if you’d like more information, I’d be very happy to discuss further.

Best regards,

Céline Hocquette