Researcher Lean 4 Formal Proof Systems Jobs in New Delhi

ethical AI opportunities in India

Jobs Found

Researcher - Lean 4 & Formal Proof Systems

🏢 Alignerr 📍 New Delhi, Delhi, India
Full time Computer-Occupations
View Career Details

Applied Formal Methods Researcher (Lean 4)

🏢 Alignerr 📍 New Delhi, Delhi, India
Full time Computer-Occupations
View Career Details

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr 📍 New Delhi, Delhi, India
Full time Mathematical-Science-Occupations
View Career Details

Advanced Math Proof Expert

🏢 Weekday AI 📍 New Delhi, Delhi, India
Full-time Mathematical-Science-Occupations
View Career Details

AI Security Researcher – AI-Native Platform | Red Teaming, Jailbreaking, Bug Bounty

🏢 CareerXperts Consulting 📍 New Delhi, Delhi, India
Full-time Computer-Occupations
View Career Details

Director

🏢 Tata Consultancy Services 📍 New Delhi, Delhi, India
Full-time Top-Executives
View Career Details

User Experience Researcher

🏢 Target 📍 New Delhi, Delhi, India
Full-time Computer-Occupations
View Career Details

Researcher

🏢 News from Non Aligned World 📍 new delhi, new delhi, India
Full-time Other-General
View Career Details

Researcher

🏢 News from Non Aligned World 📍 New Delhi, New Delhi, India
Full-time Social-Scientists-and-Related-Workers
View Career Details

Formal Verification Engineer

🏢 MediaTek 📍 New Delhi, Delhi, India
Full-time Engineers
View Career Details

ASIC Verification Engineer AE

🏢 Cadence 📍 New Delhi, Delhi, India
Full-time Computer-Occupations
View Career Details

Content Checker / Proof Reader

🏢 Innova ESI 📍 New Delhi, Delhi, India
Full time Other-Office-and-Administrative-Support-Workers
View Career Details

Remote Chemistry Specialist - 61660

🏢 Turing 📍 New Delhi, New Delhi, India
Full-time Physical-Scientists
View Career Details

Remote Chemistry Specialist - 61660

🏢 Turing 📍 new delhi, new delhi, India
Full-time Other-General
View Career Details

Formal Verification

🏢 Ignitarium 📍 New Delhi, Delhi, India
Full-time Computer-Occupations
View Career Details

Quantitative Researcher

🏢 Blue Genes Research (BGR) 📍 New Delhi, Delhi, India
Full-time Mathematical-Science-Occupations
View Career Details

Lean Coach

🏢 Jabil 📍 New Delhi, Delhi, India
Full-time Business-Operations-Specialists
View Career Details

Senior Quantitative Researcher

🏢 AAA Global 📍 New Delhi, Delhi, India
Full-time Mathematical-Science-Occupations
View Career Details

Technical Architect Chapter lead_Java Microservices

🏢 Tata Consultancy Services 📍 New Delhi, Delhi, India
Full-time Computer-Occupations
View Career Details