Talent.com
ASIC Engineer, Formal Verification
ASIC Engineer, Formal VerificationMeta • Des Moines, IA, US
serp_jobs.error_messages.no_longer_accepting
ASIC Engineer, Formal Verification

ASIC Engineer, Formal Verification

Meta • Des Moines, IA, US
job_description.job_card.variable_days_ago
serp_jobs.job_preview.job_type
  • serp_jobs.job_card.full_time
job_description.job_card.job_description

Overview

Meta is hiring ASIC Formal Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Formal Verification to build IP and System On Chip (SoC) for data center applications. As a Formal Verification Engineer, you will be part of a team working with the best in the industry, focused on developing innovative ASIC solutions for Meta's data center applications. You will be developing comprehensive formal testplans and be responsible for complete formal verification sign-off of single or multiple complex blocks. The role also provides ample opportunities to partner and collaborate with full stack software, hardware, ASIC Design, Emulation and Post-Silicon teams towards creating a first-pass silicon success.

Responsibilities

  • Provide technical leadership in Formal Verification
  • Propose, implement and evangelize the Formal Verification Methodology to be used across the group, both at the top level and at the block level
  • Work with Architecture and Design team to come up with formal specification and implementation
  • Define formal verification scope, create formal environment and close coverage with targeted Formal Verification Techniques at IP, Subsystem and SoC level
  • Build reusable / scalable environments for Formal Verification and deploying the tools
  • Evaluate and recommend EDA solutions for Formal Verification
  • Provide training for internal teams and mentoring engineers related to Formal Verification Technology

Minimum Qualifications

  • Bachelor\'s degree in Computer Science, Computer Engineering, relevant technical field, or equivalent practical experience
  • 8+ years of experience in Design Verification
  • 5+ years of experience in Formal Verification
  • Experience with Formal Verification applications including Datapath, sequential equivalence, Xprop, Clock Gating, connectivity etc
  • Proven understanding of Formal Verification methodologies, complexity reduction techniques and abstraction techniques
  • Proven analytical skills to craft novel solutions to tackle industry-level complex designs
  • Demonstrated experience with effective collaboration with cross functional teams
  • Fluency in hardware description languages, such as SystemVerilog and SVA
  • Proficiency in scripting languages such as Python, Perl, or Tcl
  • Experience with JasperGold or VC-Formal
  • Preferred Qualifications

  • Experience to quickly understand and interpret specifications and extract design behaviors / properties
  • Experience in formal property verification of complex compute blocks such as DSP, CPU, GPU or HW accelerators
  • Experience with complex SoCs
  • Formal verification experience in clock domain crossing, IP-XACT based register verification and low power
  • Experience with development of fully automated flows from specification to fully verified designs
  • Experience with simulators and waveform debugging tools
  • Compensation

    Public Compensation : $173,000 / year to $249,000 / year + bonus + equity + benefits

    Industry

    Internet

    Equal Opportunity

    Meta is proud to be an Equal Employment Opportunity and Affirmative Action employer. We do not discriminate based upon race, religion, color, national origin, sex (including pregnancy, childbirth, or related medical conditions), sexual orientation, gender, gender identity, gender expression, transgender status, sexual stereotypes, age, status as a protected veteran, status as an individual with a disability, or other applicable legally protected characteristics. We also consider qualified applicants with criminal histories, consistent with applicable federal, state and local law. Meta participates in the E-Verify program in certain locations, as required by law. Please note that Meta may leverage artificial intelligence and machine learning technologies in connection with applications for employment.

    Meta is committed to providing reasonable accommodations for candidates with disabilities in our recruiting process. If you need any assistance or accommodations due to a disability, please let us know at accommodations-ext@fb.com.

    J-18808-Ljbffr

    serp_jobs.job_alerts.create_a_job

    Asic Engineer • Des Moines, IA, US

    Job_description.internal_linking.related_jobs
    Lead Engineer, Applications - Edifecs / QConnect - Remote

    Lead Engineer, Applications - Edifecs / QConnect - Remote

    Molina Healthcare • Clive, IA, US
    serp_jobs.filters.remote
    serp_jobs.job_card.full_time
    Designs and builds company specific enterprise application systems and technology expertise across multiple disciplines.Applies and promotes key principles (e. Considers business problems "end-...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_days • serp_jobs.job_card.promoted
    Sr Software Engineer II (Platform Modernization)

    Sr Software Engineer II (Platform Modernization)

    Principal Financial Group, Inc. • USA, Iowa, Des Moines
    serp_jobs.job_card.full_time +1
    We're looking for a Senior Software Engineer to join our Retirement & Income Solutions (RIS) business.In this role, you'll be an engineering lead providing architectural oversight for the moderniza...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_30
    Software Engineer Leader (Des Moines, IA or Charlotte, NC)

    Software Engineer Leader (Des Moines, IA or Charlotte, NC)

    Principal Financial Group, Inc. • USA, Iowa, Des Moines
    serp_jobs.job_card.full_time +1
    We're looking for a Senior Software Engineer to join our WSRS technology team.In this role, you'll be a key player and leader in strategically shaping our technological future from innovative custo...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_30
    Blockchain Application Support Engineer

    Blockchain Application Support Engineer

    Medium • Madrid, IA, US
    serp_jobs.job_card.full_time
    The blockchain security team is working on core Blockchain technologies, Smart contracts and other building blocks that allow us to create unique products for our users. They specialise in secure de...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_days • serp_jobs.job_card.promoted
    Field Application Engineer -Nevada

    Field Application Engineer -Nevada

    Fieldai • Nevada, IA, US
    serp_jobs.job_card.part_time
    Job Title : Field Application Engineer.Location : Nevada - Frequent Nationwide Travel Required.Job Type : Part-time, 20 hours + per week. We are building risk-aware, dependable, and field-ready AI syst...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_hours • serp_jobs.job_card.promoted • serp_jobs.job_card.new
    Winding Manufacturing Engineer, Cell Manufacturing Engineering

    Winding Manufacturing Engineer, Cell Manufacturing Engineering

    Tesla Motors, Inc. • Nevada, IA, US
    serp_jobs.job_card.full_time
    Tesla's world-class Cell Manufacturing Engineering team is looking for a highly-motivated Manufacturing Engineer with experience in roll to roll web handling applications for an exciting new projec...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_hours • serp_jobs.job_card.promoted • serp_jobs.job_card.new
    Rust Engineer (Greenfield project)

    Rust Engineer (Greenfield project)

    Crypto.com • Madrid, Iowa, United States, 50156
    serp_jobs.job_card.full_time
    Rust Engineer (Greenfield project).We are a team to design, develop, maintain, and improve software for various ventures projects, i. You will be actively involved in the design of various component...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_30
    Automation Engineer, Manufacturing Engineering

    Automation Engineer, Manufacturing Engineering

    Tesla Motors, Inc. • Nevada, IA, US
    serp_jobs.job_card.full_time
    Automation Engineers are responsible for implementing equipment controls solutions for all cell manufacturing projects.This includes design, architecture and implementation of automated equipment s...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_days • serp_jobs.job_card.promoted
    Quality Lead Engineer

    Quality Lead Engineer

    Bitdeer Group • Nevada, IA, US
    serp_jobs.job_card.full_time
    Bitdeer Technologies Group (Nasdaq : BTDR) is a world-leading technology company for Bitcoin mining.Bitdeer is committed to providing comprehensive computing solutions for its customers.The Company ...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_days • serp_jobs.job_card.promoted
    Software Engineer II

    Software Engineer II

    Lumen • Des Moines, IA, US
    serp_jobs.job_card.full_time
    We are igniting business growth by connecting people, data and applications — quickly, securely, and effortlessly.Together, we are building a culture and company from the people up — committed to t...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_days • serp_jobs.job_card.promoted
    Experienced Software Engineer (Hybrid)

    Experienced Software Engineer (Hybrid)

    Principal Financial Group, Inc. • USA, Iowa, Des Moines
    serp_jobs.job_card.full_time +1
    As an Experienced Software Engineer at Principal, you'll work with engineers to help lead our efforts to continue modernizing our technology and to enable great solutions for our customers! Our Tec...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_30
    Compliance Engineer II

    Compliance Engineer II

    Sierra Nevada Corporation • Nevada, IA, US
    serp_jobs.job_card.full_time
    The ideal candidate will be proficient in digital data gathering and analysis techniques, including expertise with computers, networks, end-point devices, various operating systems, and mobile devi...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_days • serp_jobs.job_card.promoted
    System Engineer

    System Engineer

    TradeJobsWorkForce • 50062 Melcher-Dallas, IA, US
    serp_jobs.job_card.full_time
    System Engineer Job Duties : Manages and monitors all installed systems and infrastructure for ...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_30 • serp_jobs.job_card.promoted
    DCIM Engineer (Remote : USA)

    DCIM Engineer (Remote : USA)

    Cologix • Des Moines, IA, US
    serp_jobs.filters.remote
    serp_jobs.job_card.full_time
    Based in Denver, Colorado, Cologix is North America's leading network-neutral interconnection and hyperscale edge data center company. Our platform gives customers access to 45+ digital edge and...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_days • serp_jobs.job_card.promoted
    Data Engineer

    Data Engineer

    DataAnnotation • Nevada, IA, US
    serp_jobs.job_card.full_time +1
    We are looking for a Data Engineer to join our team to train AI models.You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to improve the quality of each mo...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_days • serp_jobs.job_card.promoted
    Pre-Sales Systems Engineer - Financial Services

    Pre-Sales Systems Engineer - Financial Services

    Radware • Nevada, IA, US
    serp_jobs.job_card.full_time
    Pre-Sales Systems Engineer - Financial Services.This range is provided by Radware.Your actual pay will be based on your skills and experience — talk with your recruiter to learn more.Are you ready ...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_hours • serp_jobs.job_card.promoted • serp_jobs.job_card.new
    SCADA Engineer III

    SCADA Engineer III

    Panasonic Avionics Corporation • Nevada, IA, US
    serp_jobs.job_card.full_time
    Do you want to join a team that's changing the world? Do you have a strong background as a SCADA Engineer III? Then we're looking for you! Check out the job description and apply now! Put your skil...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_days • serp_jobs.job_card.promoted
    Software Engineer, Platform - Des Moines, USA

    Software Engineer, Platform - Des Moines, USA

    Speechify • Des Moines, IA, US
    serp_jobs.job_card.full_time
    The mission of Speechify is to make sure that reading is never a barrier to learning.Over 50 million people use Speechify's text-to-speech products to turn whatever they're reading – ...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_days • serp_jobs.job_card.promoted
    Associate Engineer, EDP

    Associate Engineer, EDP

    James Hardie Corporation • Nevada, IA, US
    serp_jobs.job_card.full_time
    Select how often (in days) to receive an alert : .James Hardie is the industry leader in exterior home and outdoor living solutions, with a portfolio that includes fiber cement, fiber gypsum, composi...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_days • serp_jobs.job_card.promoted
    Controls Engineer - Bondurant, IA

    Controls Engineer - Bondurant, IA

    Genesis10 • Bondurant, IA, US
    serp_jobs.job_card.full_time
    New Journey AI / Genesis10 is actively seeking a Controls Engineer resource for a full-time position with our client.We are seeking an experienced Industrial Controls and Automation Engineer to join ...serp_jobs.internal_linking.show_more
    serp_jobs.last_updated.last_updated_variable_days • serp_jobs.job_card.promoted