Remote Lean 4 Proof Engineer: Formalize Math
Alignerr
A leading AI research organization seeks a Lean 4 Proof Engineer specializing in mathematical formalization. This role involves translating informal mathematical proofs into machine-verifiable formalizations, focusing on clarity and rigorous proof construction. Candidates should possess a Master’s degree in Mathematics or a related field and hands-on experience with Lean and formal proof languages. The position offers competitive hourly pay, flexible remote work, and opportunities to collaborate on cutting-edge AI projects. #J-18808-Ljbffr
Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Remote Lean 4 Proof Engineer: Formalize Math in Sheffield, TX vacancy
- ...Alignerr is seeking a Lean 4 Proof Engineer to transform informal mathematics into machine-verifiable formalizations. This remote position offers flexibility to mathematicians passionate... ...proofs into Lean 4, analyzing gaps in formal arguments, and collaborating with AI...Remote work
Alignerr
New York, NY4 days ago $170 per hour
...Formal Verification Scientist (Lean 4 & Mathlib) $170-200/hr Remote Freelance STEM What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced...Remote workHourly payOngoing contractContract workFreelanceFlexible hoursAlignerr
United States5 hours ago- ...leading AI research partner seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib. The ideal candidate... ...arguments into formal proofs, primarily using Lean. Responsibilities... ...verification strategies. This is a fully remote position with competitive hourly...Remote workHourly pay10 hours per weekFlexible hours
Alignerr
Sheffield, TX3 days ago $35 - $65 per hour
...Specialist to contribute to an exciting freelance project. This remote role is ideal for experts fluent in Lean 4 and theoretical mathematics. You will engage with advanced topics while constructing complex proofs and ensuring rigorous mathematical reasoning. Candidates...Remote workHourly payFreelanceInvisible Agency
New York, NY1 day ago$50 - $150 per hour
...A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on translating informal mathematical proofs into formal, machine-verifiable formats using Lean and other proof systems. Candidates should have a Master...Remote workHourly payAlignerr
San Francisco, CA3 days ago- ...Integration's Modification Retrofit Engineer (MRE) in the sustainment area... ...ranging from onsite to remote, along with a comprehensive benefits... ...support global verification/proofing events as required.... .... Schedule for this Position 4×10 hour days, 3 days off per...Remote workWork at officeFlexible hours3 days per week
$115k - $230k
...Research Software Engineer Blockchain technology is enabling a rapidly-growing era of innovation... ...properties of smart contracts and formalize properties for use in our automated... ...of equivalent experience. Minimum of 4 years of software development experience...Remote workInternshipCertiK
United States9 hours ago$129.3k - $193.9k
...to the C2BMC Regional Systems Engineering Manager. Work will be performed in a closed area with no remote work options available. Basic... ...related STEM discipline with 4 years of relevant work experience... ...development. Support formal and informal engineering technical...Remote workWork experience placementFlexible hours- ...Developer 4, Systems Software wanted by Merastar Insurance Company in Richardson, TX... ...knowledge & skills of IS projects teams. Support proof-of-concept activities for new technologies... .... Lead team in phase gates for projects. Remote working/telecommuting benefits. Hybrid...Remote workTemporary work
Merastar Insurance Company
Richmond, VA3 days ago - Manufacturing Engineer Functional area: Production Onsite or Remote: Onsite Country/Region:... ...core culture and lead Lean/Six Sigma... ...work, OEE, mistake‑proofing) to reduce waste, optimize... ...Production System (SPS/4.0). Identify,... ...be substituted for formal educational qualifications...Remote workTemporary workFlexible hours
$196k - $310.5k
Senior Formal Verification Engineer page is loaded## Senior Formal Verification Engineerlocations: US, CA, Remote: US, TX, Remote: US, OR, Remote: US, WA, Remote: US, FL, Remotetime type... ...to acquire sufficiently bounded proofs while working with architects, designers...Remote work$108.8k - $163.2k
...exciting career opportunity in Huntsville, Alabama for a Systems Engineer – Level 3 or 4 (Analysis / Hardware) to join our team of qualified,... ...provide relocation assistance and requires on-site work with no remote options. What We Can Offer You: Northrop Grumman...Remote workRelocationFlexible hoursShift work- ...Mathematician (Foundations / Formalization) What if your deep knowledge... ...formal systems and rigorous proof methods could directly shape... ...advanced mathematical arguments in Lean 4 and contributing to large-... ...mathlib. This is a fully remote, flexible contract role for...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr
United States5 hours ago $129.3k - $193.9k
...seeking a Sr Principal Flight Test Engineer - Integrated Product Team Lead (IPTL) level 4 to lead projects as part of the... ...position is 100% onsite with no remote or hybrid options. An active DoD... ...programmable‑logic integration for formal test events. Plan, organize, and...Remote workRelocation packageShift work- ...Fermah is the universal proof generation layer. It functions as a marketplace, where... ...ZK is used. Fermah is bringing moon math to the masses. Fermah was founded by Dr... ...are seeking a dedicated Solidity & Rust Engineer to work on cutting-edge mechanism design...Remote workFull time
De Circle
United States1 day ago $127.1k - $153.4k
...Refueling & Remote Handling Engineer 4 Corvallis, OR 97330 Employment Type: Direct Hire Job Number: 31827 Job Location: Remote Industry: ALT - Alternative Energy Job Description Job Title: Refueling & Remote Handling Engineer 4 Position Description: Protingent...Remote workFull timeContract workProtingent
United States3 days ago- ...IT Sr Quality Engineer Work location (remote/telecommute)Work hours (8am-5pm) What will the interview process look like? (Video phone 2 rounds... ...of the team’s skill sets (1 scrum master 1 product owner 4 software engineers 2 quality engineers) Description:...Remote work
Samprasoft
United States1 day ago - ...IT Sr Quality Engineer Work location (remote/telecommute): Work hours (8am-5pm) Interview process: Video phone 2 rounds some technical discussion... ...of skill sets includes 1 scrum master, 1 product owner, 4 software engineers, and 2 quality engineers. Description...Remote work
Software Technology Inc
United States9 hours ago - ...Active Directory Senior Engineer This position may be offered to a candidate authorized to... ...duration of the assignment period. Location: Remote Until Conversion, then McLean VA or Plano... ...College degree or equivalent experience. 4+ years of experience as a Senior Level AD...Remote work
Samprasoft
United States1 day ago - ...Job Title: Refueling & Remote Handling Engineer 4 Type: Direct Hire Work Model: Remote (travel to client sites as needed) Overview Step into a fully remote, direct-hire opportunity as a Refueling & Remote Handling Engineer (Level 4) supporting advanced...Remote workLocal area
System One Holdings, LLC
United States4 days ago - ...What is the specific title of the position? - IT Sr Quality Engineer Work location (remote/telecommute) Work hours (8am-5pm) What will the... ...of the team s skill sets (1 scrum master 1 product owner 4 software engineers 2 quality engineers) Description :...Remote workWork experience placement
Voluble Systems LLC
United States1 day ago $82.16 per hour
...We are a national staffing firm and are currently seeking a Systems Engineer 4 for a prominent client of ours. This position is a REMOTE position! Details of the position are as follows: Job Description: ~ Pay is $82.16/hr to start!! ~1 - year assignment...Remote workThe Fountain Group
United States1 day ago- ...System Engineer III Remote, location no preference System Engineer III able to provide expert-level support to developing and improving upon... ...Skills - Database - Microsoft SQL Server - Proficient (4-6 Years) - Yes Skills - Design - PHP - Proficient (4-6 Years...Remote workContract work
Suncap Technology
United States5 hours ago $125.3k - $187.9k
...has an opening for a FPGA Digital Design Engineer Level 3 or 4 to join our team of qualified, diverse... ...in the Northridge, CA location. No remote/telework arrangement is available for this... ...of Test Benches and support of formal VHDL Verification. Active/Current DoD...Remote workFull timeRelocation packageShift work- Stanley Black & Decker, Inc. is seeking a Senior Engineer for Continuous Improvement Excellence. This remote position involves leading operational improvement activities, applying Lean methodologies, and coaching shop-floor personnel. The ideal candidate will have a Bachelor...Remote job
- Stanley Black & Decker, Inc. is seeking a Senior Engineer in Continuous Improvement Excellence to join their remote manufacturing team. This role involves leading operational improvements, coaching staff in Lean methodologies, and understanding operational KPIs. Candidates...Remote job
- ...Systems Engineer 4 - Sys Architecting Requirements & Interfaces Location: Berkeley, Missouri (Onsite) Employment Type: Contract Role Overview We are seeking enthusiastic systems engineers to join a team building the next generation of force-multiplying aircraft...Remote workContract work
Apex Systems
United States5 hours ago - Axiom is using zero knowledge proofs to scale smart contract applications... ...preference, but we’re open to remote candidates as well. We... ...We are looking for a ZK Proof Engineer who will implement and optimize... ...You have a strong background in math/cryptography, or strong...Remote workContract workWork at officeFlexible hours
$95k - $105k
...Truenas Sales Engineer TrueNAS is redefining enterprise... .... Whether you work remotely or on-site, you'll be part... ...discovery through proof-of-concept, technical validation... .... Candidates with 2–4 years of experience... ...educational experience (whether formal or informal) that...Remote workWork at officeLocal areaFlexible hoursiXsystems
United States4 hours ago$81.77k - $134.91k
...experience for both our clients and our team. As a global engineering and construction firm, we partner with clients... ...allows our employees to balance time in the office with remote work from home. Mechanical Engineer 4 As a valued member of our Infrastructure and...Remote workWork at officeLocal areaWork from homeWorldwide
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Remote Lean 4 Proof Engineer: Formalize Math. Be the first to apply!
