Manajer Acara Konferensi Senior
One10Memimpin konferensi dan pertemuan kompleks untuk klien One10, mengelola anggaran, vendor, jadwal, tim, dan pelaksanaan dari awal hingga akhir.
Buka
51 – 200 Karyawan
Profil Mercor yang tersedia tidak memuat informasi terverifikasi yang memadai tentang produk, layanan, pelanggan, sektor, atau fokus perekrutannya untuk mendukung gambaran perusahaan yang akurat. Diperlukan materi sumber tambahan sebelum bisnis atau peluang yang ditawarkannya dapat dijelaskan.
Insinyur Lean 4, Matematika Formal
Menulis dan meninjau pembuktian Lean 4 untuk laboratorium AI, memformalkan matematika, serta menilai pekerjaan pembuktian teorema yang dihasilkan AI.
Deskripsi
- Membuat pernyataan dan pembuktian Lean 4 yang benar dan idiomatis, serta dapat dikompilasi dengan mathlib terkini
- Memformalkan matematika dari sumber berbahasa alami, mulai dari soal kompetisi dan buku teks hingga lemma penelitian
- Mengevaluasi pernyataan dan pembuktian Lean yang dihasilkan AI, mengidentifikasi kesalahan, dan memberikan umpan balik tertulis yang spesifik
- Menyusun pedoman dan rubrik untuk kualitas pembuktian, kesetiaan pernyataan, dan konvensi mathlib
- Bekerja sama dengan insinyur Lean dan peneliti untuk menjaga standar yang konsisten dan meningkatkan kualitas
- Berkontribusi pada proyek yang melatih dan meningkatkan sistem AI
Persyaratan
- Pengalaman praktis menulis pembuktian formal dalam Lean 4
- Mengenal mathlib dan taktik Lean 4, termasuk menemukan dan menerapkan lemma yang sesuai
- Dasar yang kuat dalam matematika berbasis pembuktian, ilmu komputer teoretis, atau logika, yang dibuktikan melalui gelar atau rekam jejak penelitian
- Mampu menerjemahkan pernyataan dan pembuktian matematika tertulis menjadi pernyataan formal yang benar dan pembuktian terverifikasi
- Bersedia bekerja setidaknya 20 jam setiap pekan kerja, dengan keterlibatan yang dapat diandalkan
- Komunikasi tertulis yang jelas serta kemampuan menjelaskan strategi pembuktian dan keputusan formalisasi secara tepat
- Diutamakan: pengalaman dengan Coq/Rocq, Isabelle, Agda, Haskell, metaprogramming Lean, atau pekerjaan AI untuk matematika
- Saat ini tidak boleh memerlukan sponsor atau dukungan visa H-1B maupun STEM OPT
Tunjangan
- Pekerjaan W-2 dengan penggajian, tunjangan, dan kepatuhan yang ditangani melalui Cincinnatus LLC atau entitas internasional yang sesuai
- Bekerja sepenuhnya jarak jauh
- Jam kerja fleksibel, dengan pekerjaan diselesaikan sesuai jadwal Anda sendiri
- Pembayaran mingguan melalui Stripe atau Wise untuk layanan yang telah diberikan
- Kesempatan berkolaborasi dengan peneliti terkemuka
- Pembayaran rujukan hingga $1.760 untuk setiap rujukan yang berhasil, dengan batasan tertentu
Lowongan Terkait
Manajer Acara, Program Insentif
One10
Amerika Serikat
Minnesota$75.000 / tahun
Jarak jauhPenuh waktuMenengahSeniorBahasa Wajib: InggrisAcaraKelola acara insentif virtual dan tatap muka untuk One10, termasuk koordinasi logistik, pendaftaran, anggaran, pelaporan, dan komunikasi klien.
Buka
Spesialis Acara dan Pameran Dagang EMEA
BD
Merencanakan dan menyelenggarakan acara serta pameran dagang teknologi kesehatan BD di Eropa, Timur Tengah, dan Afrika. Mengoordinasikan anggaran, vendor, logistik, promosi, kepatuhan, dan kinerja acara.
Buka
Acara Rekrutmen Teknisi Perawatan Pasien — Orange City
DaVita Kidney Care
Berikan perawatan dialisis langsung kepada pasien DaVita dengan penyakit ginjal stadium akhir di bawah pengawasan perawat terdaftar. Pantau perawatan, rawat peralatan, dan dukung pasien.
Buka
Spesialis Senior Perencanaan Acara – Stryker, Zaventem
Stryker
Rencanakan acara waralaba dan tenaga kesehatan yang patuh untuk bisnis alat medis Stryker. Koordinasikan platform acara, pemasok, logistik, faktur, dan kepatuhan di Eropa.
Buka
Pramusaji Acara Paruh Waktu, Terrain Events
URBN (Urban Outfitters, Anthropologie Group, Free People & Nuuly)
Layani tamu di pesta pernikahan elegan dan acara berskala besar di Terrain Events, termasuk menyiapkan tempat, menyajikan makanan, dan membereskan acara. Posisi paruh waktu ini berlokasi di Wayland, Massachusetts.
Buka
Perawat Terdaftar Dialisis — Acara Rekrutmen Virtual
DaVita Kidney CareAmerika Serikat
New York$38 – $52 / jam
Di lokasiPenuh waktuJuniorMenengahTidak memerlukan gelarBahasa Wajib: InggrisAcaraMemberikan perawatan dialisis dan memantau pasien di pusat DaVita di seluruh New York. Mengedukasi pasien dan bekerja sama dengan tim perawatan yang suportif.
Buka
Insinyur Elektro, Elektrifikasi Pabrik Metalurgi
Biisoni501 – 1.000 Karyawan
Rekrutmen
Rancang sistem elektrifikasi tegangan menengah dan rendah untuk proyek pabrik metalurgi Metso. Berkontribusi dalam estimasi biaya, penjualan teknis, commissioning, dan sesekali bekerja di lokasi pelanggan internasional.
Buka
Insinyur Desain Listrik
ABB
Mengembangkan dokumentasi rekayasa EPLAN dan SAP untuk solusi otomasi industri ABB. Menyiapkan data induk dan logika gambar, serta mendukung pengguna di tim lokal dan internasional.
Buka
Magang Kooperatif Teknik Elektro
Bridgestone AmericasBerkontribusi dalam proyek kontrol industri, PLC, dan peralatan pabrik di Bridgestone Americas. Dukung rekayasa proses, pabrik, dan produk sambil memperoleh pengalaman langsung.
Buka