Mercor
Mercor
51 – 200 ملازمین
Mercor کے دستیاب پروفائل میں اس کی مصنوعات، خدمات، صارفین، شعبے یا بھرتی کے دائرۂ کار کے بارے میں درست کمپنی کا جائزہ پیش کرنے کے لیے کافی تصدیق شدہ معلومات شامل نہیں ہیں۔ کاروبار یا اس کے مواقع کی وضاحت کرنے سے پہلے مزید ماخذی مواد درکار ہے۔

لین ۴ رسمی ریاضیاتی انجینئر

اے آئی لیب کے لیے لین ۴ کے ثبوت لکھیں اور ان کا جائزہ لیں، ریاضی کو رسمی شکل دیں اور اے آئی کے تیار کردہ قضیہ ثابت کرنے کے کام کا جائزہ لیں۔

تفصیل

  • موجودہ mathlib کے ساتھ کمپائل ہونے والے معیاری لین ۴ بیانات اور ثبوت لکھیں۔
  • قدرتی زبان کے ذرائع سے ریاضی کو رسمی شکل دیں، جن میں مقابلوں کے مسائل، درسی کتابوں کے نتائج اور تحقیقی لیما شامل ہیں۔
  • اے آئی سسٹمز کے تیار کردہ بیانات اور ثبوتوں کا جائزہ لیں۔
  • ناکام ثبوت یا ایسے ثبوت تلاش کریں جو غلط نتیجہ ثابت کرتے ہوں، پھر واضح تحریری رائے دیں۔
  • ثبوت کے معیار، بیان کی مطابقت اور mathlib کے طریقۂ کار کے لیے معیارات اور جانچ کے پیمانے بنانے میں مدد کریں۔
  • یکساں معیارات برقرار رکھنے کے لیے لین انجینئرز اور لیب کے محققین کے ساتھ کام کریں۔
  • اے آئی سسٹمز کی تربیت اور بہتری کے منصوبوں میں حصہ ڈالیں۔

تقاضے

  • لین ۴ میں رسمی ثبوت لکھنے کا عملی تجربہ۔
  • mathlib اور لین ۴ ٹیکٹکس سے واقفیت، جس میں موزوں لیما تلاش کرنا اور لاگو کرنا شامل ہے۔
  • ثبوت پر مبنی ریاضی، نظریاتی کمپیوٹر سائنس یا منطق میں مضبوط بنیاد، جس کا ثبوت ڈگری یا تحقیقی ریکارڈ سے ملتا ہو۔
  • تحریری ریاضیاتی بیانات اور ثبوتوں کو درست رسمی بیانات اور جانچے گئے ثبوتوں میں تبدیل کرنے کی صلاحیت۔
  • ہفتے کے دن کم از کم ۲۰ گھنٹے کام کرنے کی دستیابی۔
  • تحریری رابطے کی مضبوط مہارت، جس میں ثبوت کی حکمت عملی اور رسمی شکل دینے کے فیصلوں کی وضاحت درستگی سے کرنا شامل ہے۔
  • ترجیحی: Coq/Rocq، Isabelle، Agda، Haskell، Lean metaprogramming یا ریاضی کے لیے اے آئی کا تجربہ۔
  • فی الحال H1-B اور STEM OPT امیدواروں کی معاونت ممکن نہیں۔

مراعات

  • Cincinnatus LLC یا کسی موزوں بین الاقوامی ادارے کے ذریعے W-2 ملازمت۔
  • آجرِ ریکارڈ پے رول، فوائد اور ضابطوں کی تعمیل سنبھالے گا۔
  • مکمل طور پر دور سے کام۔
  • لچکدار اوقات اور اپنا شیڈول طے کرنے کی سہولت۔
  • Stripe یا Wise کے ذریعے ہفتہ وار ادائیگی۔
  • سرکردہ محققین کے ساتھ کام کرنے کا موقع۔
  • ہر کامیاب حوالہ دینے پر ۱,۷۶۰ ڈالر تک ریفرل ادائیگی۔

متعلقہ نوکریاں

Presidio

ڈائریکٹر، سیلز معاوضہ — آئرلینڈ میں دور سے کام

Presidio

پریسیڈیو کے سیلز معاوضے کے آپریشنز کی قیادت کریں، ترغیبی منصوبوں اور کمیشن سائیکلوں سے لے کر تجزیات، تعمیل اور معاوضے کی ٹیکنالوجی تک۔ کمیشن ٹیم کا انتظام کریں اور سیلز، فنانس اور ہیومن ریسورسز کے ساتھ شراکت داری کریں۔

کھولیں
Earnix

ریموٹ سیلز ڈائریکٹر، DACH انشورنس — Earnix

Earnix

جرمنی کے انشورنس شعبے میں نئے کاروبار کی قیادت کریں اور Earnix کے مصنوعی ذہانت پر مبنی فیصلہ سازی کے حل فروخت کریں۔ پیچیدہ سیلز سائیکل سنبھالیں، اعلیٰ عہدیداروں سے روابط بنائیں اور بیمہ اداروں کی اسٹریٹجک تبدیلی کی رہنمائی کریں۔

کھولیں
Presidio

Presidio میں سیلز معاوضہ کے شعبے کے ڈائریکٹر (ریموٹ، آئرلینڈ)

Presidio

Presidio کے سیلز ترغیبی پروگراموں کی قیادت کریں، جن میں منصوبہ بندی، کمیشن کے امور، تجزیات اور ضابطوں کی پابندی شامل ہے۔ کمیشن ٹیم کی نگرانی کے ساتھ سیلز، فنانس، HR اور سیلز آپریشنز کے ساتھ شراکت کریں۔

کھولیں
Cencora

ریموٹ سیلز کوآرڈینیٹر – نارتھ کیرولائنا

Cencora

نارتھ کیرولائنا میں دور سے Cencora کی ہیلتھ کیئر سیلز سپورٹ اور کسٹمر اکاؤنٹ آپریشنز کو مربوط کریں۔ اس کردار میں Salesforce ورک فلو، رپورٹنگ، آن بورڈنگ، مسائل کا حل اور عمل میں بہتری شامل ہیں۔

کھولیں
Wand AI

جی سی سی کے علاقائی نائب صدرِ فروخت

Wand AI
51 – 200 ملازمین
SaaSادارہمصنوعی ذہانت

وینڈ اے آئی کے ایجنٹک لیبر انفراسٹرکچر کے لیے جی سی سی بھر میں انٹرپرائز فروخت کی قیادت کریں۔ بڑی کمپنیوں، مالیاتی اداروں اور حکومت سے وابستہ تنظیموں کے ساتھ پیچیدہ اے آئی تبدیلی کے سودے مکمل کریں۔

کھولیں
Biogen

سینئر ایسوسی ایٹ، سیلز فورس ایفیکٹیونیس — بائیوجن، میڈرڈ (ہائبرڈ)

Biogen

بائیوجن میں تجارتی عمدگی کو آگے بڑھانے کے لیے فروخت کے اہداف، ترغیبات، CRM، تجزیات اور اومنی چینل عمل درآمد بہتر بنانے میں مدد کریں۔ میڈرڈ میں قائم یہ عہدہ فیلڈ فورس کی کارکردگی اور بایوٹیکنالوجی ادویات پر مرکوز ہے۔

کھولیں
ONI

سینئر سیلز لیڈ، ترقی یافتہ مارکیٹس

ONI

چین، جاپان، بھارت اور کوریا میں ڈسٹری بیوٹرز کے ساتھ شراکت داری اور اہم صارفین کے اکاؤنٹس کے ذریعے ONI کی نینو امیجر فروخت بڑھانے کی قیادت کریں۔

کھولیں
ONI

فیلڈ ایپلی کیشنز سائنٹسٹ، سیلز (چین)

ONI

چین اور علاقائی منڈیوں میں ڈسٹری بیوٹرز کے زیرِ قیادت صارفین کے جائزوں اور تکنیکی فروخت کے ذریعے ONI کے Nanoimager اور سائنسی ورک فلو کو آگے بڑھائیں۔

کھولیں
ONI

یورپ اور باقی دنیا کے لیے سیلز ڈائریکٹر

ONI

ONI کی یورپی اور عالمی Nanoimager فروخت کی قیادت کریں؛ براہِ راست فروخت، تقسیم کاروں، شراکت داروں، پیش گوئی اور بین الاقوامی تجارتی نمو کا انتظام کریں۔

کھولیں
beqom

سینئر بیک اینڈ انجینئر، اے آئی ایجنٹ پلیٹ فارم

beqom

اے آئی ایجنٹس کی رہنمائی کرتے ہوئے beqom کا کثیر کرایہ دار ڈیٹا پلیٹ فارم بنائیں، جو پے انٹیلیجنس SaaS کو معاونت دیتا ہے۔ تفصیلات، تصدیقی نظام اور ایجنٹ پر مبنی پائپ لائنز متعین کریں۔

کھولیں