Find jobs in AI/ML, Data Science and Big Data
21 results
for Formal verification
(Skill/Tech stack)
-
Automated Reasoning | Cloud Security | Compliance | Compositional heap analysis | CoqFlexible work arrangements | Training and career growth | Work-life balanceSenior-level Full TimeNew York, New York, USA1d 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 …1d ago
-
AHB | ASIC design | AXI | Box testing | C#On site work in CanadaSenior-level Full TimeToronto, Ontario5d ago
-
3D electromagnetic | 3D electromagnetic modeling | AQFP | Adiabatic Quantum Flux Parametron | Clock synchronizationSenior-level Full TimeCambridge, MA, USA; Mountain View, CA, …6d ago
-
Applied Scientist, Agentic Automated Reasoning GBP 100K-180KArtificial Intelligence | Assembly | Automated Test | Automated Test Generation | Cloud ComputingMid-level Full TimeLondon, England, GBR6d ago
-
Applied Scientist, Agentic Automated Reasoning GBP 97K-125KAutomated Test | Automated Test Generation | C++ | Formal verification | Generative AISenior-level Full TimeLondon, England, GBR6d 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 States7d ago
-
Head of Robotics System Engineering, Humanoid Team JPY 6000K-9653KBLDC FOC | C++ | CAN-FD | Cybersecurity | DDSExecutive-level Contract Full TimeTokyo12d ago
-
RTL Design(Turing-AI/ML)-Sr Engineer/Sr Lead INR 1500K-2300KAssertion Language | CDC | Clocking | Computer system | Computer system architectureSenior-level Full TimeBangalore, Karnataka, India13d ago
-
Silicon Design Verification Engineer, Quantum AI USD 138K-198KARM | C-based testing | Chip verification | Constrained random | Constrained random verificationMid-level Full TimeMountain View, CA, USA; Goleta, CA, …22d ago
-
AI Research Engineer USD 100K-300KAutomated Reasoning | Automated testing | Code generation | Dynamic analysis | Formal verificationSenior-level Full TimeSan Francisco, CA25d ago
-
ARM | Acceptance Testing | Boundary definition | C# | ConcurrencySenior-level Full TimeTampa (USA), United States26d ago
-
Agent systems | Artificial Intelligence | Auditability | Bayesian Inference | Control TheorySenior-level Full TimeDublin, CA (HQ)29d ago
-
Agent systems | Artificial Intelligence | Bayesian Inference | Control Theory | Decision MakingSenior-level Full TimeDublin, CA (HQ)29d ago
-
Agent systems | Artificial Intelligence | Auditability | Bayesian Inference | Decision MakingSenior-level Full TimeDublin, CA (HQ)29d ago
-
ARM | Altera | C plus plus | Embedded C | Embedded C plus plusMid-level Full TimeCambridge, MA, United States29d ago
-
Agile | Bitbucket | C plus plus | C# | CI/CDCompany-Paid Holidays | Disability insurance | Health insurance coverage | Life insurance | Paid time offMid-level Full TimeFLME229, United States30d ago
-
Sr. Applied Scientist, Cedar Authorization USD 153K-235KC++ | Cedar | Constraint Solving | Formal verification | GoConference presentation opportunities | Mentorship | Open source community engagementSenior-level Full TimeFI, Virtual R30d ago
-
Senior Deep Learning Compiler Verification Engineer USD 140K-224KC++ | Formal verification | Graph optimization | IR lowering | JAXComprehensive benefits package | EquitySenior-level Full TimeUS, CA, Santa Clara, United States1mo ago
-
Head of Security - Dragonfly Portfolio USD 192K-280KAML/KYC | AWS | Blockchain Security | Compliance Management | Contract auditingExecutive-level Full TimeAPAC, EMEA1mo ago
-
Senior Software Engineer - Agentic AI USD 145K-195KAWS | Azure | Cloud Computing | Distributed Systems | Docker401k matching | Health insurance | Hybrid work arrangement | Paid time off | Relocation assistanceSenior-level Full TimeBoston, Massachusetts, United States - Remote R1mo ago