Mercor
Mercor
51 – 200 Служители
Наличният профил на Mercor не съдържа достатъчно проверена информация за нейните продукти, услуги, клиенти, сектор или насоченост към наемане, за да бъде изготвен точен преглед на компанията. Необходими са допълнителни източници, преди да бъде описан бизнесът или възможностите за работа в компанията.

Инженер по Lean 4 и формална математика

Пишете и проверявайте доказателства на Lean 4 за лаборатория по изкуствен интелект. Формализирайте математика и оценявайте работата на ИИ по доказване на теореми.

Описание

  • Създавайте коректни и идиоматични твърдения и доказателства на Lean 4, които се компилират с актуалната библиотека mathlib
  • Формализирайте математика от текстови източници — от състезателни задачи и учебници до изследователски леми
  • Оценявайте генерирани от изкуствен интелект твърдения и доказателства на Lean, откривайте грешки и предоставяйте конкретна писмена обратна връзка
  • Разработвайте насоки и критерии за качество на доказателствата, вярност на твърденията и конвенциите на mathlib
  • Работете с инженери по Lean и изследователи за поддържане на последователни стандарти и подобряване на качеството
  • Участвайте в проекти за обучение и усъвършенстване на системи с изкуствен интелект

Изисквания

  • Практически опит в писането на формални доказателства на Lean 4
  • Познаване на mathlib и тактиките в Lean 4, включително намиране и прилагане на подходящи леми
  • Солидни основи в математиката, основана на доказателства, теоретичната информатика или логиката, удостоверени с диплома или изследователски опит
  • Умение за преобразуване на писмени математически твърдения и доказателства в коректни формални твърдения и проверени доказателства
  • Възможност за работа поне 20 часа през всяка работна седмица и надеждно участие
  • Ясна писмена комуникация и умение за точно обяснение на стратегии за доказване и решения при формализацията
  • Предимство е опитът с Coq/Rocq, Isabelle, Agda, Haskell, метапрограмиране в Lean или работа по изкуствен интелект за математиката
  • Понастоящем не трябва да се нуждаете от спонсорство или подкрепа за виза H-1B или STEM OPT

Придобивки

  • Заетост по формуляр W-2, като обработката на възнагражденията, придобивките и съответствието с изискванията се поемат от Cincinnatus LLC или подходящо международно дружество
  • Изцяло дистанционна работа
  • Гъвкаво работно време, със самостоятелно планиране на работата
  • Седмични плащания за извършените услуги чрез Stripe или Wise
  • Възможност за сътрудничество с водещи изследователи
  • Плащания за препоръки до 1 760 USD за всяка успешна препоръка, при определени ограничения

Свързани работни места

AT&T

Двуезичен представител по събиране на вземания в AT&T – хибридна работа в Маями

AT&T

Разрешавайте клиентски въпроси за сметки и просрочени задължения на английски и испански език. Подпомагайте плащанията, разсрочването, задържането на клиенти и техническото обслужване в хибриден кол център.

Отвори
PwC

PwC DevOps инженер – асоцииран специалист

PwC

Разработвайте облачен софтуер, микросървиси и CI/CD решения като младши DevOps инженер в подкрепа на проектите на PwC за клиенти в Мексико. Ще участвате в програмиране, тестване, отстраняване на проблеми и предоставяне на управлявани услуги.

Отвори
Scaled Agile, Inc.

Специалист по клиентско обслужване

Scaled Agile, Inc.

Подкрепа на клиентите и партньорите на Scaled Agile при използването на обучения, сертификации и платформи за обучение. Координиране на обслужването, изпитите, учебните материали и работата на системата за управление на обучението.

Отвори
TRIMEDX

Координатор клиентско обслужване

TRIMEDX

Координирайте заявки за сервиз на медицинско оборудване за клиенти на TRIMEDX, обработвайте обаждания, записвайте проблеми и изпращайте техници. Работата е предимно от дома и е обявена като хибридна позиция.

Отвори
American Red Cross

Оператор в кол център I – American Red Cross

American Red Cross

Свързване с кръводарители и насрочване на часове за кръводаряване за American Red Cross. Хибридната позиция е близо до Тусон, а първоначалното обучение се провежда в кол центъра в Тусон.

Отвори
STS

Старши инженер по силова електроника, слънчеви фотоволтаични системи

STS

Консултирайте по въпроси, свързани с трансформатори, инвертори и средно- и високо напрежение за мащабни соларни проекти и батерийни системи за съхранение. Извършвайте технологични прегледи, теренни изпитвания и технически проверки за надлежна грижа по проекти в цял свят.

Отвори
American Red Cross

Оператор в колцентър на непълно работно време I – American Red Cross, Тусон

American Red Cross

Свързвайте се с кръводарители и насрочвайте кръводарявания в колцентъра на American Red Cross на непълно работно време. Работата в района на Тусон включва първоначално обучение в местния колцентър и хибриден режим.

Отвори
Braun Intertec Corporation

Старши геотехнически инженер за критична инфраструктура

Braun Intertec Corporation

Ръководи геотехнически дейности по проекти за критична инфраструктура в Braun Intertec — консултантска и инженерна фирма в областта на околната среда, собственост на служителите. Изготвя анализи, препоръки и доклади и осъществява надзор на проекти.

Отвори
Reactivate

Старши проектант инженер за търговски соларни системи

Reactivate

Ръководи проектирането, доставките, строителството и въвеждането в експлоатация на търговски и мащабни соларни проекти на Reactivate. Координира инженерните ресурси, техническите прегледи, разрешителните и подкрепата на строителната площадка.

Отвори
HUB International

Сътрудник клиентско обслужване за придобивки на служителите

HUB International

Подпомагане на обслужването на клиенти, изготвянето на оферти и предложения за екипа по придобивки на служителите на HUB International. Хибридна работа в Каспър, Уайоминг, в тясно сътрудничество с търговски ръководители и мениджъри на клиентски сметки.

Отвори