গণিতবিদ – ভিত্তি ও আনুষ্ঠানিক প্রমাণ (AI প্রশিক্ষণ)

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

গণিতবিদ – ভিত্তি ও আনুষ্ঠানিক প্রমাণ (AI প্রশিক্ষণ) ভূমিকা সম্পর্কে: আপনার আনুষ্ঠানিক গণিতের গভীর জ্ঞান কি সরাসরি প্রভাবিত করতে পারে কিভাবে বিশ্বের সবচেয়ে উন্নত AI সিস্টেমগুলি যুক্তি করে, প্রমাণ করে ও চিন্তা করে? এই সুযোগটি কঠোর প্রমাণ ও আনুষ্ঠানিক সিস্টেমের প্রতি আগ্রহী গণিতবিদদের জন্য যারা ফ্রন্টিয়ার AI নির্ভর করে এমন গাণিতিক ভিত্তি তৈরিতে সহায়তা করতে চান

আপনি কী করবেন

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

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

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

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

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