Senior Software Engineer

Explore some of the amazing innovations delivered by our customers
Ecosystem
Learn about how we collaborate with partners, service providers, and affiliates
In the News
Find articles about OneSpin
Events
Meet with OneSpin at industry events
Press Releases
Get the latest updates
Contact Us
Get in touch with us
Solutions
Solutions Overview
Functional Correctness
Rigorous coverage-driven functional verification from block to chip, leveraging formal technology
Heterogenous Computing
Thorough verification of complex SoC platforms used for 5G wireless, IoT, and AI applications
Safety
Functional safety analysis and higher diagnostic coverage to meet certification requirements
Automotive and Industrial
Systematic bug elimination and metrics on proper handling of random errors in the field
Trust and Security
Automated detection of hardware Trojans and vulnerabilities to adversary attacks
RISC-V
Proof of compliance to instruction set architecture (ISA) with no gaps or inconsistencies
Products
Product Overview
360 DV-Inspect
Automatic and exhaustive analysis of a code base for classic implementation problems
360 DV-Verify
Unified, coverage-driven assertion-based verification, including a full automated apps library
360 DV-Certify
Unique detection of errors and omissions in requirements specification and verification plan
360 EC-FPGA
Functional correctness of FPGA synthesis from RTL code to final netlist
360 EC-ASIC
ASIC synthesis verification from RTL code to final netlist
360 EC-RTL
Sequential equivalence checking between RTL design revisions
FMEDA
Automate ISO 26262 FMEDA and minimize fault simulation
Apps Overview
DV-Inspect Apps
Structural Analysis, Safety Checks, Activation Checks
DV-Verify Apps
Quantify App, Scoreboarding, Protocol Compliance, Register Checking, Connectivity Checking, X-Propagation Analysis, Operational SVA
Specialized Apps
Processor Verification App, Connectivity XL App, Floating-Point Unit App, Fault Propagation Analysis, Arithmetic Analysis, Fault Injection App
Third Party Apps
Specification Validation
Platform Overview
360 LaunchPad
Formal platform for third party app developers
Cloud Solution
On-demand resources without IT trade-offs
Resources

New:

Customer Stories
Customer Case Studies by Product Type
Data Sheets
Download technical descriptions of OneSpin products
Flyers
Our flyers provide a high-level overview about our solutions
mehr...

zur Vakanz

Weitere Jobs von OneSpin