Find jobs in AI/ML, Data Science and Big Data
18 results
for Formal verification
(Skill/Tech stack)
-
Postdoctoral Fellow - Robotics Institute USD 62K-80KData Analysis | Data collection | Experimental Design | Formal verification | Literature reviewChildcare support | Comprehensive health insurance | Fitness center access | Holidays | Paid time offNone Full TimePittsburgh, United States1d 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, …2d ago
-
AI Research Engineer USD 100K-300KAutomated Reasoning | Automated testing | Code generation | Dynamic analysis | Formal verificationSenior-level Full TimeSan Francisco, CA5d ago
-
ARM | Acceptance Testing | Boundary definition | C# | ConcurrencySenior-level Full TimeTampa (USA), United States6d ago
-
Agent systems | Artificial Intelligence | Auditability | Bayesian Inference | Control TheorySenior-level Full TimeDublin, CA (HQ)8d ago
-
Agent systems | Artificial Intelligence | Bayesian Inference | Control Theory | Decision MakingSenior-level Full TimeDublin, CA (HQ)8d ago
-
Agent systems | Artificial Intelligence | Auditability | Bayesian Inference | Decision MakingSenior-level Full TimeDublin, CA (HQ)8d ago
-
ARM | Altera | C plus plus | Embedded C | Embedded C plus plusMid-level Full TimeCambridge, MA, United States9d 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 States10d 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 R10d ago
-
Senior Software Engineer, Embedded Security, Silicon USD 174K-252KARM architecture | C# | C++ | Cryptography | Embedded LinuxSenior-level Full TimeMountain View, CA, USA; San Diego, …14d 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 States15d ago
-
Convergence Criteria | Docker | Error Bounds | Floating Point Tolerance | Floating pointMid-level Contract Full TimeColombia - Remote R17d ago
-
Machine Learning Design Engineer, Silicon INR 3400K-5000KASIC design | Area Optimization | Assertion-based Formal Verification | CHISEL | CacheSenior-level Full TimeBengaluru, Karnataka, India20d ago
-
Postdoctoral Fellow - Robotics Institute USD 62K-75KData Analysis | Data collection | Data evaluation | Experimental Design | Formal verificationChildcare support | Comprehensive medical insurance | Disability insurance | Fitness center access | Life insuranceNone Full TimePittsburgh, United States22d ago
-
Head of Robotics System Engineering, Humanoid Team JPY 6000K-10000KBLDC FOC | C++ | CAN-FD | Cybersecurity | DDSExecutive-level Contract Full TimeTokyo23d ago
-
Head of Security - Dragonfly Portfolio USD 192K-280KAML/KYC | AWS | Blockchain Security | Compliance Management | Contract auditingExecutive-level Full TimeAPAC, EMEA25d 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