Mercor
Mercor
۵۱ – ۲۰۰ کارکنان
پروفایل موجود Mercor اطلاعات تأییدشده کافی درباره محصولات، خدمات، مشتریان، حوزه فعالیت یا تمرکز استخدامی آن ندارد تا بتوان بر اساس آن معرفی دقیقی از شرکت ارائه کرد. پیش از توصیف کسب‌وکار یا فرصت‌های آن، به منابع بیشتری نیاز است.

مهندس ریاضیات صوری لین ۴

برای یک آزمایشگاه هوش مصنوعی، برهان‌های لین ۴ بنویسید و بازبینی کنید، ریاضیات را صوری‌سازی کنید و کار اثبات قضیه با هوش مصنوعی را ارزیابی کنید.

توضیحات

  • گزاره‌ها و برهان‌های متعارف لین ۴ بنویسید که با نسخهٔ فعلی mathlib کامپایل شوند.
  • ریاضیات را از منابع زبان طبیعی، از جمله مسائل مسابقه‌ای، نتایج کتاب‌های درسی و لم‌های پژوهشی، صوری‌سازی کنید.
  • گزاره‌ها و برهان‌های تولیدشده توسط سامانه‌های هوش مصنوعی را بازبینی کنید.
  • برهان‌های ناموفق یا برهان‌هایی را بیابید که نتیجه‌ای نادرست را ثابت می‌کنند و سپس بازخوردی روشن و مکتوب ارائه دهید.
  • برای کیفیت برهان، وفاداری گزاره و قراردادهای mathlib به تدوین استانداردها و معیارهای ارزیابی کمک کنید.
  • برای حفظ استانداردهای یکسان با مهندسان لین و پژوهشگران آزمایشگاه همکاری کنید.
  • در پروژه‌های آموزش و بهبود سامانه‌های هوش مصنوعی مشارکت کنید.

شرایط لازم

  • تجربهٔ عملی در نوشتن برهان‌های صوری با لین ۴.
  • آشنایی با mathlib و تاکتیک‌های لین ۴، از جمله یافتن و به‌کارگیری لم‌های مناسب.
  • پایهٔ قوی در ریاضیات مبتنی بر برهان، علوم کامپیوتر نظری یا منطق که با مدرک دانشگاهی یا سابقهٔ پژوهشی نشان داده شده باشد.
  • توانایی تبدیل گزاره‌ها و برهان‌های ریاضیِ مکتوب به گزاره‌های صوری درست و برهان‌های بررسی‌شده.
  • امکان کار دست‌کم ۲۰ ساعت در هفته در روزهای کاری.
  • مهارت‌های قوی ارتباط نوشتاری، از جمله توانایی توضیح دقیق راهبردهای برهان و تصمیم‌های صوری‌سازی.
  • ترجیحاً: تجربه با Coq/Rocq، Isabelle، Agda، Haskell، فرا‌برنامه‌نویسی لین یا هوش مصنوعی برای ریاضیات.
  • در حال حاضر امکان پشتیبانی از متقاضیان H1-B و STEM OPT وجود ندارد.

مزایا

  • استخدام با فرم W-2 از طریق Cincinnatus LLC یا یک نهاد بین‌المللی مناسب.
  • پرداخت حقوق، مزایا و رعایت الزامات بر عهدهٔ کارفرمای ثبت‌شده خواهد بود.
  • کار کاملاً دورکار.
  • ساعات کاری انعطاف‌پذیر با امکان تنظیم برنامهٔ شخصی.
  • پرداخت هفتگی از طریق Stripe یا Wise.
  • فرصت همکاری با پژوهشگران برجسته.
  • پرداخت پاداش معرفی تا سقف ۱٬۷۶۰ دلار برای هر معرفی موفق.

فرصت‌های شغلی مرتبط

Presidio

مدیر جبران خدمات فروش — دورکاری در ایرلند

Presidio

عملیات جبران خدمات فروش پریسیدیو را رهبری کنید؛ از طراحی طرح‌های تشویقی و چرخه‌های کمیسیون تا تحلیل، رعایت مقررات و فناوری جبران خدمات. تیم کمیسیون‌ها را مدیریت کنید و با بخش‌های فروش، مالی و منابع انسانی همکاری کنید.

باز کردن
Earnix

مدیر فروش دورکار، بیمه DACH — Earnix

Earnix

هدایت فروش کسب‌وکارهای جدید در صنعت بیمه آلمان را بر عهده بگیرید و راهکارهای تصمیم‌گیری مبتنی بر هوش مصنوعی Earnix را عرضه کنید. چرخه‌های پیچیده فروش را مدیریت کنید، با مدیران ارشد رابطه بسازید و راهنمای تحول راهبردی شرکت‌های بیمه باشید.

باز کردن
Presidio

مدیر جبران خدمات فروش در Presidio (دورکاری، ایرلند)

Presidio

برنامه‌های پاداش فروش Presidio را هدایت می‌کنید؛ از جمله طراحی طرح‌های تشویقی، عملیات کمیسیون، تحلیل و رعایت مقررات. بر تیم کمیسیون نظارت می‌کنید و با واحدهای فروش، مالی، منابع انسانی و عملیات فروش همکاری خواهید داشت.

باز کردن
Cencora

هماهنگ‌کننده فروش دورکار – کارولینای شمالی

Cencora

پشتیبانی فروش حوزه سلامت و عملیات حساب مشتریان Cencora را از راه دور در کارولینای شمالی هماهنگ کنید. این نقش شامل گردش‌کارهای Salesforce، گزارش‌دهی، ورود مشتریان، حل مسئله و بهبود فرایندهاست.

باز کردن
Wand AI

معاون منطقه‌ای فروش در شورای همکاری خلیج فارس

Wand AI
۵۱ – ۲۰۰ کارکنان
SaaSسازمانهوش مصنوعی

فروش سازمانی زیرساخت نیروی کار عامل‌محور Wand AI را در سراسر شورای همکاری خلیج فارس رهبری کنید. معاملات پیچیده تحول هوش مصنوعی را با شرکت‌های بزرگ، مؤسسات مالی و سازمان‌های مرتبط با دولت نهایی کنید.

باز کردن
Biogen

همکار ارشد، اثربخشی نیروی فروش — بیوژن، مادرید (ترکیبی)

Biogen

برای ارتقای تعالی تجاری در بیوژن، به بهبود اهداف فروش، مشوق‌ها، CRM، تحلیل‌ها و اجرای راهبرد چندکاناله کمک کنید. این موقعیت مستقر در مادرید بر بهره‌وری نیروی میدانی و داروهای زیست‌فناوری تمرکز دارد.

باز کردن
ONI

سرپرست ارشد فروش، بازارهای پیشرفته

ONI

رشد فروش نانوایمیجر ONI را در چین، ژاپن، هند و کره از راه همکاری با توزیع‌کنندگان و مدیریت حساب‌های مشتریان راهبردی هدایت کنید.

باز کردن
ONI

دانشمند کاربردهای میدانی، فروش (چین)

ONI

با پشتیبانی از ارزیابی مشتریان و فروش فنی به رهبری توزیع‌کنندگان در چین و بازارهای منطقه، به پیشبرد Nanoimager و جریان‌های کاری علمی ONI کمک کنید.

باز کردن
ONI

مدیر فروش اروپا و سایر نقاط جهان

ONI

رهبری فروش Nanoimager شرکت ONI در اروپا و جهان؛ مدیریت فروش مستقیم، توزیع‌کنندگان، شرکا، پیش‌بینی و رشد تجاری بین‌المللی.

باز کردن
beqom

مهندس ارشد بک‌اند، پلتفرم عامل‌های هوش مصنوعی

beqom

با هدایت عامل‌های هوش مصنوعی، پلتفرم داده چندمستاجری beqom را برای SaaS هوشمندی حقوق و دستمزد بسازید. مشخصات، سامانه‌های راستی‌آزمایی و خط لوله‌های عامل‌محور را تعریف کنید.

باز کردن