Onsite Accountant, Manufacturing Cost Accounting
Morgan Advanced Materials
Manage general ledger, cost accounting, inventory, and financial close activities for Morgan Advanced Materials’ technical ceramics business in Auburn.
खोलें
Lean 4 Formal Mathematics Engineer
Write and review Lean 4 proofs for an AI lab, formalizing mathematics and assessing AI-generated theorem-proving work.
विवरण
- Write idiomatic Lean 4 statements and proofs that compile with current mathlib.
- Formalize mathematics from natural-language sources, including contest problems, textbook results, and research lemmas.
- Review statements and proofs generated by AI systems.
- Find failed proofs or proofs that establish an incorrect result, then provide clear written feedback.
- Help create standards and rubrics for proof quality, statement fidelity, and mathlib conventions.
- Work with Lean engineers and lab researchers to uphold consistent standards.
- Contribute to projects that train and improve AI systems.
आवश्यकताएँ
- Practical experience writing formal proofs in Lean 4.
- Familiarity with mathlib and Lean 4 tactics, including locating and applying suitable lemmas.
- A strong foundation in proof-based mathematics, theoretical computer science, or logic, demonstrated through a degree or research record.
- Ability to translate written mathematical statements and proofs into correct formal statements and checked proofs.
- Availability to work at least 20 hours per week on weekdays.
- Strong written communication skills, including the ability to explain proof strategies and formalization decisions precisely.
- Preferred: experience with Coq/Rocq, Isabelle, Agda, Haskell, Lean metaprogramming, or AI for mathematics.
- H1-B and STEM OPT candidates cannot be supported at this time.
लाभ
- W-2 employment through Cincinnatus LLC or an appropriate international entity.
- Payroll, benefits, and compliance handled by the employer of record.
- Fully remote work.
- Flexible hours with the ability to set your own schedule.
- Weekly payments through Stripe or Wise.
- Opportunity to work with leading researchers.
- Referral payments of up to $1,760 for each successful referral.
संबंधित नौकरियाँ
Compliance Officer – Capital.com (Hybrid, Cyprus)
Capital.com
Support regulatory monitoring, MiFID II governance, client classification, and audits at Capital.com’s digital trading platform. This hybrid role is based in Cyprus.
खोलें
Senior PixiJS Game Developer (TypeScript)
Growe Talents
Build and optimize casino games with PixiJS and TypeScript for an international online gaming company. Improve slot-game performance, interfaces, and animation while using AI-assisted development workflows.
खोलें
Senior Cryptoasset Compliance Officer, Europe (Remote)
OnHiresLead MiCA CASP and UK FCA cryptoasset regulatory work for a global fintech. Draft regulator-facing policies, applications, and remediation plans across Europe.
खोलें
Full-Stack .NET Developer
Saab
स्वीडनऑन-साइटपूर्णकालिकमध्य स्तरवरिष्ठआवश्यक भाषा: अंग्रेज़ीआवश्यक भाषा: स्वीडिशबैकएंड इंजीनियरसॉफ्टवेयर इंजीनियरBuild full-stack .NET software with customer teams at Combitech, contributing across design, implementation, verification and validation in agile projects.
खोलें
Senior Strategic Technology Lead at Saab — Stockholm, On-site
SaabLead Saab’s Polaris software, data and AI initiatives by aligning business units and technical teams. Turn complex defence and security opportunities into business outcomes and lasting capabilities.
खोलें
Junior Legal PA and Attorney Support Assistant
Latham & Watkins
Provide administrative support to lawyers at Latham & Watkins, including schedule coordination, document handling, billing, travel, and ServiceNow requests. This full-time hybrid role is based in the United Kingdom and offers hands-on training, coaching, and mentorship.
खोलें
Clinical Research Associate – France Remote
CTI Clinical Trial and Consulting Services
Monitor clinical trial sites in Germany for CTI, serving as their primary contact and supporting study visits, documentation, investigational products, and remote monitoring.
खोलें
Charge Registered Nurse (RN), PRN Night Shift — Las Vegas
PAM Health
Provide and oversee patient care at PAM Health’s Las Vegas long-term acute care hospital. Coordinate discharge plans, educate patients and families, and work with the interdisciplinary care team.
खोलें
Registered Nurse (RN), Full-Time Nights — Las Vegas
PAM HealthProvide inpatient nursing care at PAM Health’s specialty hospital in Las Vegas. Coordinate care and support patients’ post-acute recovery.
खोलें