Formal Verification Engineer @ Espresso AI
Save up to 70% on Snowflake with Gen AI
Job Details
About Espresso AI
We believe that AI will accelerate compute by 1000x.
Large Language Models are a fundamental breakthrough in AI. For the first time, models can deeply understand code in the same way that human programmers do. We believe that neural optimizers will leapfrog traditional optimization tools and usher in a paradigm shift in computation.
We are a team of elite AI and performance engineers from Google, Apple, and MIT. Starting with data warehousing, we are building the world's first neural optimizer.
Job Description
Extend our formal verification capabilities for code optimization.
About Us
Espresso AI's mission is to use ML to automate performance engineering, starting with data warehouses like Snowflake and Databricks. Today, we're saving our customers up to 70% on their Snowflake bills.
Our team has built cutting edge NLU for Google Search & Siri, written exploits for web browsers, and saved Google staggering sums of money through file-system performance engineering.
We're very early, so you will have a substantial equity stake and the opportunity to significantly impact the trajectory of this company.
Our Product
More and more businesses are adopting data warehouses to manage invaluable data analytics workloads. Unfortunately, the costs of these workloads often grows exponentially over time, with no easy way for users to reduce cost - until now.
Our next-generation, AI-based approach saves our users huge amounts of money.
What We're Looking For
We're looking for exceptionally strong engineers who are driven to deliver customer impact. That can mean improving on the state-of-the-art in deep learning, but much more often it means figuring out why two libraries don't fit together, paying off technical debt, or reaching out to individual users to make their experience amazing.
Requirements
- 3+ years of work experience (senior engineers preferred)
- Ability to work autonomously
- Strong prioritization skills
- Effective communication
- New grads with proven shipping experience will be considered
- Expected to ship meaningful features in first week
Example Projects
Engineers in similar roles have built:
- Consistent distributed systems
- Optimal scheduling algorithms
- High-quality visualizations
- ML orchestration
- Production monitoring systems
- The worst regexes you've ever seen in your life
Nice to Have
Prior experience with:
- Small startups
- Data warehouse cost optimization
- SQL optimization
- Software verification
If your colleagues would describe you as "the best engineer I've ever worked with", we'd love talk to you! You'll fit right in.
Office Location
- Based in Brooklyn, NYC
- In-office work environment
- Relocation assistance available
Benefits
- Competitive salary ($210,000 - $300,000)
- Meaningful equity with employee-friendly terms (early exercise)
- Health, dental, and vision insurance
- 401k with 4% match
- Free salads & gym membership