Introduction
We value candidates who are motivated by building the mathematical and computational foundations for the next generation of scientific simulation. Beyond technical ability, we look for people who resonate with our core philosophy:
Develop next-generation microscopic simulation.
Focus Micro, Forecast Macro.
We are looking for candidates who enjoy working at the intersection of mathematics, algorithms, and quantum simulation. Ideal applicants are comfortable reasoning rigorously about mathematical structures and translating those ideas into reliable computational workflows.
Preferred Alignments
• Strong background in mathematics, theoretical computer science, physics, or a related field.
• Familiarity with linear algebra, probability, numerical methods, or quantum mechanics.
• Experience thinking about algorithm correctness, formal reasoning, or mathematically structured codebases.
• Comfort working with functional or strongly typed programming paradigms.
• Interest in verifiable computation, symbolic systems, or mathematically precise software development.
• Ability to read and reason about technical papers and translate them into implementable algorithms.
• Curiosity about quantum algorithms and simulation techniques.
Nice-to-have
• Experience with scientific computing or quantum simulation frameworks.
• Exposure to formal mathematical reasoning systems or proof-oriented workflows (not required).
• Background in compiler theory, symbolic computation, or automated reasoning.
What You Will Be Doing
As a Math Engineer (Quantum), you will work on building mathematically rigorous foundations for quantum simulation and algorithmic updates.
Your work will include:
• Developing precise mathematical models for quantum state evolution and simulation procedures.
• Translating quantum update algorithms into formally structured mathematical representations.
• Ensuring algorithmic correctness and invariants through rigorous reasoning and structured verification workflows.
• Collaborating with researchers to turn theoretical results into reliable computational artifacts.
• Designing mathematically sound abstractions for quantum operators, states, and transformations.
• Building internal tooling and frameworks that support high-confidence implementations of quantum simulation techniques.
• Analyzing edge cases and proving properties such as conservation laws, stability, and correctness of update rules.
• Contributing to a research-oriented engineering environment where mathematical rigor and software reliability meet.
The role sits between mathematical research and systems engineering, focusing on building infrastructure that makes complex quantum algorithms both precise and trustworthy.
Why Us
Computation group plays the core role of Forecaster AI, we provide support to theoretical natural science research platform, develop novel computational approaches for quantum science, artificial intelligence and are gradually applying to physics, chemistry, finance and so on. We initiated the philosophy of focus micro, FORECAST MACRO, and keep practicing public awareness, openness, and respect.
We work rigorously, dream unlimited, and welcome peers to join.
We can consider housing coverage and OPT/H1B sponsorship based on availability.