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

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

Създаване и преглед на доказателства с Lean 4 за лаборатория по изкуствен интелект и формализиране на математика. Оценяване на доказателства и математически твърдения, генерирани от изкуствен интелект.

Описание

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

Изисквания

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

Придобивки

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

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

Health Care Service Corporation

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

Health Care Service Corporation

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

Отвори
The Law Debenture Group

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

The Law Debenture Group

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

Отвори
CREAVO

Уеб разработчик с PHP и Symfony в CREAVO

CREAVO

Създавайте персонализирани приложения с PHP и Symfony за клиентите на CREAVO, специалист в автоматизирането на бизнес процеси. Разработвайте решения по мярка и подобрявайте съществуващи уеб приложения.

Отвори
Electrolux Group

Старши фронтенд инженер за React и Next.js

Electrolux Group

Ръководете разработката с React и Next.js за дигиталните продукти на Electrolux и оформяйте фронтенд архитектурата, производителността и достъпността. Създавайте мащабируеми потребителски изживявания с фокус върху качеството и лесната поддръжка.

Отвори
HNL Lab Medicine

Специалист по вземания на дистанционна работа – Пенсилвания

HNL Lab Medicine

Координирайте фактурирането към пациенти, клиенти и застрахователи за HNL Lab Medicine. Обработвайте плащания, разрешения, претенции, откази и записи за възстановени суми.

Отвори
Office Hours

Старши фронтенд инженер

Office Hours

Създавайте изпипани React интерфейси за платформата Office Hours, която свързва експерти с клиенти. Подобрете качеството на фронтенда, системата от компоненти и разработката с помощта на AI.

Отвори
SBT Global Co., Ltd.

Младши front-end разработчик с корейски език

SBT Global Co., Ltd.

Създавайте адаптивни интерфейси с React, jQuery, CSS и HTML. Работете с дизайнерския и backend екипа по мащабируеми приложения, свързани със системи за управление на съдържанието.

Отвори
Teamcubate

Старши Front-End Разработчик с Vue.js

Teamcubate

Разработвайте критичен за бизнеса B2B софтуер за софтуерен партньор със седалище в Нидерландия и поемете отговорност за архитектурата на фронтенда, производителността, тестването и подобренията на дизайн системата. Дистанционна работа в Европа.

Отвори
B&A Consulting Srl

Старши разработчик с React и React Native

B&A Consulting Srl

Старши frontend разработчик създава уеб и мобилни приложения с React и React Native в B&A Consulting, италианска агенция за IT консултации и дигитална разработка. Работата включва поддръжка на сложни кодови бази и CI/CD процеси.

Отвори
Plus Power

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

Plus Power

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

Отвори