"formal methods" Jobs

265 open tech roles matching “formal methods”, taken straight from company career pages — not reposted from other job boards. Most in demand right now: Python, AI/ML, Salesforce. Every listing is re-checked daily and closed roles are removed.

Showing 20 of 265 results

Neko Health

Join Neko Health as a Laboratory Technologist to ensure quality and compliance in clinical testing at our New York clinic lab.

Neko Health New York Published 1 month ago
Stripe

Build strategies to mitigate fraud on Stripe products while collaborating with cross-functional teams.

Stripe LOCATION Published 3 weeks ago
Flexible on stack
Datadog
Datadog Washington, District of Columbia, USA $110k–$120k/yr Published 9 months ago
DualEntry

Join DualEntry as an Enterprise Account Executive to drive complex sales cycles and influence product strategy in a high-growth AI company.

DualEntry New York City $150k–$200k/yr Published 1 month ago
AI-first team
Radiant

Join Radiant as a Supplier Quality Engineer to build a supplier reliability program in the innovative nuclear energy sector.

Radiant El Segundo, CA Published 2 weeks ago
Neuralink

Join Neuralink as a Digital Verification Engineer to impact the future of brain-computer interfaces.

Neuralink South San Francisco, California, United States $131k–$243k/yr Published 1 month ago
Flexible on stack
Anthropic

Join Anthropic as a Research Engineer to advance AI models' silicon design capabilities within a hybrid work environment.

Anthropic San Francisco, CA | New York City, NY $500k–$850k/yr Published 2 months ago
Flexible on stack
SpaceX

Join SpaceX as an EDA Engineer to support and improve IC design environments for cutting-edge satellite technology.

SpaceX Redmond, WA $125k–$175k/yr Published 2 months ago
Flexible on stack
Gong

Join Gong as a Senior Security GRC Lead to architect foundational security and compliance programs in a high-impact role.

Gong Austin | Chicago | New York City | Salt Lake City | San Francisco $121k–$185k/yr Published 2 months ago
AI-first team
LightForce

Serve as the senior technical resource in maintenance operations, providing expertise in troubleshooting and repair of production equipment.

LightForce Onsite in Wilmington, Massachusetts Published 1 month ago
TRM Labs

Join TRM Labs as a Blockchain Intelligence Analyst to lead complex ransomware investigations using blockchain analytics and cyber threat intelligence.

TRM Labs United States Published 3 weeks ago
SpaceX

Join SpaceX as an EDA Engineer to enhance IC design environments for cutting-edge satellite technology.

SpaceX Irvine, CA $125k–$175k/yr Published 2 months ago
Flexible on stack
TRM Labs

Join TRM Labs as a Senior Blockchain Intelligence Analyst to lead complex ransomware investigations using blockchain analytics and cyber threat intelligence.

TRM Labs United States Published 2 months ago
Datadog
Datadog Maryland, USA, Remote; Virginia, USA, Remote $110k–$120k/yr Published 9 months ago
Coreweave

Lead the development of leadership programs at CoreWeave, shaping a strong leadership culture in a rapidly growing AI infrastructure company.

Coreweave Livingston, NJ / New York, NY $149k–$198k/yr Published 1 month ago
Datadog

Lead complex, global programs to enhance Sales and Customer Success effectiveness at Datadog.

Datadog New York, New York, USA $116k–$170k/yr Published 1 month ago
SpaceX

Join SpaceX as an ASIC/SOC DFT Engineer to develop cutting-edge ASICs for the Starlink network, enabling global connectivity.

SpaceX Palo Alto, CA $135k–$175k/yr Published 1 month ago
Flexible on stack
SpaceX

Join SpaceX as an ASIC/SOC DFT Engineer to develop cutting-edge ASICs for the Starlink network.

SpaceX Austin, TX Published 1 month ago
Flexible on stack
Flexport

Join Flexport as a Forward Deployed Consultant to optimize global supply chains using advanced data analytics and technical expertise.

Flexport San Francisco, California, United States $120k–$144k/yr Published 1 month ago
Flexible on stack
Dust

Join Dust as an EU Revenue Operations professional to drive growth towards $100M in ARR in a fast-paced startup environment.

Dust Paris €50k–€80k/yr Published 2 months ago
Flexible on stack