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

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

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

আপনি কী করবেন

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

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

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

অতিরিক্ত বিবরণ

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