AI training and LLM evaluation jobs
Research Scientist - Computer Science & Computational Physics
Apply on micro1 ↗View source posting ↗
Researchers in computer science or computational physics will propose tractable open problems, use advanced models and agents to attempt proofs or simulations, and then verify the results independently. Verification may involve checking proofs, reproducing numerical findings, or applying formal tools before comparing outcomes with recent literature. The source targets late-stage PhD candidates, postdocs, or academics within five years of the PhD who have a strong recent publication record and hands-on computational expertise. Clear reports must capture methods, partial results, failures, and promising directions.
Responsibilities
- Identify and propose open problems, new bounds, or tractable research challenges in your subfield for rigorous investigation.
- Conduct structured research using frontier AI models and agents to attempt proofs, develop algorithms, or run computational simulations.
- Systematically verify research outputs by checking proofs, reproducing numerical results, or employing formal tools.
- Assess findings for novelty and correctness in direct comparison with recent literature and published results.
- Document methodologies, partial results, and encountered challenges through clear and thorough written reports.
- Highlight promising new directions and discoveries for deeper exploration by senior research professionals.
Requirements
- Advanced standing in research: late-stage PhD candidate, postdoctoral researcher, or early-career academic (0–5 years post-PhD) in computer science or mathematical/computational physics.
- Recognized by peer community for research excellence, such as best paper or dissertation awards at leading venues (e.g., STOC, FOCS, SODA, PLDI, SC).
- Strong publication track record within the past three years, including multiple top-venue papers and recent results addressing named open problems or introducing novel concepts.
- Hands-on expertise in computational methods, encompassing simulation, numerical analysis, and algorithmic implementation.
- Experience reviewing or sub-reviewing for prominent conferences in your specialty is a plus.
- Background in leveraging frontier models, agents, or formal computational tools (e.g., Lean, SAT/SMT solvers) in scholarly work.
- Publicly shared research statement or homepage outlining specific open problems currently under investigation.
Eligibility
Bangladesh · Hong Kong · India · Indonesia · Japan · Kazakhstan · Kyrgyzstan · Malaysia · Pakistan · Philippines · Singapore · Sri Lanka · Taiwan · Thailand · Uzbekistan · Vietnam · Austria · Belarus · Belgium · Denmark · France · Germany · Greece · Italy · Netherlands · Portugal · Russia · Spain · Switzerland · United Kingdom · Argentina · Brazil · Chile · Colombia · Mexico · Peru · Algeria · Bahrain · Egypt · Iraq · Jordan · Kuwait · Lebanon · Libya · Morocco · Oman · Palestine · Qatar · Saudi Arabia · Tunisia · United Arab Emirates · United States · Canada · Nigeria · Kenya · South Africa · Ghana · Ethiopia