นักพัฒนา Java
SS&C Technologies
พัฒนาซอฟต์แวร์การเงินระดับองค์กรที่ SS&C Technologies พร้อมสร้างแอปพลิเคชัน Java และปรับปรุงเวิร์กโฟลว์วิศวกรรมที่มี AI ช่วยสนับสนุน
เปิด
วิศวกร Lean 4 ด้านคณิตศาสตร์เชิงรูปแบบ
เขียนและตรวจทานบทพิสูจน์ Lean 4 ให้ห้องปฏิบัติการ AI โดยทำคณิตศาสตร์ให้อยู่ในรูปแบบเชิงรูปแบบ และประเมินงานพิสูจน์ทฤษฎีบทที่ AI สร้างขึ้น
รายละเอียด
- สร้างข้อความกำหนดและบทพิสูจน์ Lean 4 ที่ถูกต้องและเป็นไปตามแนวทาง ซึ่งคอมไพล์ได้ด้วย mathlib เวอร์ชันปัจจุบัน
- ทำคณิตศาสตร์ให้อยู่ในรูปแบบเชิงรูปแบบจากแหล่งข้อมูลภาษาธรรมชาติ ตั้งแต่โจทย์แข่งขันและตำราเรียนไปจนถึงบทตั้งในงานวิจัย
- ประเมินข้อความกำหนดและบทพิสูจน์ Lean ที่ AI สร้างขึ้น ระบุข้อผิดพลาด และให้ข้อเสนอแนะเป็นลายลักษณ์อักษรอย่างเจาะจง
- พัฒนาแนวทางและเกณฑ์ประเมินคุณภาพบทพิสูจน์ ความเที่ยงตรงของข้อความกำหนด และแนวปฏิบัติของ mathlib
- ทำงานร่วมกับวิศวกร Lean และนักวิจัยเพื่อรักษามาตรฐานให้สอดคล้องกันและยกระดับคุณภาพ
- มีส่วนร่วมในโครงการฝึกและปรับปรุงระบบ AI
คุณสมบัติ
- มีประสบการณ์ลงมือเขียนบทพิสูจน์เชิงรูปแบบด้วย Lean 4
- คุ้นเคยกับ mathlib และ tactic ของ Lean 4 รวมถึงการค้นหาและนำบทตั้งที่เหมาะสมมาใช้
- มีพื้นฐานแน่นในคณิตศาสตร์ที่เน้นการพิสูจน์ วิทยาการคอมพิวเตอร์เชิงทฤษฎี หรือตรรกศาสตร์ โดยมีหลักฐานจากวุฒิการศึกษาหรือผลงานวิจัย
- สามารถแปลงข้อความและบทพิสูจน์ทางคณิตศาสตร์ที่เขียนไว้ให้เป็นข้อความกำหนดเชิงรูปแบบที่ถูกต้องและบทพิสูจน์ที่ตรวจสอบยืนยันแล้ว
- พร้อมทำงานอย่างน้อย 20 ชั่วโมงในแต่ละสัปดาห์ โดยทำงานในวันธรรมดา และมีส่วนร่วมอย่างสม่ำเสมอ
- สื่อสารเป็นลายลักษณ์อักษรได้ชัดเจน และอธิบายกลยุทธ์การพิสูจน์กับเหตุผลในการตัดสินใจทำให้อยู่ในรูปแบบเชิงรูปแบบได้อย่างแม่นยำ
- พิจารณาเป็นพิเศษ: มีประสบการณ์กับ Coq/Rocq, Isabelle, Agda, Haskell, การเขียนเมตาโปรแกรมใน Lean หรืองาน AI เพื่อคณิตศาสตร์
- ปัจจุบันต้องไม่จำเป็นต้องได้รับการสนับสนุนหรือการช่วยเหลือด้านวีซ่า H-1B หรือ STEM OPT
สวัสดิการ
- การจ้างงานแบบ W-2 โดย Cincinnatus LLC หรือนิติบุคคลระหว่างประเทศที่เหมาะสมเป็นผู้ดูแลการจ่ายเงินเดือน สวัสดิการ และการปฏิบัติตามข้อกำหนด
- ทำงานทางไกลได้เต็มรูปแบบ
- เวลาทำงานยืดหยุ่น และจัดตารางทำงานได้ด้วยตนเอง
- จ่ายเงินรายสัปดาห์ผ่าน Stripe หรือ Wise สำหรับบริการที่ให้ไป
- โอกาสร่วมงานกับนักวิจัยชั้นนำ
- เงินตอบแทนจากการแนะนำสูงสุด 1,760 ดอลลาร์สหรัฐต่อการแนะนำที่สำเร็จ โดยเป็นไปตามข้อจำกัด
งานที่เกี่ยวข้อง
ที่ปรึกษาด้านการกำกับดูแลการปฏิบัติตามกฎระเบียบอาวุโส
Northern Trustประสานงานการจัดการการเปลี่ยนแปลงด้านกฎระเบียบในเวิร์กโฟลว์ GRCM การดำเนินงาน ServiceNow การรายงาน และการอนุมัติ RegBook สนับสนุนธุรกิจบริหารความมั่งคั่ง บริการสินทรัพย์ การจัดการสินทรัพย์ และธนาคารของ Northern Trust
เปิด
ผู้จัดการอาวุโสฝ่ายกำกับการปฏิบัติตามข้อกำหนด
Mate academy
วางระบบกำกับการปฏิบัติตามข้อกำหนดสำหรับแอปแบบสมัครสมาชิกที่ขับเคลื่อนด้วย AI ของ Rist Labs ด้วยการทำให้การตรวจสอบเป็นระบบอัตโนมัติและบริหารความเสี่ยงในสโตร์แอป แพลตฟอร์มโฆษณา และข้อกำหนดต่าง ๆ
เปิด
หัวหน้าทีมอาวุโสด้านความมั่นคงปลอดภัยและการปฏิบัติตามข้อกำหนด
Fröjd Agency
เป็นผู้นำโครงการความมั่นคงปลอดภัยสารสนเทศของ Fröjd ผลักดันการรับรอง ISO 27001 และกำกับดูแลงานด้านความปลอดภัยในโครงการของลูกค้า บทบาทนี้ครอบคลุมทั้งความรับผิดชอบด้านความปลอดภัยภายในองค์กรและการทำงานร่วมกับลูกค้าโดยตรง
เปิด
เจ้าหน้าที่ความมั่นคงปลอดภัยทางธุรกิจและความเป็นส่วนตัวของข้อมูล
Orange Cyberdefenseกำกับดูแลงานด้านความมั่นคงปลอดภัยทางธุรกิจ ความเป็นส่วนตัว และการปฏิบัติตามข้อกำหนดที่ Orange Cyberdefense สนับสนุนงาน GDPR, ISO และ SOC 2 ทั้งด้านการตรวจประเมิน การยืนยันความมั่นใจแก่ลูกค้า และกรอบการทำงานภายใน
เปิด
ผู้จัดการอาวุโสฝ่ายกิจการภาครัฐและกำกับดูแล
Dun & Bradstreet
ร่วมกำหนดกลยุทธ์ด้านกฎระเบียบที่ Dun & Bradstreet พร้อมให้คำปรึกษาแก่ผู้บริหารเกี่ยวกับ AI การคุ้มครองข้อมูล และกฎระเบียบดิจิทัล งานนี้ผสานการติดตามกฎระเบียบเข้ากับการพัฒนานโยบายและการผลักดันเชิงนโยบาย
เปิด
ผู้จัดการฝ่ายพัฒนาธุรกิจทางไกล AMRA Medical
AMRA Medicalขยายยอดขายแพลตฟอร์มสารสนเทศสุขภาพที่ใช้ MRI ของ AMRA Medical ด้วยการหาลูกค้าใหม่ พัฒนาบัญชีลูกค้าเชิงกลยุทธ์ และสนับสนุนการขยายสู่ตลาดใหม่
เปิด
ผู้จัดการบัญชีพาร์ทเนอร์ช่องทางการขายทางไกล ประจำเนเธอร์แลนด์
Arctic Wolf1,001 – 5,000 พนักงาน
ผู้สนับสนุนวีซ่าแรงงานทักษะ
เนเธอร์แลนด์€54,500 – €116,500 / ปี
ระยะไกลเต็มเวลาระดับจูเนียร์ระดับกลางไม่จำเป็นต้องมีวุฒิการศึกษาภาษาที่จำเป็น: อังกฤษภาษาที่จำเป็น: ดัตช์งานขายผู้จัดการลูกค้าขยายเครือข่ายพาร์ทเนอร์ด้านความมั่นคงปลอดภัยไซเบอร์ของ Arctic Wolf ในเนเธอร์แลนด์และเบเนลักซ์ เป็นผู้นำด้านการขายผ่านช่องทาง การสนับสนุนพาร์ทเนอร์ การคาดการณ์โอกาสทางการขาย และการเติบโตของรายได้
เปิด
ผู้จัดการบัญชี VIP ที่ Triumph (ทำงานทางไกลในสหรัฐฯ)
Triumph
สหรัฐอเมริกา$80,000 – $120,000 / ปี
ระยะไกลเต็มเวลาระดับจูเนียร์ระดับกลางไม่จำเป็นต้องมีวุฒิการศึกษาภาษาที่จำเป็น: อังกฤษงานขายผู้จัดการลูกค้าดูแลความสัมพันธ์แบบเฉพาะบุคคลกับผู้เล่นมูลค่าสูงบนแพลตฟอร์มเกมและการ์ดสะสมเพื่อแลกเปลี่ยนของ Triumph รับผิดชอบการสนับสนุนผู้เล่น ประสบการณ์ VIP การเล่นเกมอย่างมีความรับผิดชอบ และรวบรวมข้อเสนอแนะเพื่อพัฒนาโปรแกรมสมาชิกและแผนผลิตภัณฑ์
เปิด
ผู้อำนวยการฝ่ายพัฒนาธุรกิจ Peraton, DIA
Peratonสหรัฐอเมริกา
เวอร์จิเนีย$176,000 – $282,000 / ปี
ในสถานที่เต็มเวลาหัวหน้าทีมภาษาที่จำเป็น: อังกฤษตัวแทนพัฒนาธุรกิจนำการพัฒนาธุรกิจของ Peraton ในภารกิจของสำนักงานข่าวกรองกลาโหมสหรัฐฯ (DIA) ตั้งแต่การวางแผนบัญชีเชิงกลยุทธ์ไปจนถึงการจัดทำข้อเสนอ กำหนดแนวทางโอกาสทางธุรกิจ ความสัมพันธ์กับลูกค้า และความร่วมมือ เพื่อขยายงานด้านความมั่นคงแห่งชาติของบริษัท
เปิด