গণিতবিদ – ফর্মাল সিস্টেম ও এআই ফাউন্ডেশন (রিমোট চুক্তি)

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

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

আপনি কী করবেন

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

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

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

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

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