Find jobs in AI/ML, Data Science and Big Data
23 results
for Formal verification
(Skill/Tech stack)
-
Sr Deep Learning Hardware Engineer EUR 76K-142KAMBA | Assertion-based verification | Bus Functional Model | C plus plus | C#Hybrid work model | Work-life balance flexibilitySenior-level Full TimeIRL - Leixlip, Ireland4d ago
-
Software Engineer – Embedded Test (Level 3 or 4) USD 114K-213KC# | C++ | Formal verification | Linux | Object-Oriented401k | Dental insurance | Educational assistance | Employee assistance programs | Employee discountsSenior-level Full TimeCAMBHMT3, United States5d ago
-
Research Scientist, AI Verification GBP 255K-325KAI Reasoning | Agent Design | Automatic Program Analysis | Benchmarking | Data PipelinesMid-level Full TimeParis, France | London, UK11d ago
-
3D electromagnetic | 3D electromagnetic modeling | AQFP | Clock synchronization | Computer Aided DesignSenior-level Full TimeGoleta, CA, USA; Cambridge, MA, USA12d ago
-
Accelerated inference | C plus plus | Deep learning | Edge AI | Embedded SystemsEntry-level Full TimeRenningen, BW, Germany13d ago
-
Principal Embedded Software Engineer USD 123K-191KBare Metal | C# | C++ | Cause analysis | Co-design401k | Dental insurance | Disability insurance | Flexible work schedule | Health insuranceSenior-level Full TimeMelbourne, FL, US, 3293514d ago
-
Automation | EMIR analysis | Formal verification | FusionCompiler | IR-DropSenior-level Full TimeCupertino, California, USA18d ago
-
RTL Design(Turing-AI/ML)-Sr Engineer/Sr Lead INR 1500K-2500KAssertions | CDC | DFT | Formal verification | LintSenior-level Full TimeBangalore, Karnataka, India19d ago
-
4G | 5G-NR | 80211ad | ARM | CellularCareer growth | Flexible working hours | Mentorship | Work-life balanceMid-level Full TimeCupertino, California, USA22d ago
-
Agent systems | C++ | Confidential Computing | Cryptography | Evaluation benchmarksConference publication opportunities | Research collaboration opportunities | Student mentorshipMid-level Full TimeNTU Main Campus, Singapore22d ago
-
Applied Scientist, Navigation USD 142K-222K3D Perception | Agent coordination | Artificial Intelligence | C++ | Computer Vision401k matching | Adoption and surrogacy reimbursement | Dental insurance | EAP | Flexible spending accountsSenior-level Full TimeSan Francisco, California, USA27d ago
-
ASIC | C plus plus | C# | EDA Tools | EmulationSenior-level Full TimeSunnyvale, CA1mo ago
-
Senior Engineer, Embedded Software USD 100K-125KC# | C++ | Class III medical devices | Csharp | DSP audio401k plan with company match | Accident and hospital indemnity coverage | Company paid life and accidental death and dismemberment insurance | Company paid short term and long term disability coverage | Diversity day floating daySenior-level Full TimeValencia (CA), United States1mo ago
-
ACE | APB | ARM | AXI | Constrained randomSenior-level Full TimeMountain View, CA, USA1mo ago
-
Staff Design Verification Engineer (AI/ML) USD 127K-175KAI/ML | Back Annotation | Behavioral Abstraction | Cadence JasperGold | Cadence XceliumSenior-level Full TimeUS, AZ, Chandler, East Elliot, United …1mo ago
-
Sr. Principal Embedded System Security Engineer (Onsite - Marlborough, MA) Secret Clearance Required USD 132K-251KAgile Scrum | Analysis | Cameo | Confluence | Cybersecurity401k match | Dental insurance | Disability coverage | Employee assistance program | Life insuranceSenior-level Full TimeUS-MA-MARLBOROUGH-MA2 ~ 1001 Boston Post Rd …1mo ago
-
Abstract interpretation | Application Security | Automated Reasoning | Compositional heap analysis | Coq401k matching | Flexible work hours | Paid time off | Parental leaveSenior-level Full TimeNew York, New York, USA1mo ago
-
Sr. Embedded Systems Security Engineer (Onsite - Marlborough, MA) Secret Clearance required USD 86K-165KCameo | Confluence | Cybersecurity | Cybersecurity Testing | DOORS401k match | Child and elder care | Critical Illness Insurance Optional | Dental insurance | Disability insuranceSenior-level Full TimeUS-MA-MARLBOROUGH-MA2 ~ 1001 Boston Post Rd …1mo ago
-
AHB | ASIC design | AXI | Box testing | C#On site work in CanadaSenior-level Full TimeToronto, Ontario1mo ago
-
Applied Scientist, Agentic Automated Reasoning GBP 100K-180KArtificial Intelligence | Assembly | Automated Test | Automated Test Generation | Cloud ComputingMid-level Full TimeLondon, England, GBR1mo ago
-
Applied Scientist, Agentic Automated Reasoning GBP 97K-125KAutomated Test | Automated Test Generation | C++ | Formal verification | Generative AISenior-level Full TimeLondon, England, GBR1mo ago
-
Principal Embedded Systems Engineer (T05) USD 132K-175KAnalog design | Azure DevOps | Bare Metal | C# | C++Disability benefits | Employee assistance resources | Healthcare coverage | Learning and development resources | Life insurance ADandDSenior-level Full TimeIndianapolis, Indiana, United States1mo ago
-
Head of Robotics System Engineering, Humanoid Team JPY 6000K-9653KBLDC FOC | C++ | CAN-FD | Cybersecurity | DDSExecutive-level Contract Full TimeTokyo1mo ago