Axiomatic AI develops AI-powered verification infrastructure that automates and validates complex engineering and scientific workflows.
<p><strong>About us: </strong></p> <p>Axiomatic AI is building a new class of AI systems designed to reason with the rigor of the scientific method. By combining deep learning with formal logic and physics-based modeling, we create verifiable, interpretable AI systems that collaborate with and support human researchers in high-stakes scientific and engineering workflows. </p> <p><strong>Our mission, 30×30</strong>, is to deliver a 30× improvement in the speed, accessibility, and cost of semiconductor and photonic hardware development by 2030. </p> <p>We aim to revolutionize hardware design and simulation in these industries and are building a team of highly motivated professionals to bring these innovations from research into commercial products.<br><br></p> <p><strong>Position overview: </strong></p> <p>We are building AI-assisted simulation and inverse-design tools for electronics, photonics, and semiconductor engineering. We are looking for a scientific-computing engineer with deep experience in JAX, Julia, or other high-performance numerical-computing ecosystems.<br><br>You will build the computational backbone behind our EDA workflows: differentiable simulation, optimization, uncertainty quantification, large-scale experiment execution, and reproducible numerical pipelines. You will work closely with AI engineers, software engineers, mathematicians, physicists, and domain experts to turn research-grade methods into robust production systems.<br><br>Open source is an important part of how we build. We contribute upstream when it improves the tools our product depends on, but our primary mission is to deliver reliable, high-performance scientific software for real engineering users.</p> <p><strong>Your mission:</strong></p> <ul> <li>Build high-performance scientific-computing systems for simulation, inverse design, optimization, and uncertainty quantification in EDA-related workflows.</li> <li>Develop and optimize JAX and/or Julia-based numerical pipelines, including differentiable solvers, adjoint methods, vectorized workloads, and GPU-accelerated computation.</li> <li>Profile and improve performance across CPU/GPU backends, compilation boundaries, memory movement, batching, sharding, and distributed execution.</li> <li>Build verification infrastructure: numerical regression tests, convergence tests, invariants, benchmark suites, tolerance policies, and reproducible datasets.</li> <li>Translate research prototypes into stable APIs, packages, and production-grade services used by internal teams and customers.</li> <li>Work with open-source ecosystems pragmatically: evaluate libraries, contribute fixes upstream, publish non-differentiating benchmarks or utilities where appropriate.</li> <li>Collaborate with scientists, engineers, and product teams to make advanced computational methods usable in real engineering workflows.</li> </ul> <p><strong>Key requirements:</strong></p> <ul> <li>3+ years building scientific, numerical, ML infrastructure, or HPC software in industry, research, <strong>open source</strong>, or equivalent hands-on work.</li> <li>Deep expertise in <strong>JAX or Julia</strong>.</li> <li>Strong Python and/or Julia engineering skills, including package design, testing, CI, documentation, and maintainable APIs.</li> <li><strong>Strong understanding of numerical methods</strong>, automatic differentiation, optimization, or scientific simulation workflows.</li> <li>Experience <strong>profiling and optimizing numerical workloads</strong> on CPU and/or GPU.</li> <li>Ability to reason about <strong>correctness, reproducibility, numerical stability, and performance trade-offs</strong>.</li> <li><strong>Clear communication skills</strong> and ability to work across software engineering, AI, mathematics, physics, and product teams.</li> </ul> <p><strong>Nice to have:</strong></p> <ul> <li>Experience in EDA, photonics, semiconductor design, computational electromagnetics, RF/microwave simulation, or multiphysics simulation.</li> <li>Experience with distributed compute, job schedulers, multi-node workloads, Kubernetes, Docker, cloud infrastructure, or HPC systems.</li> <li>Experience building QA frameworks for scientific or ML systems, including dataset versioning, benchmark dashboards, and numerical regression infrastructure.</li> <li>Experience with lab automation, hardware-in-the-loop systems, PyVISA, SCPI, microcontrollers, FPGAs, or measurement equipment.</li> </ul> <p> </p> <p><strong>What we offer:</strong></p> <ul> <li><strong>Competitive compensation</strong></li> <li><strong>Stock Options Plan:</strong> Empowering you to share in our success and growth.</li> <li><strong>Cutting-Edge Tools:</strong> Access to state-of-the-art tools and collaborative opportunities with leading experts in artificial intelligence, physics, hardware and electronic design automation.</li> <li><strong>Work-Life Balance:</strong> Flexible work arrangements in one of our offices with potential options for remote work.</li> <li><strong>Professional Growth:</strong> Opportunities to attend industry conferences, present research findings, and engage with the global AI research community.</li> <li><strong>Impact-Driven Culture: </strong>Join a passionate team focused on solving some of the most challenging problems at the intersection of AI and hardware.</li> </ul> <p> </p> <p><strong>Work model & location expectations:</strong></p> <ul> <li><strong>Team work model:<br></strong>Hybrid <em><br></em></li> <li><strong>Primary location:<br></strong>Boston, US</li> </ul> <p> </p> <p><strong>Why join us? </strong></p> <p>At Axiomatic_AI, you will be working on technology that drives innovation in AI for scientific and engineering applications in line with our 30 x 30 mission. This is your opportunity to contribute to the development of new AI architectures that can reason coherently and produce interpretable and verifiable solutions. Consequently, see those ideas