गणितज्ञ – औपचारिक प्रमाण और AI अनुसंधान (रिमोट अनुबंध)

भूमिका का अवलोकन

गणितज्ञ – औपचारिक प्रमाण और AI अनुसंधान (रिमोट अनुबंध)। क्या होगा अगर औपचारिक गणित का आपका गहन ज्ञान सीधे यह आकार दे सके कि दुनिया के सबसे उन्नत AI सिस्टम कैसे तर्क करते, सिद्ध करते और सोचते हैं? यह अवसर उन गणितज्ञों के लिए है जिन्हें कठोर प्रमाण और औपचारिक प्रणालियों का जुनून है — फ्रंटियर AI की गणितीय नींव तैयार करने में मदद करें।

आप क्या करेंगे

• स्वच्छ, पठनीय और सुव्यवस्थित औपचारिक प्रमाण तैयार करें जो अनौपचारिक गणितीय तर्क को कठोर मशीन-जांच योग्य रूप में बदलें
• शुद्धता, पूर्णता और तार्किक अखंडता के लिए मौजूदा औपचारिक प्रमाणों का ऑडिट और सत्यापन करें
• अनौपचारिक गणितीय विचारों को संरचित, मशीन-सत्यापन योग्य औपचारिक प्रमाणों में धाराप्रवाह रूप से बदल सकें

आवश्यकताएं और शर्तें

• स्थान: रिमोट
• प्रतिबद्धता: 10–40 घंटे/सप्ताह
• गणित या निकट संबंधित क्षेत्र में Master's या PhD की डिग्री
• औपचारिक प्रमाण सहायकों के साथ व्यावहारिक अनुभव — Lean 4 अत्यधिक पसंदीदा
• अनौपचारिक गणितीय विचारों को संरचित, मशीन-सत्यापन योग्य औपचारिक प्रमाणों में धाराप्रवाह रूप से बदल सकें
• स्व-प्रेरित और रिमोट, असिंक्रोनस वातावरण में स्वतंत्र रूप से काम करने में सहज
• प्रमाण सत्यापन, प्रमेय सिद्धांत, या गणितीय औपचारिकता परियोजनाओं का पूर्व अनुभव
• कई गणितीय क्षेत्रों में अनुभव — टोपोलॉजी, बीजगणित, विश्लेषण, तर्कशास्त्र, और अन्य

अतिरिक्त विवरण

• Lean 4 में उन्नत गणितीय तर्कों और प्रमेयों को औपचारिक रूप दें, गणितीय विषयों की विस्तृत श्रृंखला में
• mathlib सहित बड़े पैमाने पर औपचारिक गणितीय पुस्तकालयों की वृद्धि और गुणवत्ता में योगदान करें
• AI अनुसंधान के अग्रभाग पर काम करें, गणितीय रूप से सक्षम भाषा मॉडलों की अगली पीढ़ी को प्रशिक्षित करने में मदद करें