Find jobs in AI/ML, Data Science and Big Data
16 results
for Formal verification
(Skill/Tech stack)
-
Applied Scientist, Automated Reasoning GBP 90K-120KAutomated Reasoning | Constraint Solving | Formal verification | Generative AI | Heuristic MethodsSenior-level Full TimeLondon, England, GBR7d ago
-
Applied Scientist, Automated Reasoning USD 192K-260KAutomated Reasoning | Constraint Solving | Formal verification | Generative AI | Heuristic SearchMid-level Full TimeNew York, New York, USA11d ago
-
ARM | ASIC design | Clock Domain | Clock Domain Crossing | DSPCareer growth | Flexible working hours | Mentorship | Work-life balanceMid-level Full TimeCupertino, California, USA12d ago
-
Research Associate (Computer Science) SGD 60K-120KFormal verification | Interactive theorem proving | Language theory | Programming language | Programming language theoryMid-level Full TimeNTU Main Campus, Singapore13d ago
-
Agile | Build Automation | C# | C++ | Code Development401k match | Dental insurance | Education Support Program | Life insurance | Long-term disabilityEntry-level Full TimeWA - O'Neill Building, United States15d ago
-
Bare Metal | Beam steering | Beamforming | Buildroot | Compilation Toolchain401k match | Dental insurance | Education Support Program | Life insurance | Long-term disabilitySenior-level Full TimeWA - O'Neill Building, United States15d ago
-
ASIC design | C# | CDC analysis | Clock Domain | Clock Domain CrossingOn-site workSenior-level Full TimeToronto, Ontario; Toronto, Ontario20d ago
-
0in | AHB | AI/ML | AI/ML hardware | AI/ML hardware accelerationSenior-level Full TimeToronto, Ontario20d ago
-
ASPICE | C# | C++ | CUDA | CoverityEmployee benefits | EquitySenior-level Full TimeUS, CA, Santa Clara23d ago
-
Computer Architecture | Coverage Driven | Coverage Driven Verification | Formal verification | MicroarchitectureMentoring | Remote workSenior-level Full TimeMunich, Germany R25d ago
-
Automation | Bare Metal | Debugging | Embedded Software | Emulation401k matching | Dental insurance | Employee assistance program | Flexible spending accounts | Health insuranceEntry-level Full TimeAustin, Texas, USA28d ago
-
Abstraction | Artificial Intelligence | Benchmarking | Convex Optimization | Data AnalysisMentorship opportunities | Research collaborationMid-level Full TimeNTU Main Campus, Singapore29d 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, UAE1mo 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, USA2mo ago