Jobs2Careers logoHome

Arithmetic Formal Verification Engineer

New York,NY

975 Arithmetic Formal Verification Engineer jobs in New York,NY

Recommended
Culinary Agents
Line Cook

Markette

New York, NY 10001

New, Posted 12 hours ago
Recommended
Apply Directly
Lead Software Development Engineer, Consumer Domains

Audible

Newark, NJ 07175

Apply Directly
No Fault/PIP Insurance Verification Specialist Level I

Progressive Spine and Orthopaedics LLC

Englewood, NJ 07631

New, Posted 10 hours ago
Apply Directly
Lead Software Development Engineer, Consumer Domains

Audible

Newark, NJ 07175

~ 28 min OnsiteHealth InsurancePaid Time OffRetirement Benefit

  • 5+ years of non-internship professional software development experience
  • 5+ years of programming with at least one software programming language experience
  • 5+ years of leading design or architecture (design patterns, reliability and scaling) of new and existing systems experience
  • 5+ years of full software development life cycle, including coding standards, code reviews, source control management, build processes, testing, and operations experience
  • Experience as a mentor, tech lead or leading an engineering team
SmartExplore AI is experimental.
View now
Apply Directly
No Fault / PIP Insurance Verification Specialist II

Progressive Spine and Orthopaedics LLC

Englewood, NJ 07631

New, Posted 17 hours ago
Apply Directly
Recruiting Systems & Data Integration Engineer

engin sciences

New York, NY 10025

RemoteHealth Insurance

  • Professional experience building ATS, HR technology, or recruiting-system integrations.
  • Familiarity with one or more ATS platforms such as Bullhorn, Avionte, JobDiva, Greenhouse, Lever, Workday, iCIMS, or SmartRecruiters.
  • Experience integrating third-party systems through REST APIs, webhooks, OAuth, scheduled jobs, file transfers, or data exports.
  • Strong Node.js, TypeScript and PostgreSQL skills.
  • Experience modeling and synchronizing interconnected records such as jobs, candidates, applications, submissions, and placements.
  • Experience designing data synchronization systems where correctness, idempotency, throughput, and recovery from partial failures matter.
  • Experience processing large volumes of operational data through batching, pagination, incremental synchronization, and backfills.
  • Ability to investigate unfamiliar systems, understand inconsistent data models, and turn ambiguous requirements into reliable solutions.
  • Strong debugging skills across authentication, data mapping, API behavior, synchronization state, and data quality.
  • A practical approach to engineering reliable systems without unnecessary complexity.
  • Comfort owning customer integration problems from initial discovery through deployment and ongoing support.
  • Experience incorporating coding agents into day-to-day software engineering work.
  • Experience leading technical conversations with both technical and nontechnical customer stakeholders, translating customer problems and workflows into clear integration requirements and practical solutions.
  • Experience handling sensitive customer and candidate data using appropriate security, privacy, access-control, and data-retention practices.
SmartExplore AI is experimental.
View now
New, Posted 1 hour ago
Apply Directly
Senior Vice President, Full-Stack Engineer

BNY

New York, NY 10007

New, Posted 14 hours ago
Apply Directly
Associate or Senior Associate, Fixed Assets / Cost Segregation Engineer (AMCS)

KPMG

New York, NY 10025

OnsiteHealth InsuranceRetirement Benefit

  • Bachelor's degree from an accredited college/university in engineering, architecture, construction management, or a closely related discipline is required
  • Minimumone year of recent experience in an engineering firm, corporation, or public accounting firm; background in cost segregation, fixed asset consulting, construction, engineering, or a related technical field is preferred
  • Understanding of construction processes and building systems, and how project costs translate into asset classifications
  • Basic knowledge of federal income tax depreciation principles and accounting for capital expenditures, or a demonstrated interest in developing this skillset
  • Experience reviewing technical drawings, construction documentation, or large project cost datasets
  • Strong proficiency in Excel (such as advanced formulas, pivot tables, lookups) and experience working with structured data from financial or operational systems; demonstrated experience or strong aptitude with data-wrangling/automation tools (such as Power Query, Alteryx), business intelligence tools (such as Power BI, Tableau), or query/scripting languages (such as SQL, Python, R)
  • Applicant must be authorized to work in the U.S. without the need for employment-based visa sponsorship now or in the future. KPMG LLP will not sponsor applicants for U.S. work visa status for this opportunity (no sponsorship is available for H-1B, L-1, TN, O-1, E-3, H-1B1, F-1, J-1, OPT, CPT or any other employment-based visa)
SmartExplore AI is experimental.
View now
New, Posted 10 hours ago
Apply Directly
Sr. Software Development Engineer, Amazon Demand Side Platform, Forecasting

Amazon Advertising LLC

New York, NY 10261

OnsiteHealth InsurancePaid Time OffRetirement Benefit

  • 8+ years of non-internship professional software development experience
  • 8+ years of programming with at least one software programming language experience
  • 8+ years of full software development life cycle, including coding standards, code reviews, source control management, build processes, testing, and operations experience
  • 4+ years of leading design or architecture (design patterns, reliability and scaling) of new and existing systems experience
  • Experience with Machine Learning and Large Language Model fundamentals, including architecture, training/inference lifecycles, and optimization of model execution
  • Experience as a mentor, tech lead or leading an engineering team
SmartExplore AI is experimental.
View now
New, Posted 1 day ago
Apply Directly
Test Engineering Assistant - C4ISR

BAE Systems

Wayne, NJ 07470

OnsiteFlexible ScheduleHealth InsurancePaid Time OffRetirement Benefit

  • High School Diploma plus 4 years of related experience.
  • Experience testing and troubleshooting systems, modules, and/or sub-assemblies.
  • Strong understanding of basic electronics and ability to work with common test equipment.
  • Ability to read and follow engineering procedures, wiring diagrams, and system configuration instructions.
  • Must currently possess active U.S. DoD Secret security clearance.
SmartExplore AI is experimental.
View now
Profile builder
Answer questions related to your search and surface your matches.
Browse Jobs
  • Jobs in Top Cities
  • Jobs by State
  • Jobs by Title
  • Jobs by Category
Tools
  • Free Resume Builder
  • Jobs2Careers+ Extension
Company
  • Post a Job
  • About
  • Advice
  • Contact
Jobs2Careers Powered by Talroo© 2026 Jobs2Careers
Logos provided by Logo.dev
© 2026 Jobs2Careers
Privacy PolicyTerms of UseYour Privacy ChoicesCalifornia Consumer Privacy Act (CCPA) Opt-Out Icon
Jobs2Careers Powered by Talroo