Mercor
Mercor
51 – 200 Nhân viên
Thông tin hiện có về Mercor không bao gồm đủ dữ liệu đã được xác minh về sản phẩm, dịch vụ, khách hàng, lĩnh vực hoạt động hoặc định hướng tuyển dụng của công ty để hỗ trợ việc tổng quan chính xác. Cần có thêm tài liệu nguồn trước khi mô tả doanh nghiệp hoặc các cơ hội tại đây.

Kỹ sư Lean 4, Toán học hình thức

Viết và đánh giá các chứng minh Lean 4 cho phòng thí nghiệm AI, hình thức hóa toán học và thẩm định công việc chứng minh định lý do AI tạo ra.

Mô tả

  • Tạo các phát biểu và chứng minh Lean 4 chính xác, đúng quy ước, có thể biên dịch với mathlib hiện hành
  • Hình thức hóa toán học từ các nguồn ngôn ngữ tự nhiên, từ bài toán thi đấu và sách giáo khoa đến bổ đề nghiên cứu
  • Đánh giá các phát biểu và chứng minh Lean do AI tạo ra, xác định lỗi và đưa ra phản hồi cụ thể bằng văn bản
  • Xây dựng hướng dẫn và tiêu chí đánh giá chất lượng chứng minh, độ trung thực của phát biểu và quy ước mathlib
  • Phối hợp với các kỹ sư Lean và nhà nghiên cứu để duy trì tiêu chuẩn nhất quán và cải thiện chất lượng
  • Đóng góp vào các dự án huấn luyện và cải thiện hệ thống AI

Yêu cầu

  • Có kinh nghiệm thực tế viết chứng minh hình thức bằng Lean 4
  • Quen thuộc với mathlib và các tactic của Lean 4, bao gồm tìm và áp dụng bổ đề phù hợp
  • Có nền tảng vững chắc về toán học dựa trên chứng minh, khoa học máy tính lý thuyết hoặc logic, thể hiện qua bằng cấp hoặc hồ sơ nghiên cứu
  • Có khả năng chuyển các phát biểu và chứng minh toán học bằng văn bản thành phát biểu hình thức chính xác và chứng minh đã được kiểm chứng
  • Có thể làm việc ít nhất 20 giờ mỗi tuần vào các ngày trong tuần và duy trì mức độ tham gia đáng tin cậy
  • Giao tiếp bằng văn bản rõ ràng và có khả năng giải thích chính xác chiến lược chứng minh cũng như các quyết định hình thức hóa
  • Ưu tiên: có kinh nghiệm với Coq/Rocq, Isabelle, Agda, Haskell, lập trình siêu cấp trong Lean hoặc ứng dụng AI vào toán học
  • Hiện không được cần hỗ trợ hoặc bảo lãnh H-1B hay STEM OPT

Phúc lợi

  • Việc làm theo mẫu W-2, với bảng lương, phúc lợi và tuân thủ được xử lý thông qua Cincinnatus LLC hoặc một pháp nhân quốc tế phù hợp
  • Làm việc hoàn toàn từ xa
  • Giờ làm linh hoạt, tự sắp xếp lịch để hoàn thành công việc
  • Thanh toán hàng tuần qua Stripe hoặc Wise cho các dịch vụ đã cung cấp
  • Cơ hội cộng tác với các nhà nghiên cứu hàng đầu
  • Khoản thưởng giới thiệu lên đến 1.760 USD cho mỗi lượt giới thiệu thành công, tùy theo các giới hạn

Việc làm liên quan

Health Care Service Corporation

Quản lý khách hàng TRS, làm việc từ xa tại Texas

Health Care Service Corporation

Quản lý các tài khoản bảo hiểm y tế TRS của Health Care Service Corporation thông qua hỗ trợ khách hàng, đăng ký tham gia và giải quyết vấn đề. Có thể làm việc từ xa tại các địa điểm đủ điều kiện ở lục địa Hoa Kỳ; công tác 50% trong khu vực được phân công.

Mở
Rula

Quản lý Phát triển Kinh doanh, Đối tác Y tế

Rula

Phát triển quan hệ đối tác chăm sóc sức khỏe hành vi của Rula với các đơn vị tư vấn phúc lợi và chương trình bảo hiểm y tế. Mở rộng cơ hội với nhà tuyển dụng thông qua tư vấn bán hàng trong lĩnh vực y tế và tìm kiếm khách hàng tiềm năng có chiến lược.

Mở
Veepee

Thực tập sinh Quản lý khách hàng Brandsplace ngành Thực phẩm tại Veepee

Veepee
5.001 – 10.000 Nhân viên
B2CThương mại điện tử

Hỗ trợ đội ngũ Brandsplace ngành Thực phẩm của Veepee quản lý danh mục thương hiệu, phân tích hiệu quả và lập kế hoạch thương mại. Góp phần củng cố quan hệ đối tác với thương hiệu và điều phối hoạt động trên sàn thương mại.

Mở
Republic Services

Chuyên viên quản lý khách hàng liên kết, dịch vụ chất thải thương mại

Republic Services

Duy trì khách hàng sử dụng dịch vụ chất thải thương mại và công nghiệp trong khi tìm kiếm cơ hội mở rộng việc sử dụng các dịch vụ của Republic Services. Bán thêm các dịch vụ tái chế, xử lý chất thải và môi trường cho khách hàng.

Mở
Viseven

Cố vấn Pháp chế và Tuân thủ Từ xa – Bulgaria

Viseven

Giám sát các chương trình tuân thủ về ESG, lệnh trừng phạt, chống tham nhũng và AML/KYC, đồng thời tư vấn các vấn đề pháp lý doanh nghiệp và hợp đồng. Hỗ trợ dịch vụ MarTech toàn cầu của Viseven trong lĩnh vực dược phẩm và khoa học sự sống.

Mở
Viseven

Cố vấn Pháp lý và Tuân thủ

Viseven

Giám sát các chương trình tuân thủ về ESG, lệnh trừng phạt, chống hối lộ, AML/KYC, hợp đồng và các vấn đề pháp lý doanh nghiệp. Hỗ trợ hoạt động công nghệ tiếp thị toàn cầu trong lĩnh vực dược phẩm và khoa học đời sống của Viseven.

Mở
The Nursing and Midwifery Council

Trưởng bộ phận Chuyển đổi Dịch vụ Pháp lý

The Nursing and Midwifery Council

Dẫn dắt quá trình chuyển đổi dịch vụ pháp lý của Hội đồng Điều dưỡng và Hộ sinh, định hình mô hình vận hành tương lai và nâng cao năng lực pháp lý. Phối hợp với lãnh đạo cấp cao để định hướng quản trị, thay đổi tổ chức và duy trì việc áp dụng lâu dài.

Mở
DaVita Kidney Care

Giám đốc Pháp chế Doanh nghiệp — Hợp đồng Y tế

DaVita Kidney Care

Tư vấn cho các hoạt động lọc máu của DaVita về luật y tế và đàm phán hợp đồng với bác sĩ, dịch vụ lâm sàng. Hướng dẫn tuân thủ, giải quyết tranh chấp, quản lý rủi ro và cải tiến quy trình hợp đồng pháp lý.

Mở
Severn Trent

Cố vấn pháp lý thương mại – Severn Trent, Coventry (Làm việc kết hợp)

Severn Trent

Tư vấn cho Severn Trent Water về hợp đồng thương mại, mua sắm, công nghệ và sở hữu trí tuệ. Hỗ trợ các dự án chiến lược, đàm phán và quản trị rủi ro pháp lý trong vai trò làm việc kết hợp tại Coventry.

Mở
DaVita Kidney Care

Giám đốc, Cố vấn pháp lý doanh nghiệp cấp cao

DaVita Kidney Care

Tư vấn cho các hoạt động lọc máu của DaVita về hợp đồng y tế, quan hệ với bác sĩ và các vấn đề pháp lý. Vị trí làm việc kết hợp tại văn phòng công ty ở Tennessee hoặc Colorado.

Mở