below marketmost similar roles pay hereabove market
This role pays more than
95%
of similar roles. Most pay
$161,500–$187,250
— the blue band above.
At the midpoint, this role pays about
$218k
versus about
$174k
for comparable roles.
Based on 240 similar postings.
Employer
About Amazon Inc
Amazon Inc. is the world''s largest e-commerce and cloud computing company, operating the Amazon marketplace, AWS cloud platform, Prime subscription services, Alexa voice AI, and logistics infrastructure. Industry: E-Commerce & Cloud Computing
Amazon Inc currently has
643 open roles
on FindRole.
Listed pay typically runs
$143,700–$194,400
across 636 roles with salary data.
The Sr. Formal Verification Engineer joins the Leo Silicon Team to drive formal verification efforts for next-generation modem SoCs used in broadband communication satellites. In this role, you will apply rigorous mathematical methods to prove design correctness and uncover corner-case bugs across NOC, interconnect, modem IPs, and control logic. You will develop formal verification strategies, write and debug SystemVerilog Assertions, and build reusable infrastructure including constraint libraries and automated regression flows. Key technologies include JasperGold, Questa Formal, SystemVerilog, UVM, and AI-centric verification methodologies. You will also perform property checking, connectivity checking, register verification, and sequential equivalence checking. By collaborating with RTL designers and architects, you will use abstraction techniques and assume-guarantee reasoning to improve silicon quality and shift verification left for complex modem designs.