Formal Verification jobs in Orlando, FL

FPGA Design Engineer Sr. Staff - Orlando, FL

Orlando, Florida

•

Today

Job Description You will be a FPGA Design Engineer for our team, responsible for designing, developing, and implementing RF solutions using Field-Programmable Gate Arrays (FPGAs). Our team is responsible for creating innovative systems that drive business growth and customer satisfaction. What You Will Be Doing As the FPGA Design Engineer, you will lead the digital hardware definition and implementation of complex FPGA-based systems, working closely with algorithm developers, systems engineers

Full-time

USD 145,200.00 - 255,990.00 per year

Senior Computer Systems Engineer/Architect

Remote

•

Today

Overview GovCIO is currently hiring a Senior Computer Systems Engineer/Architect to support our with our US Coast Guard program. This position will be located within United States and will and will be a full remote position. Responsibilities Gathers information concerning the capabilities of Company products; investigates the technical capabilities of Company products and competing equipment and/or solutions; stays abreast of developments in hardware and software. Generates quantifiable requi

Full-time

USD 120,000.00 - 136,000.00 per year

Senior Blockchain Engineer- Remote, Worldwide

Remote or Boston, Massachusetts

•

16d ago

Are you the one? We are looking for an experienced and motivated Senior Blockchain Engineer to design and build secure, high-performance blockchain solutions for institutional and enterprise clients. You will design and implement blockchain-based systems across the web3 ecosystem: from protocol-level components and smart contracts to Institutional DeFi and enterprise-grade financial applications. This remote-first role involves deep collaboration with internal engineering and research teams, as

Full-time

Senior Blockchain Engineer- Remote, Worldwide

Remote or New York, New York

•

16d ago

Full-time

Senior System Software Engineer - QNX BSP and IO Virtualization

Remote or Santa Clara, California

•

Today

We have an exciting opportunity for a talented Senior System Software Engineer to join our dynamic Automotive Team and help us develop innovative, secure, and high-performance automotive systems. If you have a good understanding of System Software development on Real Time OS (RTOS), ARM architecture, Virtualization, strong C and/or Ada/SPARK programming skills, and experience with formal methods, we want to hear from you! Join us in creating the future of automotive technology and be part of a t

Full-time

USD 184,000.00 per year

Cyber Security Engineer - Hybrid Work Opportunity

Remote or Arlington, Virginia

•

Today

Type of Requisition: Regular Clearance Level Must Currently Possess: Top Secret Clearance Level Must Be Able to Obtain: Top Secret/SCI Public Trust/Other Required: None Job Family: Cyber and IT Risk Management Job Qualifications: Skills: Cyber Defense, Cybersecurity, Information Assurance, Information Technology Security, Network Security Certifications: CompTIA Security+ CE | CompTIA - CompTIA Experience: 5 + years of related experience ship Required: Yes Job Description: Transform techn

Full-time

USD 89,250.00 - 120,750.00 per year

Silicon Front End CAD-DV Engineer

Remote or Austin, Texas

•

Today

Grow with us Silicon Front End CAD - DV Engineer (ASIC/FPGA) Ericsson Inc. does not sponsor US work authorizations for this job position including H-1B, O-1, and TN. Ericsson also does not hire F-1's working onfor this position. This is not a remote opportunity. Are you a hands-on engineer and ready to shape the future of silicon verification methodology and tools on a global scale? Join our Design Verification Methodology team - a newly established global group defining methodologies and EDA

Full-time

USD 175,000.00 - 225,000.00 per year

W2-Los Angeles, CA, USA (Remote) :: Electronic Design Automation (EDA) Implementation Specialist

Remote

•

8d ago

Electronic Design Automation (EDA) Implementation Specialist 6+Months Los Angeles, CA, USA (Remote) Job Overview: Join our committed team as an EDA Tool Optimization and Management Specialist, where you will play a pivotal role in administering and refining Electronic Design Automation (EDA) tool implementations. Your efforts will streamline design processes, enhance engineering productivity, and ensure our teams are equipped with the latest EDA solutions, achieving excellence both on-premise an

Easy Apply

Full-time

Depends on Experience

Design Verification Engineer

Remote or California

•

Today

Skills: Standard DV skills. Candidate must have experience with processor based C -tests. SV & UVM (TB and test development, debug) Functional & code coverage Formal Verification (connectivity checks) CDC verification Emulation/Post Silicon Platform Gate Level Simulation Understanding CPU based Flow (Specifically on ARM processor based) - interconnects, boot, caches, MMU, interrupts Processor based C test development and debug Protocol knowledge (AXI, APB, CHI, PCIe, HBM, DDR etc.) SoC Architec

Easy Apply

Contract, Third Party

Formal Methods Engineer

Remote

•

Today

Are you interested in playing in the gray space of Research and Development and the delivery of secure and scalable production-quality reusable software? If so, we are seeking a highly skilled and experienced Principal Software Engineer with a strong background in production software delivery and formal methods, including formal modeling, verification, specification, and analysis. The ideal candidate will play a critical role in improving the quality, cybersecurity, and resiliency of software de

Full-time

USD 154,050.00 - 278,475.00 per year

Filter Results

Job post features

Posted date

Work settings

Employment type

Distance

Employer type

Work authorization

Formal Verification jobs in Orlando, FL, USA