Current jobs related to Senior Formal Verification Engineer - Fort Collins Colorado - Advanced Micro Devices, Inc


  • Fort Collins, Colorado, United States Advanced Micro Devices , Inc. Full time

    Transforming Lives with AMD TechnologyWe are seeking a highly skilled Formal Verification Engineer to join our Infinity Fabric Verification team. As a key member of this team, you will be responsible for architecting and building out a formal verification environment, growing and mentoring a small team of formal verification engineers, and collaborating with...


  • Colorado Springs, Colorado, United States General Dynamics Corporation Full time

    Job Title: Senior Advanced Systems EngineerJoin General Dynamics Mission Systems as a Senior Advanced Systems Engineer and contribute to the development of cutting-edge defense platforms. As a key member of our team, you will be responsible for leading the systems development life cycle, collaborating with cross-functional teams, and driving innovation in...


  • Colorado Springs, Colorado, United States Randstad Full time

    Job Summary:We are seeking a highly skilled Senior Systems Engineer to join our team at Randstad Digital. As a key member of our engineering team, you will be responsible for designing and developing complex systems, collaborating with cross-functional teams, and ensuring the delivery of high-quality products on time and within allocated resources.Key...


  • Colorado Springs, Colorado, United States Maxar Technologies Full time

    Maxar Technologies: A Leader in Space TechnologyMaxar Technologies is a pioneering company in the field of space technology, and we are seeking a highly skilled Systems Test and Verification Engineer to join our team.About the RoleWe are looking for a talented engineer with expertise in systems test and verification to work on our cutting-edge space...


  • Fort Collins, Colorado, United States Avago Technologies U.S. Inc. Full time

    Job SummaryWe are seeking a highly skilled Senior IC Design Engineer to join our team at Avago Technologies U.S. Inc. As a key member of our design team, you will be responsible for designing and developing high-performance ICs for various applications.Key ResponsibilitiesDesign CAD using Cadence Allegro Package Designer (APD) and proprietary custom HUB...


  • Colorado Springs, Colorado, United States RTX Full time

    Job SummaryWe are seeking a highly skilled Senior Systems Engineer to join our team at RTX. As a Senior Systems Engineer, you will be responsible for developing and deploying Infrastructure as a Service and Platform as a Service capability. This is an onsite position, and you will work primarily onsite.Key Responsibilities- Focus on supporting the...


  • Colorado Springs, Colorado, United States Auria Full time

    Job SummaryAuria is seeking a skilled Software Verification Test Engineer to join our team in Colorado Springs, CO. As a member of the Mission Applications Enterprise Services Product Team, you will participate in software design and peer reviews, develop test specifications and infrastructure, execute manual and automated test, and perform analysis of C2BMC...


  • Fort Collins, Colorado, United States Avago Technologies U.S. Inc. Full time

    Job DescriptionAs a Senior IC Design Engineer at Avago Technologies U.S. Inc., you will be responsible for designing CAD using Cadence Allegro Package Designer (APD) with our proprietary custom HUB software tools. You will also manage package design projects, including regular collaboration with our customers, and perform design analysis and verification...


  • Colorado Springs, United States Randstad Digital Full time

    job summary:Clearance: Active Secret Clearance requriedTravel: Travel between Colorado Springs facilities/sites is expected. Infrequent travel to Huntsville, AL, may be requiredHours: Four 10-hour days per week (Monday-Thursday)The ideal candidate will possess experience in testing and evaluation of a software-intensive system in a variety of test...


  • Colorado Springs, United States Randstad Digital Full time

    job summary:The ideal candidate will possess experience in testing and evaluation of a softwareintensive system in a variety of test environments/venues, utilizing Agile development. This position will require self-starting individual capable of diving into problems with assistance from other test engineers and software developers. Candidate experience...


  • Fort Collins, Colorado, United States Orthopaedic and Spine Center of the Rockies Full time

    We are seeking a Senior Software Engineer to join our team and contribute to the development of innovative software solutions. The ideal candidate will have a strong background in software development and a passion for delivering high-quality results.The Senior Software Engineer will be responsible for designing, developing, and testing software...

  • Senior Civil Engineer

    4 weeks ago


    Fort Collins, Colorado, United States Farnsworth Group Full time

    Job Title: Senior Civil EngineerWe are seeking a highly skilled Senior Civil Engineer to join our team in Fort Collins, CO. As a Senior Civil Engineer, you will be responsible for planning, designing, and managing a variety of civil engineering projects, including land development and municipal projects.Key Responsibilities:Plan and design civil engineering...


  • Colorado Springs, Colorado, United States Auria Full time

    Job SummaryAuria is seeking a highly skilled Senior Systems Engineer to join our team in Colorado Springs, CO. As a key member of our Systems Engineering team, you will be responsible for developing and reviewing system requirements, interface documents, and verification cross-reference matrices.Key Responsibilities:Support the development and review of...


  • Fort Collins, Colorado, United States Express Employment Professionals Defunct Full time

    Senior Electrical Engineer OpportunityWe are seeking a highly skilled Senior Electrical Engineer to join our team in Fort Collins, CO. As a key member of our dynamic team, you will be responsible for designing electrical power systems, including 277/480-volt and 120/240-volt systems.Key Responsibilities:Conduct thorough analyses and prepare detailed drawings...


  • Fort Wayne, Indiana, United States BAE Systems USA Full time

    Job Title: Senior Systems EngineerJob Summary:BAE Systems USA is seeking a highly skilled Senior Systems Engineer to join our team in Fort Wayne. As a Senior Systems Engineer, you will be responsible for leading system engineering projects to completion, defining requirements, analyzing and managing systems using DOORS, and performing integration,...


  • Colorado Springs, Colorado, United States Auria Full time

    Job OverviewAuria is seeking a highly skilled Senior System Architect to join our team and support the Command and Control, Battle Management, and Communications (C2BMC) program in Colorado Springs, CO.The selected candidate will be responsible for developing and reviewing interface documents, system requirements, Verification Cross Reference Matrix (VCRM)...


  • Fort Collins, United States Numerica Corporation Full time

    Sr. Software Engineer: Full-time position. Five years experience required. Master's Degree required. Salary is $80,000 per year. Two openings. About Numerica Numerica Corporation is a recognized global leader in information science. Since 1996, Numerica has been an agile and innovative small business bringing together the best people to research and...


  • Fort Collins, Colorado, United States Madrich Talent Solutions Full time

    Job Title: Senior Project EngineerMadrich Talent Solutions is seeking a highly skilled Senior Project Engineer to join our team. As a key member of our engineering team, you will be responsible for leading and managing projects from initiation to completion, ensuring timely delivery, within scope, and within budget.Key Responsibilities:Project Management:...


  • Colorado Springs, Colorado, United States CSEngineering Full time

    Job OverviewCSEngineering is seeking a highly skilled System Test and Verification Engineer to join our team. As a key member of our team, you will be responsible for designing, planning, and managing test programs to ensure the delivery of stated levels of performance, interoperability, and maintenance support.Key Responsibilities:Supports the Command Test...


  • Fort Collins, Colorado, United States CyberCoders Full time

    Job Title: Senior Electrical EngineerWe are seeking a highly skilled Senior Electrical Engineer to join our team at CyberCoders. As a key member of our engineering team, you will be responsible for designing and developing electrical systems for a wide range of projects.Key Responsibilities:* Design and develop electrical systems for various projects*...

Senior Formal Verification Engineer

2 months ago


Fort Collins Colorado, United States Advanced Micro Devices, Inc Full time
About the Role

We are seeking an experienced Formal Verification leader to join our Infinity Fabric Verification team at Advanced Micro Devices, Inc. As a key member of our team, you will be responsible for architecting and building out a formal verification environment, growing and mentoring a small team of formal verification engineers, and collaborating with both verification and RTL engineers to identify blocks and functionality conducive to formal verification.

Key Responsibilities
  • Own the formal verification of a state-of-the-art industry leading Data Fabric IP for AMD's CPUs, GPUs, and APUs.
  • Partner with members of the team for scoping work, resources, dependencies, and potential risks for project milestone scheduling.
  • Identify blocks suitable to deploy formal verification.
  • Work with design team to create FV test plan.
  • Build formal verification environment, write assertions, covers, and appropriate constraints.
  • Build sign-off methodology with Formal.
  • Deploy advanced convergence techniques using abstraction models and bug hunting methods.
  • Create a common formal verification flow so properties and assertions can be ported to different hierarchies.
  • Provide training and mentorship to design teams and other FV engineers on methodology and best-known practices.
Preferred Qualifications
  • Architected and developed complex Formal verification environments and infrastructure, including scripting using Perl, tcl, or similar.
  • Exposure to RTL design, formal verification, or other related domains.
  • Exposure to low power formal techniques.
  • Preferable experience with Formal Verification Tools (e.g. VC Formal, Jasper, IFV).
  • Cache coherency or industry standard AMBA protocol knowledge is a plus.
Academic Credentials

Degree in Electrical Engineering, Computer Architecture, or Computer Science with a focus on computer architecture is preferred.