Find jobs in AI/ML, Data Science and Big Data
12 results
for Formal verification
(Skill/Tech stack)
-
Machine Learning Design Engineer, Silicon INR 3400K-5000KASIC design | Area Optimization | Assertion-based Formal Verification | CHISEL | CacheSenior-level Full TimeBengaluru, Karnataka, India3h 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 States2d ago
-
Head of Robotics System Engineering, Humanoid Team JPY 6000K-10000KBLDC FOC | C++ | CAN-FD | Cybersecurity | DDSExecutive-level Contract Full TimeTokyo3d ago
-
Head of Security - Dragonfly Portfolio USD 192K-280KAML/KYC | AWS | Blockchain Security | Compliance Management | Contract auditingExecutive-level Full TimeAPAC, EMEA4d ago
-
Postdoctoral Fellow - Robotics Institute USD 110K-167KData Analysis | Data Collection and Testing | Data collection | Experimental benchmarking | Formal verificationChildcare support | Comprehensive health insurance | Fitness center access | Paid time off | Retirement savings planSenior-level Full TimePittsburgh, United States10d 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 R12d ago
-
Academic Writing | Data Analysis | Data collection | Experimental Design | Formal verificationFixed-term contractMid-level Full TimeUnited Kingdom15d ago
-
AI Software Engineer – Level 3 or 4 USD 125K-258KAnomaly Detection | C plus plus | C plus plus Programming | CUDA | Differentiable Optimization9/80 schedule with every other Friday off | Onsite work | Relocation assistance | Travel 10 percentSenior-level Full TimeVADU01, United States25d ago
-
Technical Specialist - AI / Computer Science GBP 70K-105KAI tools | Category theory | Formal Methods | Formal Models | Formal verificationAnnual leave | Cycle to work scheme | Employee assistance programme | Enhanced family leave arrangements | Hybrid workingMid-level Full TimeLondon27d ago
-
ASIC | C plus plus | C# | Clock Domain Crossing | Coverage analysisSenior-level Full TimeMountain View, CA, USA1mo ago
-
Principal Software Engineer - Python USD 120K-200KAI | API Development | Cloud services | Distributed Systems | DockerSenior-level Full TimeBoston, Massachusetts, United States1mo ago
-
Design verification | Digital design | Digital design verification | Formal verification | Simulation toolsCollaborative culture | Remote workSenior-level Full TimeMunich, Germany1mo ago