Researcher Lean 4 Formal Proof Systems Jobs in New Delhi
ethical AI opportunities in India
Jobs Found
A
Researcher - Lean 4 & Formal Proof Systems
🏢 Alignerr
📍 New Delhi, Delhi, India
A
Applied Formal Methods Researcher (Lean 4)
🏢 Alignerr
📍 New Delhi, Delhi, India
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 New Delhi, Delhi, India
C
AI Security Researcher – AI-Native Platform | Red Teaming, Jailbreaking, Bug Bounty
🏢 CareerXperts Consulting
📍 New Delhi, Delhi, India
T
Technical Architect Chapter lead_Java Microservices
🏢 Tata Consultancy Services
📍 New Delhi, Delhi, India
M
Leandata administrator (contract- 6 months)
🏢 Mavlers
📍 New Delhi, Delhi, India
M
Netsuite Technical Engineer (Experience in Netsuite API, scripting)
🏢 Marmon Technologies India Pvt Ltd
📍 New Delhi, Delhi, India
M
Formal Verification Engineer
🏢 Modernize Chip Solutions (MCS)
📍 New Delhi, Delhi, India
L
Formal Verification Engineer
🏢 L&T Technology Services
📍 New Delhi, Delhi, India