<p>Extend our formal verification capabilities for code optimization.</p>

(Engineering)

Software Engineering

New York, NY, USA

Generative AI for Query Optimization: Save up to 40% on your Snowflake bill with faster queries!

Espresso AI

Formal Verification Engineer

Nonprofit representing New York City technology companies and
innovation-friendly policies.

Tech:NYC Inc.

Tech:NYC

Build your future in the capital of everything. <br> Obviously New York.

Tell us about your professional DNA to get discovered by any company in our network with opportunities relevant to your career goals.

Leverage our network to build your career.

#### Welcome!

Thank you for joining Tech:NYC Network!

To help us best support you in your search, please take a few minutes to tell us about what you are looking for in your next role. We’ll use this information to connect you to relevant opportunities in the Tech:NYC network as they come up.

You can always update this information later.

Welcome to the Tech:NYC talent network

As our companies grow, they look to us to help them find the best talent.

Signal that you'd be interested in working with a Tech:NYC company to help us put the right opportunities at great companies on your radar. The choice to pursue a new career move is then up to you.

The #1 Source for In-Person NYC Tech Jobs

Formal Verification Engineer

The #1 Source for
In-Person NYC Tech Jobs