Applied Formal Methods Researcher (Lean 4) About the Role What if your deep mathematical training could directly shape how AI reasons about the hardest problems in mathematics?
Electrical Engineering
Remote (Global)
$35 – $60/hr
June 10, 2026
Job description
Electrical Engineering — AI Data Trainer
About the Role
We partner with the world's leading AI research labs to build smarter, more capable AI models — and we need electrical engineers to help get there. Your deep technical knowledge will be used to stress-test advanced language models, expose their reasoning gaps, and help shape how AI understands complex engineering concepts.
This is a rare opportunity to work at the intersection of engineering and artificial intelligence — no prior AI experience required.
- Organization: Alignerr
- Type: Hourly Contract
- Location: Remote
- Commitment: 10–40 hours/week
What You'll Do
- Design Challenging Problems — Craft advanced electrical engineering problems spanning circuit analysis, power systems, signal processing, electromagnetics, and control systems to expose the limits of AI reasoning
- Author Gold-Standard Solutions — Develop rigorous, step-by-step solutions that serve as benchmarks for AI learning and evaluation
- Audit Technical Accuracy — Review AI-generated outputs including code, circuit diagrams, and mathematical proofs for correctness, safety, and alignment with standards such as IEEE and NEC
- Sharpen AI Reasoning — Identify logical flaws in AI-generated engineering reasoning and provide structured, actionable feedback to improve model performance
- Document Failure Modes — Record how and where AI models fall short so research teams can systematically harden model capabilities
Who You Are
- Pursuing or holding a Master's or PhD in Electrical Engineering, Electronic Engineering, or a closely related field
- Strong foundational knowledge in one or more core domains: VLSI, control systems, telecommunications, power electronics, or signal processing
- Able to communicate complex technical concepts clearly and concisely in written form
- Detail-oriented with high precision when working with mathematical equations, circuit logic, and technical documentation
- Self-motivated and comfortable working independently on an async, flexible schedule
- No prior AI experience required
Nice to Have
- Experience with data annotation, technical writing, or evaluation systems
- Familiarity with simulation tools (e.g., MATLAB, SPICE, or similar)
- Background in embedded systems, robotics, or engineering simulation
Why Join Us
- Work on cutting-edge AI projects alongside world-class research teams
- Fully remote and flexible — set your own schedule and workload (10–40 hrs/week)
- Freelance autonomy with meaningful, intellectually stimulating work
- Direct impact on how the next generation of AI models handles real engineering challenges
- Potential for ongoing work and contract extension
Apply now
You will be redirected to the company's website to complete your application.
Researcher – Lean 4 & Formal Proof Systems (AI Training) About the Role What if your deep mathematical training could directly shape how AI understands and reasons through the hardest proofs in existence?
Formal Verification Scientist (Lean 4 & Mathlib) About the Role What if your deep mathematical training could directly shape how AI reasons about proofs — and push the boundaries of what machines can verify?
Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About the Role What if your deep mathematical training could directly shape how AI reasons about formal proofs — and help push the boundaries of what machines can verify?