Find jobs in AI/ML, Data Science and Big Data
6 results
for Formal Methods
(Skill/Tech stack)
-
AES - DE - Generative AI Application Developers INR 2000K-5000KAWS | Application Security | Authentication | Authorization | AzureSenior-level Full TimePune, Maharashtra, India10h ago
-
AES - DE - Generative AI Application Developers INR 2800K-3500KAWS | Application Security Testing | Authentication | Authorization | AzureSenior-level Full TimePune, Maharashtra, India10h ago
-
C++ | Computer Vision | Deep learning | Formal Methods | Generative AIConference Publications | Intern events | Mentorship | Networking opportunitiesEntry-level Full Time InternshipCairo, EGY1d ago
-
Agentic tool use | Data collection | Dataset creation | Diffusion Models | Fine TuningMid-level Full TimeFoster City, CA2d 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 TimeLondon12d 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 States29d ago