Senior Software Engineer, Developer AI Research

About this role

In most instances, this position requires in-person interviews as part of the hiring process.

In accordance with Washington state law, we are highlighting our comprehensive benefits package, which is available to all eligible US based employees. Benefits for this role include:

• Health, dental, vision, life, disability insurance
• Retirement Benefits: 401(k) with company match
• Paid Time Off: 20 days of vacation per year, accruing at a rate of 6.15 hours per pay period for the first five years of employment
• Sick Time: 40 hours/year (statutory, where applicable); 5 days/event (discretionary)
• Maternity Leave (Short-Term Disability + Baby Bonding): 28-30 weeks
• Baby Bonding Leave: 18 weeks
• Holidays: 13 paid days per year.

Note: By applying to this position you will have an opportunity to share your preferred working location from the following: New York, NY, USA; Kirkland, WA, USA; San Jose, CA, USA.

### Minimum qualifications:

• Bachelor's degree in Computer Science, Machine Learning, or equivalent practical research experience.
• 5 years of experience with software development in one or more programming languages.
• 3 years of research experience in artificial intelligence, machine learning, or software engineering research (e.g., deep learning, LLMs, program analysis/synthesis).

### Preferred qualifications:

• PhD degree in Computer Science, Machine Learning, or equivalent practical research experience.
• First-author publications in conferences in software engineering (ICSE, FSE, ASE), programming languages (PLDI, POPL), or machine learning/NLP (NeurIPS, ICML, ICLR, ACL, EMNLP).
• Experience with landing deep learning/LLM-based products or platforms.
• Experience with SOTA methods for software verification (e.g., Lean, Dafny) and safe systems programming (e.g., Rust).
• Experience developing accessible technologies.
• Excellent prototyping and engineering skills in a scripting language for conducting experiments and translating...