Senior Formal Methods Engineer AI/Verification, Equity

Atalanta

Atalanta is seeking a Formal Methods Engineer in Washington, DC, to architect a mathematical reasoning engine for Argo. This role involves leading core reasoning capabilities, collaborating with engineers to apply formal methods, and ensuring rigorous proofs for operational outcomes. The ideal candidate has deep expertise in formal methods, experience with AI models, and a PhD in a related field. The role offers a competitive salary and significant equity, alongside comprehensive health benefits. #J-18808-Ljbffr

Apply

Vacancy posted 3 days ago

Similar jobs that could be interesting for youBased on the Senior Formal Methods Engineer AI/Verification, Equity in Washington DC vacancy

Formal Methods Engineer
$225k - $275k
...About the Role As a Formal Methods Engineer at Atalanta you will help architect... ...reasoning, and system verification. Hands‑on experience with... ...systems. Experience applying AI models and techniques to... ...also receive a significant equity grant, commensurate with...
Employment Equity
Atalanta
Washington DC
4 days ago
Process Engineering Senior
$166k - $220k
...powered by Lattice OS, an AI-powered operating system that... ...JOBWe are looking for a Senior Signal Processing Engineer to join our rapidly... ...management, trade studies, and verification/validationExperience with... ...considerations. Highly competitive equity grants are included in the...
Employment Equity
Senior
Full time
Work experience placement
Immediate start
Anduril Industries
Washington DC
4 days ago
Senior Software Engineer, Attestation Services - DGX Cloud
$224k - $356.5k
...transforming how the world uses AI, cloud, and accelerated... ...artifacts, trust bundles, offline verification, and customer-managed resilience... ...-facing cloud services with formal SLOs, error budgets, safe deployment... ...You will also be eligible for equity and benefits.Applications for...
Employment Equity
Senior
Full time
Remote work
Nvidia
Washington DC
8 days ago
Senior ASIC Design Verification Engineer
$170k - $250k
...different class of spacecraft. Engineered to survive the harshest... ...We are seeking a Senior ASIC Design Verification Engineer whose role will be... ...Assertions (SVA) and integrate formal verification where appropriate... ...is $170,000 – $250,000 + equity in the company Salary...
Employment Equity
Senior
Permanent employment
Shift work
K2 Space
Washington DC
a month ago
Senior Staff Software Engineer, Autonomous Pilot Integration - Emerging Domains (R5398)
...Description Shield AI is a venture-... ...new platforms. Our engineers write new autonomy... ...Support – Provide senior technical leadership... ...direction without formal authority. ~... ...Bonus + Benefits + Equity Temporary employee... ...or verification signals in application...
Employment Equity
Senior
Full time
Temporary work
Part time
Work at office
Worldwide
Shift work
Shield AI
Washington DC
7 days ago
PhD: Formal Methods & Software Assurance Engineer
...The Johns Hopkins University Applied Physics Laboratory (APL) seeks a Software Assurance/Formal Methods Developer to advance formal verification and software assurance for national security systems. You will collaborate with researchers to create and apply formal methods...
Johns Hopkins Applied Physics Lab
Laurel, MD
1 day ago
Senior Signal Processing Engineer
$180k - $270k
...Arlington, VA or San Diego, CA) currently has an opening for a Senior Signal Processing Engineer.As an EW Senior Signal Processing Engineer, you will be... ..., knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining...
Employment Equity
Senior
Full time
Immediate start
Flexible hours
Leidos
Arlington, VA
21 hours ago
Process Engineering Senior
$180k - $230k
...from leading investors, including 8VC, Accel, and Valor Equity Partners. The company is headquartered in Los Angeles,... ...: We are seeking a proactive and detail-oriented Senior RF Signal Processing Software Engineer to contribute to the successful development of our electromagnetic...
Employment Equity
Senior
Work experience placement
Casual work
Relocation package
3 days per week
Chaos Industries
Washington DC
2 days ago
Senior AI Platform Engineer
$107.9k - $195.05k
Leidos is seeking a Senior AI Platform Engineer to join our DCSB Artificial Intelligence & Agent Development... ...supporting a system through formal security accreditation/RMF, including... ...skills, and abilities, as well as internal equity, alignment with market data, applicable...
Employment Equity
Senior
Full time
Remote work
Leidos
Hyattsville, MD
3 days ago
Senior Research Scientist, Superconducting Digital Electronics, Quantum AI
$174k - $252k
...Jobs / Senior Research Scientist, Superconducting... ...Electronics, Quantum AI Senior Research Scientist... ...degree in Electrical Engineering, Physics, related... ...including RTL, synthesis, verification, timing closure, place... ...00-$252,000 + bonus + equity + benefits. Our salary...
Employment Equity
Senior
Full time
Temporary work
AIToolboard
Washington DC
4 days ago
Senior Cybersecurity AI Developer
$25k
...exciting opportunity for a Senior Cybersecurity AI Developer in our... ...in Security Engineering, Computer Network Operations... ...Software, Analytical Methods and Modeling, Signals... ...maintenance) and programming. Formal or informal... ...as well as internal equity, alignment with market...
Employment Equity
Senior
Full time
Immediate start
Relocation package
Flexible hours
Leidos
Laurel, MD
4 days ago
Senior Security Engineer, AI Architecture Patterns
$168k - $270.25k
...talented team. As we expand into AI's vast possibilities, we need a Senior Security Engineer, Architecture Patterns to build... ...manual interpretation.Engineer verification workflows that confirm... ....You will also be eligible for equity and benefits.Applications for this...
Employment Equity
Senior
Full time
Remote work
Shift work
Nvidia
Washington DC
5 days ago
Senior Staff Engineer, Test Director (R5446)
$171.68k - $257.52k
...Shield AI is a venture-backed defense-tech... ...and YouTube. As a Senior Staff Flight Test Engineer / Test Director, you... ...for the integration, verification, and flight test of... ...Highly organized and methodical, with the ability to... ...Bonus + Benefits + Equity Temporary employee...
Employment Equity
Senior
Full time
Temporary work
Part time
Worldwide
Shield
Washington DC
4 days ago
Senior Security & Compliance Engineer
$160k - $190k
...is seeking a Staff Security & Compliance Engineer to secure a common platform for onboarding... ...-grade platforms and mission-ready AI to federal agencies at commercial speed.Leveraging... ..., but not limited to location, internal equity, business considerations, client contract...
Employment Equity
Senior
Contract work
LMI
Arlington, VA
4 days ago
Senior Tracking Software Engineer, Space
$191k - $253k
...powered by Lattice OS, an AI-powered operating... ...are looking for a Senior Tracking Software Engineer to join our rapidly... ...), data association methods (JPDA, MHT), proficiency... ...approaches, verification and validation planning... ...Highly competitive equity grants are included...
Employment Equity
Senior
Full time
Work experience placement
Immediate start
Anduril Industries
Washington DC
1 day ago
Senior Principal FPGA & Digital Signals Processing Engineer
...Position Title: Senior Principal Field Programmable Gate Array & Digital Signal Processing Engineer Location: Hybrid, in office in Alexandria... ...with hardware, software, AI, and RF engineering teams,... ...optimization, and bit-accurate verification. Design reusable,...
Senior
Full time
Work at office
Flexible hours
Research Innovations Inc
Alexandria, VA
4 days ago
Senior Manager, Software Engineering - Authentication Platform
$172.5k - $260.1k
...SalesforceSalesforce is the #1 AI CRM, where humans with... ...Platform Engineering Manager leads the team... ...privilege and robust identity verification.Develop each engineer'... ...of hiring and growing senior engineering talent.... ...compensation, equity, and benefits. Salesforce...
Employment Equity
Senior
Full time
Salesforce
Washington DC
1 day ago
Senior Staff Technical Program Manager - Compute Platform
$180k - $270k
...nowhere. We’re hiring a Senior Staff Technical Program... ...’ll work across four engineering teams and roughly forty... ...access to cutting edge AI tools as a force multiplierKeep... ..., help turn them into formal proposals for potential... ...includes base, bonus, equity, and a range of benefit...
Employment Equity
Senior
Permanent employment
Contract work
Work at office
IONQ
College Park, MD
4 days ago
Business Continuity and Disaster Recovery - Senior Manager
...& Disaster Recovery (BCDR) - Senior Manager CFGI is a leading... ...firm that partners with private equity sponsors, portfolio companies,... ...use artificial intelligence (AI) tools to support parts of the... ...potential inconsistencies or verification signals in application materials...
Employment Equity
Senior
CFGI
Arlington, VA
1 day ago
Senior Software Engineer, Autonomy Behaviors (R4588)
$160k - $240k
...Founded in 2015, Shield AI is a venture-backed... ...integration, hardware, and test engineering to solve some of the... ...About the Job As a Senior Software Engineer, you... ..., implementation, verification, and validation,... ...+ Bonus + Benefits + Equity Temporary employee...
Employment Equity
Senior
Full time
Temporary work
Part time
Worldwide
Shield AI
Washington DC
4 days ago
Senior Software Product Manager, Strategic Defense
$166k - $220k
...is powered by Lattice OS, an AI-powered operating system that... ...Solutions, Networking, and Test Engineering we craft cutting-edge, end-to... ...AI safety, assurance, or verification and validation for learning-enabled... .... Highly competitive equity grants are included in the majority...
Employment Equity
Senior
Full time
Work experience placement
Immediate start
Anduril Industries
Washington DC
4 days ago
Senior System Software Engineer - Datacenter Power Management
$224k - $356.5k
...computing problems. We are looking for a Senior System Software Engineer to join NVIDIA’s Datacenter... ...device drivers, operating systems, and AI workloads. Your responsibilities will... ...Level 6.You will also be eligible for equity and benefits.Applications for this job...
Employment Equity
Senior
Full time
Remote work
Nvidia
Washington DC
8 days ago
Senior Tracking Software Engineer, Space
$191k - $253k
...Senior Tracking Software Engineer, SpaceWashington, District of Columbia,... ...powered by Lattice OS, an AI-powered operating... ...), data association methods (JPDA, MHT),... ...tracking approaches, verification and validation planning... ...Highly competitive equity grants are included...
Employment Equity
Senior
Full time
Work experience placement
anduril
Washington DC
4 days ago
Senior Staff Software Engineer, Autonomous Pilot Integration - Expeditionary (R5193)
...Job Description Shield AI is a venture-backed... ...Strategic Systems (ACP), engineering leadership, customer/... ...Growth – Mentor senior engineers, develop technical... ...+ Bonus + Benefits + Equity Temporary employee... ...potential inconsistencies or verification signals in application...
Employment Equity
Senior
Full time
Temporary work
Part time
Work at office
Worldwide
Shield AI
Washington DC
7 days ago
Senior Nuclear Safety Analysis Methods Engineer
$69 - $115 per hour
Job Title: Senior Nuclear Safety Analysis Methods Engineer Type: Contract (yearlong) Compensation: $69 - $115 hourly Contractor Work Model: Fully... ...(SSC) classification, as well as performing verification and validation activities. Tasks Develop methodologies...
Senior
Hourly pay
Contract work
Temporary work
For contractors
Local area
Remote work
System One
Washington DC
19 days ago
Senior Backend Software Engineer
...effodio Senior Backend Software Engineer (Tech Lead) Full-Time | Remote - United States... ...clear desire to move into a formal engineering role. Problem... ...Compensation includes salary, equity, and a discretionary bonus.... ...protected characteristic. AI in Our Hiring Process...
Employment Equity
Senior
Full time
Remote work
Visa sponsorship
Work visa
Effodio, Inc.
Arlington, VA
1 day ago
Engagement Delivery, Senior Manager- Missionforce (Cleared)
$143.4k - $216.9k
...SalesforceSalesforce is the #1 AI CRM, where humans with agents... ...RoleAs an Engagement Delivery Senior Manager on the Missionforce Professional... ..., timelines, and resourcing; formally document and communicate... ...for incentive compensation, equity, and benefits. Salesforce...
Employment Equity
Senior
Full time
Contract work
For subcontractor
Local area
Salesforce
Washington DC
4 days ago
Senior Account Executive: AI Insurance (Remote, Equity)
$25k - $250k
...A fast-growing AI company in the United States is seeking a Senior Account Executive to own the full sales cycle for deals ranging from $25K to $250K ACV.... ...success. Competitive salary, uncapped commissions, and equity in a rapidly scaling company are offered, alongside...
Employment Equity
Senior
Remote work
Outmarket AI Inc.
Fort Washington, MD
3 days ago
Senior Staff Engineer, Ground System Software
$180k - $270k
...Founded in 2015, Shield AI is a venture-backed defense-tech... ...experienced Software Systems Engineer with a strong background in software... ...systems engineering (MBSE), verification and validation, configuration... ...listed + Bonus + Benefits + Equity Temporary employee offer...
Employment Equity
Senior
Full time
Temporary work
Part time
Worldwide
Shield Inc
Washington DC
2 days ago
Senior AI Solutions Engineer - Government & IC
...Primer, a safety-focused AI company, seeks a Senior Sales Engineer to partner with go-to-market teams and government accounts. You’ll lead the technical... ...helping customers see value before buy. This role offers equity, 401(k), unlimited PTO, and a collaborative team of...
Employment Equity
Senior
Primer
Washington DC
1 day ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Senior Formal Methods Engineer AI/Verification, Equity. Be the first to apply!