ML Research Scientist

About the role

We’re building products to make the future of software correct, understandable, and secure. Right now, AI has raised the floor on software engineering. We’re building for the world where it raises the ceiling.

Responsibilities

• Write software correctness feedback that scales with complexity and volume of code, ensuring software is provably safe and reliable.
• Create interfaces for navigating complex implementations of simple specifications to help users find bugs, generate design documentation, and implement non-functional requirements using compiler-level reasoning methods.
• Pick projects that are a few orders of magnitude bigger, faster, or harder than state-of-the-art solutions.
• Have the courage to try out new ideas before everyone else does.
• Be helpful to your colleagues, whether through pair-debugging, teaching, or simply picking up the slack on mundane tasks.
• Delve deeply into understanding how and why things work.
• Be skilled at solving last-mile problems.

Qualifications

• 3+ years of experience in software engineering or related fields.
• Strong background in machine learning and programming languages.
• Experience with formal methods and program verification.
• Ability to work independently and as part of a team.
• Passion for making software more secure and reliable.

Benefits

• Compensation: $300,000-500,000 with generous equity.
• Opportunities to work on cutting-edge AI and programming language research.
• A supportive and collaborative work environment.
• Access to a network of leading companies and researchers.

Schedule

Full-time.

Pay

$300,000-500,000 with generous equity.

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits

• Flexible working hours
• Professional development opportunities
• Health insurance
• Retirement plans
• Employee discounts

Skills

• Machine learning
• Programming languages
• Formal methods
• Software engineering
• Collaboration
• Problem-solving

Benefits