Research Scientist - Symbolic Reasoning

I am working on a confidential search for a new foundational research team being built in Seattle, directly under one of the most well known and influential figures in modern deep learning and AI.

This is a rare opportunity to join at the formation stage of a new research group working on some of the hardest problems in machine reasoning. The work sits around advanced reasoning systems, program synthesis, search, symbolic methods.

This is not a standard applied ML role, and it is not a role focused on simply scaling existing models. It is much closer to foundational research and research engineering, where you would be building systems, testing ideas, and working directly on the core technical direction of the lab.

The team is looking for exceptional researchers who are excited by hard, open ended problems.

Relevant backgrounds could include program synthesis, automated reasoning, formal methods, compilers, search, theorem proving.

The role is based in Seattle. Relocation is fully covered, they can sponsor visas and their compensation is one of the strongest in the market.

Due to the confidential nature of the search, I can share more detail privately after an initial conversation.

Please apply here or send your resume and any questions to: r.berisha@alexanderchapmanltd.com