Find jobs in AI/ML, Data Science and Big Data
20 results
for Formal verification
(Skill/Tech stack)
-
Chiplet architecture | Computer Architecture | Formal verification | Microarchitecture | QuestaMentorship | Relocation support | Remote workSenior-level Full TimeMunich, Germany3d ago
-
Intern, Applied AI USD 44K-64KAgentic AI | Digital Twins | Fault injection | Formal verification | Generative AI401k | Flexible work schedule | Health insurance | Paid HolidaysEntry-level Full Time InternshipUnited States of America Austin5d ago
-
Intern, Applied AI USD 44K-64KDigital Twins | Fault injection | Formal verification | Generative AI | Industrial Automation401k | Dental insurance | Flexible work schedule | Health insurance | Paid HolidaysEntry-level Full Time InternshipUnited States of America Austin5d ago
-
Automation | Bare Metal | Debugging | Embedded Software | Emulation401k matching | Dental insurance | Employee assistance program | Flexible spending accounts | Health insuranceEntry-level Full TimeAustin, Texas, USA6d ago
-
Abstraction | Artificial Intelligence | Benchmarking | Convex Optimization | Data AnalysisMentorship opportunities | Research collaborationMid-level Full TimeNTU Main Campus, Singapore7d ago
-
AI Security | Adversarial Machine Learning | Artificial Intelligence | Benchmark Datasets | Deep learningMentoring | Publication opportunities | Research collaborationSenior-level Full TimeNTU Main Campus, Singapore7d ago
-
Research Scientist in the Center for Interdisciplinary Data Science and Artificial Intelligence (CIDSAI) - Dr. Pierre Youssef AED 108K-156KAgent systems | Coq | Formal verification | Isabelle | Language ModelsEducational subsidies for children | Housing subsidyEntry-level Full TimeAbu Dhabi, UAE14d ago
-
Deep learning | Evaluation | Formal verification | GPU Cluster | Language Models401k match | Dental insurance | Employee assistance program | Flexible work schedule | HolidaysEntry-level Internship Part TimeUS-CT-EAST HARTFORD-RTRC K ~ 411 Silver …14d ago
-
Robotics Engineer - Autonomous Data Center Systems USD 169K-355KAlerting | Automation | CI/CD | Cause analysis | Change ManagementSenior-level Full TimeUnited States18d ago
-
Constrained random | Constrained random verification | Control Status Registers | Coverage analysis | Formal verificationSenior-level Full TimeSan Diego, CA, USA; Mountain View, …20d ago
-
Research Scientist, AI Verification GBP 255K-325KAI Reasoning | Agent Design | Automatic Program Analysis | Benchmarking | Data PipelinesMid-level Full TimeParis, France | London, UK1mo 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, 329351mo ago
-
Automation | EMIR analysis | Formal verification | FusionCompiler | IR-DropSenior-level Full TimeCupertino, California, USA1mo ago
-
4G | 5G-NR | 80211ad | ARM | CellularCareer growth | Flexible working hours | Mentorship | Work-life balanceMid-level Full TimeCupertino, California, USA1mo ago
-
Agent systems | C++ | Confidential Computing | Cryptography | Evaluation benchmarksConference publication opportunities | Research collaboration opportunities | Student mentorshipMid-level Full TimeNTU Main Campus, Singapore1mo 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, USA1mo 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
-
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
-
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