গণিতবিদ – আনুষ্ঠানিক প্রমাণ ও AI গবেষণা (রিমোট কন্ট্র্যাক্ট)

ভূমিকার সংক্ষিপ্ত বিবরণ

গণিতবিদ – আনুষ্ঠানিক প্রমাণ ও AI গবেষণা (রিমোট কন্ট্র্যাক্ট)। এই সুযোগটি কঠোর প্রমাণ ও আনুষ্ঠানিক সিস্টেমের প্রতি আগ্রহী গণিতবিদদের জন্য — ফ্রন্টিয়ার AI যে গাণিতিক ভিত্তির উপর নির্ভর করে তা গড়তে সাহায্য করুন

আপনি কী করবেন

• অনানুষ্ঠানিক গাণিতিক যুক্তিকে কঠোর, মেশিন-যাচাইযোগ্য আকারে রূপান্তর করে পরিষ্কার, পাঠযোগ্য ও সুগঠিত আনুষ্ঠানিক প্রমাণ তৈরি করুন
• বিদ্যমান আনুষ্ঠানিক প্রমাণ সঠিকতা, সম্পূর্ণতা এবং যৌক্তিক অখণ্ডতার জন্য অডিট ও যাচাই করুন
• অনানুষ্ঠানিক গাণিতিক ধারণাকে কাঠামোবদ্ধ, মেশিন-যাচাইযোগ্য আনুষ্ঠানিক প্রমাণে অনর্গলভাবে রূপান্তর করতে পারেন

প্রয়োজনীয়তা ও শর্তাবলী

• অবস্থান: রিমোট
• প্রতিশ্রুতি: সপ্তাহে ১০–৪০ ঘণ্টা
• গণিত বা ঘনিষ্ঠভাবে সম্পর্কিত বিষয়ে মাস্টার্স ডিগ্রি বা PhD ধারণ করেন
• আনুষ্ঠানিক প্রমাণ সহায়কে (Lean 4 দৃঢ়ভাবে পছন্দ) ব্যবহারিক অভিজ্ঞতা আছে
• অনানুষ্ঠানিক গাণিতিক ধারণাকে কাঠামোবদ্ধ, মেশিন-যাচাইযোগ্য আনুষ্ঠানিক প্রমাণে অনর্গলভাবে রূপান্তর করতে পারেন
• স্ব-অনুপ্রাণিত এবং রিমোট, অ্যাসিঙ্ক্রোনাস পরিবেশে স্বাধীনভাবে কাজ করতে স্বাচ্ছন্দ্যবোধ করেন
• প্রমাণ যাচাই, উপপাদ্য প্রমাণ বা গাণিতিক আনুষ্ঠানিককরণ প্রকল্পে পূর্ব অভিজ্ঞতা
• একাধিক গাণিতিক ক্ষেত্রে অভিজ্ঞতা — টপোলজি, বীজগণিত, বিশ্লেষণ, যুক্তি এবং আরও বেশি

অতিরিক্ত উৎস বিবরণ

• গণিতের বিস্তৃত পরিসরে Lean 4-এ উন্নত গাণিতিক যুক্তি ও উপপাদ্য আনুষ্ঠানিক করুন
• mathlib সহ বড় আকারের আনুষ্ঠানিক গাণিতিক লাইব্রেরির বৃদ্ধি ও মান বাড়াতে অবদান রাখুন
• AI গবেষণার সীমান্তে কাজ করুন, গণিতগতভাবে সক্ষম ভাষা মডেলের পরবর্তী প্রজন্মকে প্রশিক্ষণে সহায়তা করুন