Apply on Employer Site

Stellent IT · 23 hours ago

Senior Formal Verification Engineer

Austin, TX

Full-time

Onsite

Senior Level

Stellent IT is seeking Senior Formal Verification Engineers to work on floating-point datapaths for a next-gen AI accelerator. The role involves formal/property verification and ensuring compliance with IEEE 754 standards.

ConsultingInformation TechnologyOutsourcingProject ManagementStaffing Agency

No H1B

U.S. Citizen Only

Responsibilities

Formal/property verification

IEEE 754 compliance

FP F-MAC and/or FP divider datapaths

Synopsys formal tools (JasperGold / VC-Formal)

Proved FP math in silicon

Qualification

Formal/property verificationIEEE 754 complianceFP F-MAC datapathsFP divider datapathsSynopsys formal toolsProved FP math in silicon

Required

Formal/property verification

IEEE 754 compliance

FP F-MAC and/or FP divider datapaths

Synopsys formal tools (JasperGold / VC-Formal)

Proved FP math in silicon

Company

Stellent IT

Stellent IT is an IT consulting firm that offers staffing, IT outsourcing, project management, and application services.

Founded in 2015

Jacksonville, Florida, USA

51-200 employees

https://www.stellentit.com

Funding

Current Stage

Growth Stage

Leadership Team

Parveen Batra

Director

Company data provided by crunchbase