The Science & Research roles open on Alignerr today. For the same field across every platform, see all Science & Research jobs.
Pay figures cover the 59 open jobs that publish an hourly rate in USD. They are published rates, not a guarantee of income. Last checked on October 8, 2026.
This remote position involves developing and reviewing advanced environmental science problems to support AI model training. Environmental science experts with advanced degrees will apply their knowledge in climate modeling, ecology, or sustainability to create complex problem statements and enhance AI model reasoning through collaboration with research teams.
A physics expert will design and evaluate problems across multiple physics domains to help train and refine AI models. The role involves creating rigorous physics problems, developing detailed solutions, assessing AI responses for accuracy and reasoning quality, and providing feedback to improve AI systems' physics comprehension.
This remote, task-based role asks experienced forestry and land management specialists to check how AI systems describe forest health, land use, and sustainable practices. The work involves reviewing scenarios and AI-generated answers, then pointing out factual errors, oversimplifications, and questionable recommendations. It suits professionals with several years of field experience who can work independently on their own schedule.
This contract role asks mathematicians to turn dense informal proofs into structured, machine-checkable Lean 4 formalizations. The work also involves helping AI researchers understand where automated provers fail and how to improve formal verification pipelines. It is aimed at people with strong proof-writing backgrounds who want to work at the intersection of mathematics and AI.
This remote, part-time contract asks researchers to write and check demanding problems that test how AI systems reason across mathematics, the sciences, and engineering. It is aimed at people with a Master's or PhD who can work independently and asynchronously with AI researchers and domain experts.
This contract role involves turning mathematical theorems, lemmas, and proofs from textbooks and articles into precise, machine-checked Lean 4 code. The work also includes checking existing formalizations for logical soundness and flagging gaps in informal arguments, with the output used to build datasets that teach AI systems to reason about mathematics. It suits mathematicians and formal verification experts who can work independently and on their own schedule.
This contract role involves turning rigorous informal mathematical proofs into machine-checkable Lean 4 formalizations and identifying gaps and hidden assumptions along the way. It is aimed at mathematicians with graduate-level training who enjoy precise proof writing and formal verification. The work is part-time and remote, with collaboration alongside AI researchers.
This remote, asynchronous contract role asks holders of a Master's or PhD in a STEM or highly technical field to build hard, multi-disciplinary problems and review AI-generated solutions to strengthen how AI systems reason. It suits self-directed researchers with publications or substantial original projects who can explain complex ideas precisely in writing. Hours are flexible and the work may extend into further projects.
This remote contract role asks materials science specialists to write and check demanding problems that test how AI models reason about semiconductor materials and molecular modeling. It is aimed at Master's and PhD holders, including working researchers, academics and industry experts. Candidates review AI-generated scientific answers and help close their gaps, and no prior AI experience is required.
This remote contract role asks materials science experts to help train and evaluate AI models on semiconductor materials, molecular modeling, and other advanced materials problems. It is aimed at researchers with a master's or doctoral background who can write and review scientifically rigorous problems. No prior AI experience is needed because training is provided.
This contract role asks mathematics experts to label, organize and check math content that trains AI models. The work is remote and asynchronous, with a minimum weekly commitment. It suits people with strong math backgrounds in research, teaching or applied problem solving.
This freelance role asks mathematicians to design demanding problems and reference solutions that test how AI systems reason. The work also includes checking model outputs for accuracy and giving structured feedback, with benchmarks spanning undergraduate to PhD-level material. It suits people with advanced mathematical training who can work independently and remotely.
The role consists of translating informal mathematical arguments into machine-verifiable proofs in Lean and related proof assistants, and of analyzing where automated provers struggle. It is aimed at mathematicians with graduate training and hands-on proof assistant experience who can work independently on open-ended problems.
This is a remote, hourly freelance contract for mathematicians who formalize advanced arguments in Lean 4 and help build large formal libraries such as mathlib. It suits people with graduate-level training in mathematics who enjoy formal logic and want their work to shape how frontier AI systems learn mathematical reasoning.
This remote contract role asks mathematicians to write and audit formal proofs in Lean 4, contributing to large formal libraries such as mathlib. It suits people with an advanced degree in mathematics who can turn informal reasoning into machine-checkable proofs and want to help train mathematically capable language models.
This remote contract role asks mathematicians to write, check and audit formal proofs in Lean 4, feeding large formal libraries and helping train language models that reason mathematically. It is aimed at people with advanced training in mathematics who can work independently and asynchronously.
This remote contract role asks mathematicians to write and check formal proofs in Lean 4, strengthening large formal libraries and the mathematical reasoning of language models. It suits people with a graduate degree in mathematics who are comfortable working independently and asynchronously.
This remote contract role asks mathematicians to translate informal theorems and arguments into machine-checkable proofs in Lean 4, helping build the formal foundations that advanced AI systems rely on. It is aimed at candidates with graduate training in mathematics or a closely related field who enjoy rigorous proof and can work independently on an asynchronous schedule.
This is a remote, freelance contract for mathematicians who write formal proofs in Lean 4. The work involves turning informal mathematical arguments into machine-checkable proofs and contributing to large formal libraries, while supporting the training of mathematically capable language models. It suits people with a graduate background in mathematics who are comfortable working independently and on their own schedule.
This contract role asks mathematicians to formalize advanced theorems in Lean 4 and to contribute to large formal libraries such as mathlib. It also covers auditing existing formal proofs and helping train mathematically capable language models. It suits holders of a graduate degree in mathematics who can work independently and asynchronously on flexible hours.
Add your resume once. Every open job is scored against your profile, and we email you only when a strong match appears. Free.
FAQ
59 Alignerr Science & Research jobs are open on SideHustler today. Listings are rechecked against the official postings: the latest check on this list was on October 8, 2026.
Among the 59 open roles that publish an hourly rate in USD, pay runs from $20 to $200 per hour, with a median of $83. These are the rates the platforms publish, not a guarantee of income or hours.
The most requested areas of expertise on these listings are AI Evaluation, Scientific Writing, Mathematics, Experimental Design, Data Annotation. Each listing states its own requirements.
You apply on Alignerr, Labelbox's expert network: create a profile, complete an AI-led interview and skills assessment, then get matched to projects in your field.
Apply now opens the official posting on the platform, where you complete the application. You need no account on SideHustler. To see which roles fit your background first, add your resume and every open job is scored against your profile.
