Math & Physical Sciences

Take astronomical data from FITS files to posterior estimates with astropy

Set up reproducible ASE, pymatgen and MD calculations with converged settings

Pin down RDKit descriptor definitions like Lipinski donor counts and TPSA

Discover conserved quantities and symmetries from trajectory data with neural nets

Write and check Coq and Rocq proofs with coqc, Search and build tooling

Check units and run Buckingham Pi dimensional analysis with pint before computing

Analyze phase portraits, bifurcations, Lyapunov exponents and chaos in ODE systems

Keep capacity, energy, LCOE and emissions numbers consistent in energy models

Solve Navier-Stokes flows with spectral and finite-difference CFD methods

Derive the underlying net and topology of crystal frameworks from CIF files

Process satellite imagery and run GIS and spatial analysis for Earth science

Read NetCDF, HDF5 and GeoTIFF rasters while keeping CF metadata and time encodings

Integrate conservative systems with symplectic methods like leapfrog and Yoshida

Formalize and check math statements in Lean 4 with Mathlib and lake builds

Identify compounds from 1H and 13C NMR peaks against BMRB and HMDB libraries

Solve stiff and non-stiff ODEs with event detection and parameter sweeps

Extract velocity fields from particle image velocimetry image pairs with OpenPIV

Solve PDEs with finite differences, spectral methods and PINNs in 1D to 3D

Train quantum circuits and hybrid quantum-classical models with PennyLane gradients

Look up NIST constants, Materials Project and PDG values instead of hardcoding

Run circuits on IBM Quantum hardware with Qiskit Runtime and error mitigation

Run cloud quantum chemistry jobs for pKa, conformers and cofolding with Rowan

Discover governing ODEs from trajectory data with sparse regression in PySINDy

Run Monte Carlo simulations of the Ising model with Metropolis and Wolff updates

Track units and propagate measurement uncertainty with GUM budgets and Monte Carlo

Simulate acoustic, electromagnetic and elastic waves with FDTD and spectral methods

Parse, validate and patch reservoir simulator input files such as .DATA

Look up simulator keyword syntax and examples from manuals and DATA files

Read simulation binary outputs and run flow diagnostics on finished runs

Run, monitor and stop simulator jobs in the foreground or background

Trace Pareto frontiers across competing objectives with repeated cuOpt solves

Solve LP, MILP and QP problems with cuOpt from Python, C or the CLI

Formulate LP, MILP and QP problems with objectives, constraints and decisions

Solve vehicle routing, TSP and pickup-delivery problems with the cuOpt Python API

Write Earth2Studio data source wrappers for weather and climate data stores

Write Earth2Studio diagnostic model wrappers for derived weather variables

Write Earth2Studio forecast model wrappers that step weather states forward

Fetch weather and climate variables for set times from Earth2Studio sources

Build Earth2Studio single-run weather forecast scripts from model and data

Find Earth2Studio models, data sources and examples for a weather use case

Install Earth2Studio with uv or pip and pick model extras

Fix equinoxes and solstices for a farm calendar from star and daylight sightings

Track five planets against 28 lunar mansions and read celestial signs for governance

Calculate leap months and solstice timing with the 19-year Metonic cycle

Derive pentatonic pipe lengths with the three-division method for tuning instruments

Derive a base pitch standard and all twelve pitch pipes from powers of three

Run simulations, model fits and dataset analyses with evidence-backed scientific claims

Look up chemical properties and structures in PubChem by name or SMILES

Build and run quantum circuits and hybrid jobs on Amazon Braket devices