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...


  • Colorado Springs, Colorado, United States General Dynamics Mission Systems Full time

    Job SummaryWe are seeking a highly skilled Senior Advanced Systems Engineer to join our team at General Dynamics Mission Systems. As a key member of our team, you will be responsible for leading the development of advanced systems engineering solutions for our Missile Defense customer.Key ResponsibilitiesLead the development of use cases, sequence diagrams,...


  • 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 Auria Full time

    Job Title: Software Verification Test EngineerAurias Mission Applications Enterprise Services Product Team is seeking a skilled Software Verification Test Engineer to support the Command, Control, Battle Management and Communications (C2BMC) program.Job SummaryThe successful candidate will participate in software design and peer reviews, develop test...

  • Senior Civil Engineer

    1 month ago


    Fort Collins, Colorado, United States Farnsworth Group Full time

    Job Title: Senior Civil EngineerFarnsworth Group is 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 leading and managing civil engineering projects from inception to completion, ensuring they are delivered on time, within budget, and to the highest quality...


  • 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...


  • 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...


  • 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: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...

  • Senior Civil Engineer

    2 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...

  • Senior Civil Engineer

    4 weeks ago


    Fort Collins, Colorado, United States Trihydro Full time

    Senior Civil Engineer Job DescriptionWe are seeking a highly skilled Senior Civil Engineer to join our team in Fort Collins, CO. As a key member of our Infrastructure and Natural Resources Business Unit, you will play a critical role in delivering effective, responsive, and safe solutions to our clients across various industries.Key Responsibilities:Develop...


  • Fort Collins, Colorado, United States Thomas Talent Network Full time

    Job Title: Senior Project EngineerThomas Talent Network is seeking a highly skilled Senior Project Engineer to join our dynamic team of Civil Engineers in Colorado. As a key member of our team, you will play a pivotal role in ensuring the successful completion of projects while adhering to industry standards and regulatory requirements.Key...


  • 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,...


  • Fort Collins, Colorado, United States CyberCoders Full time

    Job Title: Senior Electrical EngineerWe are seeking an experienced Senior Electrical Engineer to join our team at CyberCoders. As a key member of our engineering services firm, 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 team at Advanced Micro Devices, Inc. as a Senior Formal Verification Engineer.

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.

Location

Fort Collins, CO preferred.