Senior Software Engineer (Research)

We’re looking for passionate, experienced Software Engineers to become an integral part of our engineering team. The ideal candidate would possess a strong technical background and practical experience in software development, particularly in complex environments where formal methods and program synthesis play a significant role.

In this role, you will collaborate with a small team of talented researchers and engineers on exciting new projects in program synthesis and code transpilation, by blending formal methods and modern deep learning architectures like graph neural networks and large language models. 

Core Responsibilities:

• Work closely with a team of researchers and engineers to support the development of new technologies. This includes designing and testing new software tools, developing algorithms, and implementing prototypes that push the boundaries of what's possible in program synthesis and code transpilation.
...