Post job

Senior verification engineer jobs in Wyoming

- 4 jobs
  • ASIC Engineer, Formal Verification

    Meta 4.8company rating

    Senior verification engineer job in Cheyenne, WY

    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. **Required Skills:** ASIC Engineer, Formal Verification Responsibilities: 1. Provide technical leadership in Formal Verification 2. Propose, implement and evangelize the Formal Verification Methodology to be used across the group, both at the top level and at the block level 3. Work with Architecture and Design team to come up with formal specification and implementation 4. Define formal verification scope, create formal environment and close coverage with targeted Formal Verification Techniques at IP, Subsystem and SoC level 5. Build reusable/scalable environments for Formal Verification and deploying the tools 6. Evaluate and recommend EDA solutions for Formal Verification 7. Provide training for internal teams and mentoring engineers related to Formal Verification Technology **Minimum Qualifications:** Minimum Qualifications: 8. Bachelor's degree in Computer Science, Computer Engineering, relevant technical field, or equivalent practical experience 9. 8+ years of experience in Design Verification 10. 5+ years of experience in Formal Verification 11. Experience with Formal Verification applications including Datapath, sequential equivalence, Xprop, Clock Gating, connectivity etc 12. Proven understanding of Formal Verification methodologies, complexity reduction techniques and abstraction techniques 13. Proven analytical skills to craft novel solutions to tackle industry-level complex designs 14. Demonstrated experience with effective collaboration with cross functional teams 15. Fluency in hardware description languages, such as SystemVerilog and SVA 16. Proficiency in scripting languages such as Python, Perl, or Tcl 17. Experience with JasperGold or VC-Formal **Preferred Qualifications:** Preferred Qualifications: 18. Experience to quickly understand and interpret specifications and extract design behaviors/properties 19. Experience in formal property verification of complex compute blocks such as DSP, CPU, GPU or HW accelerators 20. Experience with complex SoCs 21. Formal verification experience in clock domain crossing, IP-XACT based register verification and low power 22. Experience with development of fully automated flows from specification to fully verified designs 23. Experience with simulators and waveform debugging tools **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.
    $173k-249k yearly 60d+ ago
  • Senior Embedded Controls Engineer, Vehicle Motion

    Ford Motor Company 4.7company rating

    Senior verification engineer job in Cheyenne, WY

    We are the movers of the world and the makers of the future. We get up every day, roll up our sleeves and build a better world -- together. At Ford, we're all a part of something bigger than ourselves. Are you ready to change the way the world moves? Ford's Electric Vehicles, Digital and Design (EVDD) team is charged with delivering the company's vision of a fully electric transportation future. EVDD is customer-obsessed, entrepreneurial, and data-driven and is dedicated to delivering industry-leading customer experience for electric vehicle buyers and owners. You'll join an agile team of doers pioneering our EV future by working collaboratively, staying focused on only what matters, and delivering excellence day in and day out. Join us to make positive change by helping build a better world where every person is free to move and pursue their dreams. What you'll do... - Create and implement the control strategy for various vehicle motion attributes and functions, including lateral and longitudinal vehicle dynamics. - Work with suppliers to define functions and interfaces into 3rd party components, driving further consolidation and integration of vehicle functions into our centralized vehicle motion control system. - Collaborate with software integration teams to bring up core functions and broadcast software level requirements to electrical hardware and systems teams. - Understand functional safety principles and participate in functional safety analyses of complex vehicle subsystems. - Develop comprehensive test plans and perform thorough testing to validate firmware functionality, stability, and performance under various conditions. - Author subsystem block diagrams and lead subsystem reviews through all vehicle program development phases - Collaborate with other system integration leads to capture component level requirements, provide subject matter expertise in sourcing discussions, and collect and approve Device Transmittals. - Early phases of firmware development will focus on hardware validation, labcar testing, and setting up the automation framework for unit, SIL and HIL testing. You'll have... - Master's degree in electrical engineering, Mechanical Engineering, or Computer Science, with evidence of exceptional ability, or equivalent. - 10+ years of experience on embedded controls systems such as chassis systems, VCM, or similar dynamic functions. - 10+ years of experience on electrical hardware applications, prototype bring-up, and systems development. - 10+ years of experience with Vehicle Network Protocols such as CAN, LIN & Automotive Ethernet - Strong EE fundamentals and hands-on experience with electrical test equipment (oscilloscopes, DMMs, signal generators, power supplies, etc.) - 10+ years of experience using embedded networking interface tools for automotive, aerospace, or similar field. - Experience and working knowledge of systems development, vehicle architecture, battery technologies, software/hardware tool development, motor calibration technologies, OBD calibration, functional safety, network, and diagnostics process. - Experience with creating and executing component-level test procedures and owning all test results. Even better, you may have... + Highly collaborative mindset and strong communication skills + Experience developing features such as hill hold, stability controls, anti-lock braking, park assist, cruise or adaptive cruise control, or other similar vehicle dynamic features. + Experience with software build tools like Bazel, Scons, Cmake etc. + Experience with fundamental hardware components on PCB and their analysis tools. + Ability to write testing scripts for using scripting languages (Python) + Fluent in software fundamentals including software design and maintainability. + Hands-on experience in hardware bring-up, system debugging, and code optimization. + Knowledge of electrical engineering fundamentals including circuit analysis and design You may not check every box, or your experience may look a little different from what we've outlined, but if you think you can bring value to Ford Motor Company, we encourage you to apply! As an established global company, we offer the benefit of choice. You can choose what your Ford future will look like: will your story span the globe, or keep you close to home? Will your career be a deep dive into what you love, or a series of new teams and new skills? Will you be a leader, a changemaker, a technical expert, a culture builder...or all of the above? No matter what you choose, we offer a work life that works for you, including: - Immediate medical, dental, vision and prescription drug coverage - Flexible family care days, paid parental leave, new parent ramp-up programs, subsidized back-up child care and more - Family building benefits including adoption and surrogacy expense reimbursement, fertility treatments, and more - Vehicle discount program for employees and family members and management leases - Tuition assistance - Established and active employee resource groups - Paid time off for individual and team community service - A generous schedule of paid holidays, including the week between Christmas and New Year's Day - Paid time off and the option to purchase additional vacation time. This position is a salary grade 8. For more information on salary and benefits, click here: ***************************** Visa sponsorship is available for this position. Candidates for positions with Ford Motor Company must be legally authorized to work in the United States. Verification of employment eligibility will be required at the time of hire. We are an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, religion, color, age, sex, national origin, sexual orientation, gender identity, disability status or protected veteran status. In the United States, if you need a reasonable accommodation for the online application process due to a disability, please call **************. This position is hybrid. Candidates who are in commuting distance to a Ford hub location may be required to be onsite four or more days per week. #LI-Hybrid #LI-MZ1 **Requisition ID** : 51041
    $112k-140k yearly est. 60d+ ago
  • Senior Staff Protocol Engineer

    Coinbase 4.2company rating

    Senior verification engineer job in Cheyenne, WY

    ***************** is planning to bring a million developers and a billion users onchain. We need your help to make that happen. We believe that the onchain platform is the most important builder platform since the internet ("online"). We believe that the onchain platform should be open source, free to use, and globally available. And we believe that in order to make it really work, we need all hands on deck, working together to scale in a secure, decentralized, easy-to-use way. At Base, we live by ourhttps://x.com/jessepollak/status/***********32673997, where our team rises to the challenge, embraces hard weeks, and makes small to significant personal tradeoffs when necessary to drive impact and innovation. Base is incubated within Coinbase and plans to progressively decentralize in the years ahead. We believe that decentralization is critical to creating an open, global crypto economy that is accessible to everyone. Base is built on Optimism's open-source OP Stack. We're joining as the second Core Dev team working on the OP Stack to ensure it's a public good available to everyone; and contributing a portion of sequencer revenue to funding public goods. We are looking for a *Senior Staff Protocol Engineer* to join the Base Protocols team to enable and accelerate the success of Base. The Base Protocols team works on the software and infrastructure systems that power all aspects of the Base chain. We contribute to the open source OP-Stack, perform research and development for scaling both Ethereum L1 and L2's, maintain the critical server infrastructure for chain components, and enable new possibilities with ZK systems.The emphasis of this role is scaling the throughput of Base chain 100x. You'll be working deeply on both research and implementation of scaling the chain to enable Base to bring the next billion users onchain. What you'll be doing: * Lead the research and development of new initiatives for improving and scaling Base's throughput. * Hack on both execution and consensus client internals (geth, reth, lighthouse, etc.) to extend capacity and capabilities of these systems well beyond current standards. * Improve OP stack through efforts such as reducing the footprint of data that needs to be made L1-available. * Helping with important external scaling efforts such as PeerDAS * Drive the technical direction, establish roadmaps, communicate and collaborate with cross-functional teams and the wider Ethereum ecosystem to define requirements, and ensure alignment with project goals while taking a proactive approach. What we look for in you: * You have at least 10+ years of experience in software engineering, and a background of research in scaling, parallelization, protocols, or distributed databases * A track record of proven leadership around successfully scaling an existing high throughput system. * Some understanding of EVM and client software, such as geth or reth internals (deep understanding of either a huge plus). * Familiarity with database internals and high performance database systems. * Understanding of the Ethereum scaling roadmap, and onchain-forward knowledge more generally. * You're familiar with current trends and best practices in architecture including security, performance, and usability. * You have executive communication skills to work crossfunctionally and collaborate closely with designers, engineers, and product managers. Nice to haves: * You have a PhD with emphasis in Distributed Systems or similar * Experience in software parallelization, including but not limited to optimistic concurrency and operation pipelining. * Understanding of optimized approaches to Ethereum state management such as Erigon/Reth's flat DB, FirewoodDB, MonadDB, etc. * Understanding of compilers and JIT compilation * Deep Rust and/or Go experience * Active contributions to open source onchain projects * You've written publications, have patents or have deep a deep research background Job #: GBBLE07NA *Pay Transparency Notice:* Depending on your work location, the target annual salary for this position can range as detailed below. Full time offers from Coinbase also include bonus eligibility + equity eligibility**+ benefits (including medical, dental, vision and 401(k)). Pay Range: $253,895-$298,700 USD Please be advised that each candidate may submit a maximum of four applications within any 30-day period. We encourage you to carefully evaluate how your skills and interests align with Coinbase's roles before applying. Commitment to Equal Opportunity Coinbase is proud to be an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, creed, gender, national origin, age, disability, veteran status, sex, gender expression or identity, sexual orientation or any other basis protected by applicable law. Coinbase will also consider for employment qualified applicants with criminal histories in a manner consistent with applicable federal, state and local law. For US applicants, you may view the *********************************************** in certain locations, as required by law. Coinbase is also committed to providing reasonable accommodations to individuals with disabilities. If you need a reasonable accommodation because of a disability for any part of the employment process, please contact us at accommodations*********************************** Global Data Privacy Notice for Job Candidates and Applicants Depending on your location, the General Data Protection Regulation (GDPR) and California Consumer Privacy Act (CCPA) may regulate the way we manage the data of job applicants. Our full notice outlining how data will be processed as part of the application procedure for applicable locations is available **************************************************************** AI Disclosure For select roles, Coinbase is piloting an AI tool based on machine learning technologies to conduct initial screening interviews to qualified applicants. The tool simulates realistic interview scenarios and engages in dynamic conversation. A human recruiter will review your interview responses, provided in the form of a voice recording and/or transcript, to assess them against the qualifications and characteristics outlined in the job description. For select roles, Coinbase is also piloting an AI interview intelligence platform to transcribe and summarize interview notes, allowing our interviewers to fully focus on you as the candidate. *The above pilots are for testing purposes and Coinbase will not use AI to make decisions impacting employment*. To request a reasonable accommodation due to disability, please contact accommodations[at]coinbase.com.
    $253.9k-298.7k yearly 60d+ ago
  • Senior Power System Studies Engineer - Data Center

    Olsson 4.7company rating

    Senior verification engineer job in Cheyenne, WY

    Arizona - Remote; Arkansas - Remote; Florida - Remote; Georgia - Remote; Idaho - Remote; Illinois - Remote; Indiana - Remote; Iowa - Remote; Kansas - Remote; Kentucky - Remote; Louisiana - Remote; Michigan - Remote; Minnesota - Remote; Mississippi - Remote; Missouri - Remote; Montana - Remote; Nebraska - Remote; Nevada - Remote; New Mexico - Remote; North Carolina - Remote; North Dakota - Remote; Ohio - Remote; Oklahoma - Remote; South Carolina - Remote; South Dakota - Remote; Tennessee - Remote; Texas - Remote; Utah - Remote; Virginia - Remote; West Virginia - Remote; Wisconsin - Remote; Wyoming - Remote **Company Description** We are Olsson, a team-based, purpose-driven engineering and design firm. Our solutions improve communities, and our people make it possible. Our most meaningful asset is our people, and we are dedicated to providing an environment where they can continue to learn, grow, and thrive. Our entrepreneurial spirit is what has allowed us - and will continue to allow us - to grow. The result? Inspired people, amazing designs, and projects with purpose. **Job Description** As a Senior Electrical Engineer, you will work directly with some of the world's largest technology companies and other mission-critical clients. You will serve as an electrical engineer on projects, design calculations, write technical reports, and prepare documents. Experience in performing short circuit analysis and producing arc flash studies is required. You will also coordinate with other Olsson teams, professional staff, technical staff, and clients. You may travel to job sites for observation and attend client meetings. _We currently have one opening and will consider candidates interested in being located in most locations across the United States._ **Qualifications** **You are passionate about:** + Working collaboratively with others. + Having ownership in the work you do. + Using your talents to positively affect communities. **You bring to the team:** + Strong communication skills + Ability to contribute and work well on a team + Ability to be a self-starter to take on a variety of tasks to best serve the client and their project work + Investigation and troubleshooting of problems to find solutions + Ability to contribute and work well on a team + Bachelor's Degree in electrical engineering + 8+ years or related electrical engineering experience + Registered professional engineer (PE) required + SKM and ETAP software experience is preferred \#LI-DD1 **Additional Information** Olsson is a nationally recognized, employee-owned firm specializing in planning and design, engineering, field services, environmental, and technology. Founded in 1956 on the very mindset that drives us today, we're here to improve communities by making them more sustainable, better connected, and more efficient. Simply put, we work to leave the world better than we found it. As an Olsson employee, you'll receive our traditional benefits package (health care, vision, dental, paid time off, etc.), plus you'll: + Engage in work that has a positive impact on communities + Receive an excellent 401(k) match + Participate in a wellness program promoting balanced lifestyles + Benefit from a bonus system that rewards performance + Have the possibility for flexible work arrangements **Please note:** The benefits listed above apply to full-time employees. If you're applying for an internship, you can learn more about internship-specific offerings and experiences at Olsson by visiting ********************************** . Olsson is an Equal Opportunity Employer. We encourage qualified minority, female, veteran, and disabled candidates to apply and be considered for open positions. We do not discriminate against any applicant for employment or any employee because of race, color, religion, national origin, sex, sexual orientation, gender identity, gender, disability, age, military status, or other protected status. Olsson understands the importance of privacy and is committed to protecting job applicants' personal information. Pursuant to the California Consumer Privacy Act, as amended by the California Privacy Rights Act (collectively, the "CCPA"), this notice explains Olsson's practices regarding the collection, use, and disclosure of personal information for job applicants residing in California. Please read this Notice carefully to understand our privacy practices. For more information about the types of information we collect and how we use it in connection with your general access and use of our website, please review our general California Privacy Noticehere (************************************** . Create a Job Alert Interested in building your career at Olsson? Get future opportunities sent straight to your email.
    $74k-93k yearly est. 16d ago

Learn more about senior verification engineer jobs

Do you work as a senior verification engineer?

Job type you want
Full Time
Part Time
Internship
Temporary

All senior verification engineer jobs

Jobs in Wyoming