AI and Program Synthesis Engineer

Job Summary:

We are seeking an AI and Natural Language Processing Engineer with a background in formal program synthesis to advance our novel method of Generative AI. In this role, you will have the opportunity to work closely with bleeding edge concepts and algorithms in scientific computing and Physics-Informed Machine Learning, and reimagine how these impact engineering workflows. The ideal candidate is highly motivated, proficient across modern ML/AI frameworks, and experienced delivering production code.

Location: Greater Boston-Providence, RI Preferred

We are seeking a candidate preferably based in the greater Boston area willing to commute periodically to Providence, the location of our core operations, other developers and facilities. However, exceptional candidates located elsewhere will also be considered.

Responsibilities:

• Lead the development of our next-generation GenAI and program synthesis engine.
• Responsible for the architecture of reasoning, user interaction, and LLM augmentation strategies.
• Work closely with applied scientists to integrate new SciML capabilities into our product.
• Implement verification methods for the AI-generated programs
• Guide algorithm architecture to meet key product requirements and use cases
• Stay current with research and literature on program synthesis and symbolic reasoning
• Conceptualize development projects to improve the performance and functionality of our generative technology

Qualifications:

Essential

• Masters degree or higher in Computer Science, Electrical Engineering, Linguistics, or related field
• 8+ years in software engineering; experience shipping commercial software
• 6+ years in ML, AI and Natural Language Processing
• 3+ years in the practice of formal program synthesis and/or symbolic reasoning
• Proficiency in Python, along with JAX, PyTorch, and/or TensorFlow
• Highly skilled architecting and implementing complex AI workflows, using all modern methods of retrieval, augmentation, and reasoning.
• Strong ability to envision proper abstractions for modular and reusable code.
• Experience in agile software development environments

Preferred

• Experience applying AI, ML, and program synthesis methods in data-sparse domains
• Experience building tools for code generation
• Experience working with science and engineering problems
• Experience with Azure DevOps and ML environments
• Experience with MLOps

Job Type: Full-time

Pay: $125,000.00 - $145,000.00 per year

Benefits:

• Dental insurance
• Health insurance

Application Question(s):

• Describe an LLM application you have worked on which required very accurate and deterministic outputs. Did you apply any formal methodologies? If so, please cite.
• Do you have any papers in the field of program synthesis or symbolic reasoning?

Experience:

• JAX, PyTorch, and/or Tensorflow: 4 years (Preferred)
• Natural language processing: 3 years (Preferred)
• production software: 4 years (Preferred)

Work Location: Remote