Find jobs in AI/ML, Data Science and Big Data
6 results
for Formal verification
(Skill/Tech stack)
-
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 States5d 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 TimeLondon7d ago
-
ASIC | C plus plus | C# | Clock Domain Crossing | Coverage analysisSenior-level Full TimeMountain View, CA, USA15d ago
-
Principal Software Engineer - Python USD 120K-200KAI | API Development | Cloud services | Distributed Systems | DockerSenior-level Full TimeBoston, Massachusetts, United States19d ago
-
Applied Scientist - Automated Reasoning USD 200K-250KAutomated Reasoning | Cryptol | Formal Methods | Formal verification | KaniImpactful work | Opportunities for growth | Professional development | Team collaborationSenior-level Full TimeArlington, VA, United States24d ago
-
Design verification | Digital design | Digital design verification | Formal verification | Simulation toolsCollaborative culture | Remote workSenior-level Full TimeMunich, Germany1mo ago