Silicon Logic Formal Verification - Full TimeRivos • Portland, OR, US
Silicon Logic Formal Verification - Full Time
Rivos • Portland, OR, US
8 hours ago
Job type
- Full-time
Job descriptionWork with architects and RTL design engineers to identify, specify, and verify artifacts amenable to formal analysis. Prove functional and security properties of the design, find design bugs, and work closely with design teams to deliver high-quality designs. Develop sound formal abstract models for verifying system-level properties like deadlock freedom and non-starvation using formal methods. Develop innovative flows using formal methods in conjunction with simulation-based techniques for effective bug hunting. Develop reusable and scalable proof techniques. Solid understanding of formally specifying and analyzing temporal assertion properties. Hands-on experience using model checking tools. Experience with interactive theorem provers is a plus. Excellent problem-solving skills, along with strong written and verbal communication abilities. Excellent organizational skills and high self-motivation. Ability to communicate and work well with different design teams.
Job Description
Job Description
Positions are open for full-time and co-op / internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design
Responsibilities
- As a Formal Verification Engineer, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator design.
In this position, you will :
Requirements
PhD, Master’s Degree, or Bachelor’s Degree in a technical subject area.
We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.
Create a job alert for this search
Silicon Verification • Portland, OR, US
Related jobs
WHEN YOU WORK FOR US, WE WORK FOR YOU\n.With Titan Medical, you gain access to thousands of travel nursing and allied health jobs across the country.
You also get unmatched service.From the moment y...Show more WHEN YOU WORK FOR US, WE WORK FOR YOU\n.With Titan Medical, you gain access to thousands of travel nursing and allied health jobs across the country.
You also get unmatched service.From the moment y...Show more 
Atlas MedStaff is seeking an experienced MRI Tech for an exciting Travel Allied job in Longview, WA.Shift : 3x12 hr nights Start Date : ASAP Duration : 13 weeks Pay : $2079.
Atlas Medstaff is currently ...Show more
For over 250 years SIG SAUER, Inc.American ingenuity, German engineering, and Swiss precision.Today, SIG SAUER is synonymous with industry-leading quality and innovation which has made it the brand...Show more
Lancesoft is seeking an experienced MRI Tech for an exciting Travel Allied job in Longview, WA.Shift : 3x12 hr nights Start Date : 12 / 01 / 2025 Duration : 13 weeks Pay : $2695 / Week.LanceSoft’s mission ...Show more
Uniti Med is seeking an experienced MRI Tech for an exciting Travel Allied job in Longview, WA.Shift : Inquire Start Date : 12 / 01 / 2025 Duration : 13 weeks Pay : $2600 / Week.
Uniti Med provides career o...Show more
A company is looking for a Software Verification Specialist to ensure the integrity and reliability of customer software through verification processes.
Key Responsibilities Conduct verification o...Show more A company is looking for a Software Verification Engineer to ensure the integrity and reliability of customer software through verification processes.
Key Responsibilities Conduct verification of ...Show more A company is looking for a Performance Engineer / Tester.Key Responsibilities Develop, execute, and maintain performance test plans, scripts, and scenarios for drilling applications Analyze system...Show more A company is looking for a Floating Point Formal Verification Engineer.Key Responsibilities Perform formal verification of high-speed floating-point designs, including data-path, assertion, and p...Show more Uniti Med is seeking an experienced MRI Tech for an exciting Travel Allied job in Longview, WA.Shift : Inquire Start Date : 12 / 01 / 2025 Duration : 13 weeks Pay : $2496 / Week.
Uniti Med provides career o...Show more 
Pre-employment background check and drug screen required.Maintenance Planner to Demonstrate Competence : .The Maintenance Coordinator will be responsible to plan and schedule the maintenance program ...Show more A company is looking for a Verification Associate to support the operations team with invoice verification and administrative tasks.
Key Responsibilities Verify the accuracy of invoices and ensure...Show more 
Ventura MedStaff is seeking an experienced MRI Tech for an exciting Travel Allied job in Longview, WA.Shift : Inquire Start Date : 12 / 01 / 2025 Duration : 13 weeks Pay : $2340 / Week.Founded in 2018 and ...Show more A company is looking for a Cortex XSIAM Consultant to join a premier cyber security organization remotely.Key Responsibilities Serve as a Technical Consultant for clients implementing Cortex XSIA...Show more 
Fusion Medical Staffing is seeking an experienced MRI Tech for an exciting Travel Allied job in Longview, WA.Shift : Inquire Start Date : ASAP Duration : 13 weeks Pay : $2200 / Week.Facility in Longvie...Show more Lancesoft is seeking an experienced MRI Tech for an exciting Travel Allied job in Longview, WA.Shift : 4x12 hr nights Start Date : 12 / 01 / 2025 Duration : 13 weeks Pay : $3403 / Week.LanceSoft’s mission ...Show more 
NASDAQ : ADI ) is a global semiconductor leader that bridges the physical and digital worlds to enable breakthroughs at the Intelligent Edge.
ADI combines analog, digital, and software technologie...Show more
Travel - Cath Lab Tech
Titan Medical Group • Washougal, WA, US
Full-time
Last updated: less than 1 hour ago • Promoted • New!
Travel - CT Technologist
Titan Medical Group • Yacolt, WA, US
Full-time
Last updated: less than 1 hour ago • Promoted • New!
Travel MRI Tech - $2079.94 / Week
Atlas MedStaff • Longview, WA, US
Full-time
Last updated: 30+ days ago • Promoted
Lead, Assembler I, Optics - 1st Shift
SigSauer • Tualatin, OR, US
Full-time
Last updated: 30+ days ago • Promoted
Travel MRI Tech - $2695 / Week
Lancesoft • Longview, WA, US
Full-time
Last updated: 2 days ago • Promoted
Travel MRI Tech - $2600 / Week
Uniti Med • Longview, WA, US
Full-time
Last updated: 2 days ago • Promoted
Software Verification Specialist
VirtualVocations • Aloha, Oregon, United States
Full-time
Last updated: 30+ days ago • Promoted
Software Verification Engineer
VirtualVocations • Aloha, Oregon, United States
Full-time
Last updated: 30+ days ago • Promoted
Performance Engineer
VirtualVocations • Aloha, Oregon, United States
Full-time
Last updated: 30+ days ago • Promoted
Floating Point Verification Engineer
VirtualVocations • Aloha, Oregon, United States
Full-time
Last updated: 3 days ago • Promoted
Travel MRI Tech - $2496 / Week
Uniti Med • Longview, WA, US
Full-time
Last updated: 2 days ago • Promoted
Maintenance Technician
Lignetics Inc. • Columbia City, OR, US
Full-time
Last updated: 19 hours ago • Promoted • New!
Verification Associate
VirtualVocations • Vancouver, Washington, United States
Full-time
Last updated: 1 day ago • Promoted
Travel MRI Tech - $2340 / Week
Ventura MedStaff • Longview, WA, US
Full-time
Last updated: 9 days ago • Promoted
Cortex XSIAM Consultant
VirtualVocations • Vancouver, Washington, United States
Full-time
Last updated: 30+ days ago • Promoted
Travel MRI Tech - $2200 / Week
Fusion Medical Staffing • Longview, WA, US
Full-time
Last updated: 13 days ago • Promoted
Travel MRI Tech - $3403 / Week
Lancesoft • Longview, WA, US
Full-time
Last updated: 2 days ago • Promoted
Epitaxy Technician 5, Equipment Engineering
1010 Analog Devices Inc. • Beaverton, OR, United States
Full-time +1
Last updated: 30+ days ago • Promoted