Insinyur Manhattan WMOS
ShyftLabs
Dukung implementasi dan operasional Manhattan WMOS sebagai Insinyur WMS di ShyftLabs. ShyftLabs membangun produk data dan solusi digital untuk perusahaan Fortune 500.
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 Matematika Formal Lean 4
Menulis dan meninjau bukti Lean 4 untuk laboratorium AI, memformalkan matematika dan menilai pekerjaan pembuktian teorema yang dihasilkan AI.
Deskripsi
- Menulis pernyataan dan bukti Lean 4 yang idiomatis dan dapat dikompilasi dengan mathlib terkini.
- Memformalkan matematika dari sumber berbahasa alami, termasuk soal kompetisi, hasil buku teks, dan lemma penelitian.
- Meninjau pernyataan dan bukti yang dihasilkan oleh sistem AI.
- Menemukan bukti yang gagal atau bukti yang menetapkan hasil keliru, lalu memberikan masukan tertulis yang jelas.
- Membantu menyusun standar dan rubrik untuk kualitas bukti, kesesuaian pernyataan, dan konvensi mathlib.
- Bekerja sama dengan insinyur Lean dan peneliti laboratorium untuk menjaga standar yang konsisten.
- Berkontribusi pada proyek untuk melatih dan meningkatkan sistem AI.
Persyaratan
- Pengalaman praktis menulis bukti formal dalam Lean 4.
- Mengenal mathlib dan taktik Lean 4, termasuk mencari 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 bukti matematika tertulis menjadi pernyataan formal yang benar dan bukti yang terverifikasi.
- Bersedia bekerja setidaknya 20 jam per minggu pada hari kerja.
- Keterampilan komunikasi tertulis yang kuat, termasuk kemampuan menjelaskan strategi pembuktian dan keputusan formalisasi secara tepat.
- Diutamakan: pengalaman dengan Coq/Rocq, Isabelle, Agda, Haskell, metaprogramming Lean, atau AI untuk matematika.
- Saat ini, kandidat H1-B dan STEM OPT tidak dapat didukung.
Tunjangan
- Hubungan kerja W-2 melalui Cincinnatus LLC atau entitas internasional yang sesuai.
- Penggajian, tunjangan, dan kepatuhan ditangani oleh pemberi kerja tercatat.
- Bekerja sepenuhnya dari jarak jauh.
- Jam kerja fleksibel dengan keleluasaan mengatur jadwal sendiri.
- Pembayaran mingguan melalui Stripe atau Wise.
- Kesempatan bekerja dengan peneliti terkemuka.
- Pembayaran rujukan hingga $1.760 untuk setiap rujukan yang berhasil.
Lowongan Terkait
Insinyur Senior Timing Sirkuit, NVIDIA (Jarak Jauh, California)
NVIDIA
Amerika Serikat
California$168.000 – $310.500 / tahun
Jarak jauhPenuh waktuSeniorBahasa Wajib: InggrisInsinyurMerancang sirkuit prosesor NVIDIA untuk keamanan perangkat keras, clocking adaptif, dan manajemen daya. Memimpin signoff timing dan analisis tingkat transistor, serta menerapkan metode AI/ML pada desain silikon.
Buka
Magang Insinyur Proyek
DEME GroupDukung proyek kelautan, sipil, lingkungan, dan infrastruktur DEME dengan membantu koordinasi operasi lapangan, perencanaan, perhitungan, pelaporan, dan penilaian teknis.
Buka
Insinyur Senior Azure Container
DXC Technology
Bangun platform AKS yang aman untuk lembaga pemerintah besar Australia, dengan mengelola Kubernetes, infrastruktur sebagai kode, CI/CD, keamanan, dan observabilitas di DXC Technology.
Buka
Insinyur II, Klaim Mutu — Emerson, Hibrida Mandaluyong
Emerson
Kelola klaim mutu global dan dukung inisiatif Mutu serta Eksekusi Sempurna di Emerson. Peran hibrida ini berbasis di Mandaluyong, Filipina.
Buka
Asisten Eksekutif Akuntansi (Jarak Jauh, Filipina)
Delegate CXMemberikan dukungan administrasi eksekutif dan akuntansi dari rumah bagi usaha kecil di AS melalui layanan BPO DCX. Mengatur jadwal, komunikasi, pengeluaran, catatan, dan laporan.
Buka
Perwakilan Penjualan Wilayah, Townsville
EmersonKembangkan penjualan solusi katup isolasi Emerson di sektor pertambangan, air, tenaga, dan industri proses. Bangun kemitraan pelanggan serta berikan dukungan teknis dan komersial di seluruh wilayah.
Buka
Perwakilan Penjualan Bisnis AT&T, Akun Wilayah — Memphis
AT&TAmerika Serikat
Tennessee$38.800 – $58.200 / tahun
Di lokasiPenuh waktuJuniorMenengahTidak memerlukan gelarBahasa Wajib: InggrisPenjualanKembangkan basis pelanggan bisnis kecil dan pasar menengah AT&T di Memphis dengan menjual broadband serat optik dan solusi komunikasi lainnya. Peran ini mencakup pencarian prospek, pengembangan akun, dan penjualan konsultatif untuk meningkatkan pendapatan wilayah.
Buka
Akuntan Senior, Australia (Hybrid)
NayaxPimpin proses penutupan, pelaporan, pengendalian, dan kepatuhan untuk entitas Nayax di Australia dan Selandia Baru. Bergabunglah dengan tim keuangan di perusahaan pembayaran dan perdagangan global yang terdaftar di Nasdaq.
Buka
Spesialis Layanan Pelanggan di Lokasi di Filipina di TDCX
TDCXMendukung pelanggan TDCX melalui berbagai saluran komunikasi dengan menyelidiki masalah, menyelesaikan kasus, dan meningkatkan kepuasan pelanggan. Pekerjaan penuh waktu ini dilakukan di lokasi di Filipina.
Buka