Jurutera Manhattan WMOS
ShyftLabs
Sokong pelaksanaan dan operasi Manhattan WMOS sebagai Jurutera WMS di ShyftLabs. ShyftLabs membina produk data dan penyelesaian digital untuk syarikat Fortune 500.
Buka
51 – 200 Pekerja
Profil Mercor yang tersedia tidak mengandungi maklumat yang disahkan secukupnya tentang produk, perkhidmatan, pelanggan, sektor atau fokus pengambilannya untuk menyokong gambaran syarikat yang tepat. Bahan sumber tambahan diperlukan sebelum perniagaan atau peluang yang ditawarkannya dapat diterangkan.
Jurutera Matematik Formal Lean 4
Menulis dan menyemak bukti Lean 4 untuk makmal AI, memformalkan matematik dan menilai kerja pembuktian teorem yang dijana AI.
Penerangan
- Menulis pernyataan dan bukti Lean 4 yang idiomatik serta boleh dikompil dengan mathlib terkini.
- Memformalkan matematik daripada sumber bahasa semula jadi, termasuk soalan pertandingan, hasil buku teks dan lemma penyelidikan.
- Menyemak pernyataan dan bukti yang dijana oleh sistem AI.
- Mengesan bukti yang gagal atau bukti yang membuktikan hasil yang salah, kemudian memberikan maklum balas bertulis yang jelas.
- Membantu mewujudkan piawaian dan rubrik untuk kualiti bukti, kesetiaan pernyataan dan konvensyen mathlib.
- Bekerjasama dengan jurutera Lean dan penyelidik makmal untuk mengekalkan piawaian yang konsisten.
- Menyumbang kepada projek yang melatih dan menambah baik sistem AI.
Keperluan
- Pengalaman praktikal menulis bukti formal dalam Lean 4.
- Mahir menggunakan mathlib dan taktik Lean 4, termasuk mencari serta menggunakan lemma yang sesuai.
- Asas yang kukuh dalam matematik berasaskan bukti, sains komputer teori atau logik, yang dibuktikan melalui ijazah atau rekod penyelidikan.
- Berupaya menterjemahkan pernyataan dan bukti matematik bertulis kepada pernyataan formal yang betul serta bukti yang disahkan.
- Boleh bekerja sekurang-kurangnya 20 jam seminggu pada hari bekerja.
- Kemahiran komunikasi bertulis yang baik, termasuk kebolehan menerangkan strategi pembuktian dan keputusan pemformalan dengan tepat.
- Diutamakan: pengalaman dengan Coq/Rocq, Isabelle, Agda, Haskell, metaprogramming Lean atau AI untuk matematik.
- Calon H1-B dan STEM OPT tidak dapat disokong buat masa ini.
Faedah
- Pekerjaan W-2 melalui Cincinnatus LLC atau entiti antarabangsa yang bersesuaian.
- Penggajian, faedah dan pematuhan diuruskan oleh majikan rekod.
- Kerja jarak jauh sepenuhnya.
- Waktu kerja fleksibel dengan kebebasan menetapkan jadual sendiri.
- Bayaran mingguan melalui Stripe atau Wise.
- Peluang untuk bekerja dengan penyelidik terkemuka.
- Bayaran rujukan sehingga $1,760 bagi setiap rujukan yang berjaya.
Pekerjaan Berkaitan
Jurutera Pemasaan Litar Kanan, NVIDIA (Jarak Jauh, California)
NVIDIA
Amerika Syarikat
California$168,000 – $310,500 / tahun
Jarak jauhSepenuh masaSeniorBahasa Diperlukan: InggerisJuruteraMereka bentuk litar pemproses NVIDIA untuk keselamatan perkakasan, pengiraan jam adaptif dan pengurusan kuasa. Memimpin signoff pemasaan dan analisis peringkat transistor, serta menggunakan kaedah AI/ML dalam reka bentuk silikon.
Buka
Pelatih Jurutera Projek
DEME GroupJarak jauhLatihan industriPeringkat permulaanIjazah tidak diperlukanBahasa Diperlukan: InggerisJurutera
Sokong projek marin, kejuruteraan awam, alam sekitar dan infrastruktur DEME dengan membantu menyelaras operasi lapangan, perancangan, pengiraan, pelaporan dan penilaian teknikal.
Buka
Jurutera Kanan Azure Container
DXC Technology
Bina platform AKS yang selamat untuk agensi kerajaan utama Australia, dengan mengurus Kubernetes, infrastruktur sebagai kod, CI/CD, keselamatan dan pemerhatian di DXC Technology.
Buka
Jurutera II, Tuntutan Kualiti — Emerson, Hibrid Mandaluyong
EmersonUrus tuntutan kualiti global dan sokong inisiatif Kualiti serta Pelaksanaan Sempurna di Emerson. Peranan hibrid ini berpusat di Mandaluyong, Filipina.
Buka
Pembantu Eksekutif Perakaunan (Jarak Jauh, Filipina)
Delegate CX
Filipina₱40,000 – ₱55,000 / bulan
Jarak jauhSepenuh masaJuniorBahasa Diperlukan: InggerisPembantu eksekutifMemberikan sokongan pentadbiran eksekutif dan perakaunan dari rumah untuk perniagaan kecil di A.S. melalui perkhidmatan BPO DCX. Menyelaras jadual, komunikasi, perbelanjaan, rekod dan laporan.
Buka
Wakil Jualan Wilayah, Townsville
EmersonTingkatkan jualan penyelesaian injap pengasingan Emerson dalam industri perlombongan, air, tenaga dan pemprosesan. Bina perkongsian pelanggan serta berikan sokongan teknikal dan komersial di seluruh rantau.
Buka
Wakil Jualan Perniagaan AT&T, Akaun Wilayah — Memphis
AT&TAmerika Syarikat
Tennessee$38,800 – $58,200 / tahun
Di lokasiSepenuh masaJuniorPertengahanIjazah tidak diperlukanBahasa Diperlukan: InggerisJualanKembangkan pangkalan pelanggan perniagaan kecil dan pasaran pertengahan AT&T di Memphis dengan menjual jalur lebar gentian dan penyelesaian komunikasi lain. Peranan ini menggabungkan pencarian prospek, pembangunan akaun dan jualan perundingan untuk meningkatkan hasil wilayah.
Buka
Akauntan Kanan, Australia (Hibrid)
NayaxTerajui penutupan akaun, pelaporan, kawalan dan pematuhan bagi entiti Nayax di Australia dan New Zealand. Sertai pasukan kewangan di syarikat pembayaran dan perdagangan global yang tersenarai di Nasdaq.
Buka
Pakar Khidmat Pelanggan di Lokasi di Filipina di TDCX
TDCXMenyokong pelanggan TDCX melalui pelbagai saluran komunikasi dengan menyiasat isu, menyelesaikan kes dan meningkatkan kepuasan pelanggan. Jawatan sepenuh masa ini berpusat di lokasi di Filipina.
Buka