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

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

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

আপনি কী করবেন

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

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

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

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

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