গণিতবিদ – ভিত্তি ও আনুষ্ঠানিকতা (AI গবেষণা চুক্তি)

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

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

আপনি কী করবেন

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

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

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

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

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