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

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

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

আপনি যা করবেন

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

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

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

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

• Lean 4-এ উন্নত গাণিতিক যুক্তি ও উপপাদ্য আনুষ্ঠানিকীকরণ, বিস্তৃত গাণিতিক শাখা জুড়ে