Alignerr is seeking mathematicians and formal verification specialists to translate rigorous human arguments into Lean 4 proofs, working at the edge of automated reasoning. This is a fully remote, flexible hourly contract requiring 10–40 hours per week and centered on precision and verifiability of formal proofs.
Ideal candidates hold a Master’s or higher in Mathematics, Logic, or related fields with strong proof-writing skills and experience with Lean, Coq, Isabelle/HOL, or Agda.
#J-18808-Ljbffr...Job Description & Requirements Cardiologist StartDate: ASAP Pay Rate: $550000.00 - $800000.00 AMN is Partnered with a well-established not-for-profit health system serving Northwest Indiana and the greater Chicagoland region. The system continues to expand...
...Business and Consumer deposit growth activities, including lead execution, proactive outreach, and community engagement.Closely monitor... ...management.Preferred Experience:Bachelor's Degree.FIS/IBS (Integrated Banking Solutions).Job DetailsJob Type: Full-timeCategory: Branch...
...Employment Type: C2CIndustry: Computer SoftwareClient: WiproContact: Prudhvi Surabhi, Putla BharathCompany: SRI Tech SolutionsTitle: Python DeveloperLocation: Tampa, FL (Day 1 Onsite)Mode: Contract Job Description:Core Python developerSRI Tech Solutions is an equal...
...Interventional Radiologist 63222771 Interventional Radiologist Location: Alexandria, LA Alexandria, Louisiana offers a vibrant blend of Southern culture, history, and outdoor recreation situated in the heart of the state. The city provides an excellent cost...
...Job Description Job Description PG Golf LLC (RLMM Unlimited, a contractor for PG Golf), known as the world's largest recycled golf... ...supplier. Today, PG Golf LLC provides its customers with consistent top-quality golf balls in a variety of brands and models, with...