Find jobs in AI/ML, Data Science and Big Data
6 results
for Formal Methods
(Skill/Tech stack)
-
Agentic tool use | Data collection | Dataset creation | Diffusion Models | Fine TuningMid-level Full TimeFoster City, CA13d ago
-
Blockchain | C++ | Decentralized applications | Ethereum | Formal MethodsEntry-level Full TimeNTU Main Campus, Singapore16d ago
-
Blockchain | C plus plus | Ethereum | Formal Methods | JavaEntry-level Full TimeNTU Main Campus, Singapore16d ago
-
AES - DE - Generative AI Application Developers INR 2800K-3500KAWS | Application Security Testing | Authentication | Authorization | AzureSenior-level Full TimePune, Maharashtra, India20d ago
-
C++ | Computer Vision | Deep learning | Formal Methods | Generative AIConference Publications | Intern events | Mentorship | Networking opportunitiesEntry-level Full Time InternshipCairo, EGY22d 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 TimeLondon1mo ago