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ư Toán học Hình thức Lean 4

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

Mô tả

  • Viết các phát biểu và chứng minh Lean 4 theo đú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, bao gồm bài toán thi, kết quả trong sách giáo khoa và bổ đề nghiên cứu.
  • Đánh giá các phát biểu và chứng minh do hệ thống AI tạo ra.
  • Tìm các chứng minh không thành công hoặc chứng minh một kết quả không chính xác, sau đó đưa ra phản hồi bằng văn bản rõ ràng.
  • Hỗ trợ xây dựng tiêu chuẩn và thang đánh giá về chất lượng chứng minh, độ trung thành 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 trong phòng thí nghiệm để duy trì các tiêu chuẩn nhất quán.
  • Đó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 cách 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, được 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 tra.
  • Có thể làm việc ít nhất 20 giờ mỗi tuần vào các ngày trong tuần.
  • Có kỹ năng giao tiếp bằng văn bản tốt, bao gồm khả năng giải thích chính xác chiến lược chứng minh và 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 AI cho toán học.
  • Hiện chưa thể hỗ trợ ứng viên diện H1-B và STEM OPT.

Phúc lợi

  • Làm việc theo diện W-2 thông qua Cincinnatus LLC hoặc một pháp nhân quốc tế phù hợp.
  • Đơn vị sử dụng lao động lưu ký xử lý tiền lương, phúc lợi và tuân thủ quy định.
  • Làm việc hoàn toàn từ xa.
  • Giờ làm linh hoạt, có thể tự sắp xếp lịch làm việc.
  • Thanh toán hàng tuần qua Stripe hoặc Wise.
  • Cơ hội làm việc cùng các nhà nghiên cứu hàng đầu.
  • 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.

Việc làm liên quan

Advocate Aurora Health

Thực tập sinh Nhân sự

Advocate Aurora Health

Hỗ trợ tuyển dụng, hội nhập nhân viên mới, gắn kết nhân viên và các hoạt động nhân sự tại Advocate Aurora Health. Tích lũy kinh nghiệm thực tế về hệ thống nhân sự, báo cáo và cải tiến quy trình trong kỳ thực tập từ xa.

Mở
Nasstar

Đối tác Nhân sự và Văn hóa

Nasstar

Đồng hành cùng các quản lý trong toàn bộ vòng đời nhân viên tại Anh Quốc ở Nasstar, công ty công nghệ số. Tư vấn về quan hệ lao động, thay đổi tổ chức, hoạch định nhân lực và phát triển quản lý trong vai trò làm việc từ xa.

Mở
TechnipFMC

Chuyên viên Nhân sự, Dhahran

TechnipFMC

Quản lý tiền lương, hồ sơ nhân viên, hội nhập nhân sự mới, nghỉ phép và phúc lợi cho mảng kinh doanh năng lượng của TechnipFMC. Hỗ trợ chuyển đổi nhân sự OneERP thông qua kiểm thử người dùng, rà soát chất lượng dữ liệu và cải tiến quy trình.

Mở
PSI CRO AG

Chuyên viên Tuyển dụng Nhân tài, Hợp đồng Tạm thời

PSI CRO AG

Tuyển dụng nhân sự chuyên môn về thử nghiệm lâm sàng trên khắp châu Âu cho PSI CRO, một tổ chức nghiên cứu theo hợp đồng hoạt động toàn cầu. Quản lý việc tìm nguồn ứng viên, phỏng vấn, nguồn ứng viên tiềm năng, phối hợp với quản lý tuyển dụng và báo cáo tuyển dụng.

Mở
RHF Talentos

Cộng tác viên tuyển dụng tự do từ xa (nhà thầu PJ) — RHF Talentos

RHF Talentos

Cộng tác viên tuyển dụng từ xa phụ trách tuyển số lượng lớn cho RHF Talentos. Sử dụng Digisac và Pandapé, thu nhập dựa trên các vị trí tuyển thành công.

Mở
PSI CRO AG

Chuyên viên Tuyển dụng Nhân tài (Hợp đồng Tạm thời)

PSI CRO AG

Quản lý toàn bộ quy trình tuyển dụng tại châu Âu cho PSI CRO, một tổ chức nghiên cứu lâm sàng toàn cầu. Vị trí làm việc từ xa tại Vương quốc Anh, phụ trách tìm nguồn ứng viên, đánh giá, hỗ trợ quản lý tuyển dụng và phối hợp với các đối tác tuyển dụng.

Mở
Johnson & Johnson

Giám đốc Trải nghiệm Bệnh nhân và Khách hàng – Johnson & Johnson, Singapore

Johnson & Johnson

Dẫn dắt chiến lược trải nghiệm bệnh nhân, hỗ trợ bệnh nhân và AI thương mại của Johnson & Johnson tại APAC từ Singapore. Thúc đẩy áp dụng trải nghiệm khách hàng, triển khai tại các thị trường và đổi mới chăm sóc sức khỏe liên chức năng trong khu vực.

Mở
Genki

Trưởng nhóm vận hành chăm sóc khách hàng cấp cao

Genki

Dẫn dắt hoạt động chăm sóc khách hàng tại Genki, một công ty khởi nghiệp bảo hiểm sức khỏe du lịch toàn cầu. Điều phối đội ngũ, đảm bảo chất lượng, xử lý vấn đề cần escalations, theo dõi chỉ số hiệu suất, quản lý nội dung hỗ trợ và cải tiến quy trình.

Mở
Stryker

Điều dưỡng phòng mổ, Chuyên viên hỗ trợ kỹ thuật – Cấy ghép khớp háng và khớp gối

Stryker

Hỗ trợ tại phòng mổ cho các ca cấy ghép khớp háng và khớp gối của Stryker, bao gồm hỗ trợ khách hàng, đào tạo và hậu cần tại hiện trường. Vị trí làm việc tại nhà ở Pháp.

Mở
PetroApp

Chuyên viên Hỗ trợ Khách hàng

PetroApp
51 – 200 Nhân viên
Năng lượngVận tải

Hỗ trợ khách hàng PetroApp sử dụng công nghệ quản lý nhiên liệu dựa trên NFC. Giải đáp thắc mắc, xử lý khiếu nại và các trường hợp cần chuyển cấp, đồng thời góp phần cải thiện hoạt động phục vụ khách hàng tại các thị trường quốc tế.

Mở