About Axiomatic_AI
Axiomatic_AI is dedicated to transforming how AI integrates with hardware, focusing on verifiable AI models that empower engineers in hardware design and Electronic Design Automation (EDA). We are building the next generation of Automated Interpretable Reasoning (AIR), with a mission to revolutionize the fields of hardware design and simulation through innovative AI-driven tools. We seek highly motivated professionals to help us bring these innovations to life, driving the evolution from development to commercial product.
Position Overview: Multisystem Analysis in Systems Architecture
The Multisystem Analysis and Systems Architect will lead the design, integration, and optimization of multiphysics systems within our AI-driven hardware design frameworks. You will be tasked with developing comprehensive system-level models and ensuring the robust performance of hardware systems under a range of real-world conditions. This role will involve a blend of high-level system architecture design and hands-on multiphysics simulation across multiple domains, including electromagnetic, thermal, computational fluid dynamics (CFD), and mechanical systems.
Key Responsibilities
* System Design Integration: Design and implement cross-domain models for analyzing electromagnetic, thermal, mechanical, and fluid dynamics interactions in complex systems. Formulate constraints using formal verification techniques (such as SMT or Lean) to ensure robustness.
o q1.1: Electromagnetic Simulation Constraints in photonic and RF applications.
* Optimization and Simulation: Lead the development of numerical simulation algorithms using AI-driven methods to enhance the accuracy and speed of simulations.
o q1.2: Thermal Analysis Constraints
* Collaborative Integration: Interface with industry-standard EDA tools like Cadence and Synopsys, or open-source alternatives, to optimize design flows for complex chips.
o q1.3: Computational Fluid Dynamics (CFD): Employ Navier-Stokes equations
* System-Level Performance: Define methodologies to evaluate system performance using massively parallel computing architectures and AI-augmented simulations.
o q1.4: Electromechanical Analysis: Use Maxwell's stress tensor equations to analyze the forces in electromechanical transducer designs.
* Multiphysics Supercomputing: Implement and optimize AI-driven Multidisciplinary Design Analysis and Optimization (MDAO) workflows for real-time, high-performance computing.
o q1.5: Constraint Optimization: Formulate multi-objective optimization problems in Lean, targeting 10x productivity gains through AI-enhanced algorithms.
* Documentation and Reporting: Develop detailed technical documentation and present simulation results to internal teams and external stakeholders, ensuring alignment with project goals and customer requirements.
o q1.6: Formal Proof Verification: Ensure the validity of simulation models through formal mathematical verification in Lean or Coq.
* Mentorship and Collaboration: Guide junior engineers and collaborate with cross-functional teams to drive innovation and ensure continuous improvement.
Requirements
* Education: M.Sc. or Ph.D. in Electrical Engineering, Mechanical Engineering, Physics, Applied Mathematics, or a related field with a focus on multiphysics simulation and system architecture.
* Experience:
o Minimum of 3-5 years in roles involving multiphysics analysis, EDA, or semiconductor design.
o Experience in formal methods for system verification using SMT solvers or theorem provers (e.g., Lean, Coq).
o Hands-on experience with electromagnetic simulation (FDTD, FEM), thermal management, and CFD tools.
* Technical Skills:
o Proficiency in programming languages such as Python, C++, or MATLAB for numerical modeling.
o Familiarity with hardware description languages (e.g., Verilog, VHDL) and system design using RISC-V or PULP platforms.
o Solid understanding of numerical methods, mathematical optimization, and AI-augmented simulations.
o Experience with GPU-accelerated computing and parallel processing techniques.
* Soft Skills:
o Strong analytical skills and the ability to think critically in solving complex engineering challenges.
o Excellent communication skills for articulating technical concepts and presenting results to stakeholders.
o Collaborative mindset with the ability to lead cross-disciplinary teams in a fast-paced environment.
What We Offer
* Competitive Compensation: A mix of salary and stock options for long-term career growth.
* Cutting-Edge Tools: Access to state-of-the-art tools and collaborative opportunities with leading experts in AI, hardware, and EDA.
* Work-Life Balance: Flexible work arrangements with options for remote work.
* Professional Growth: Opportunities to attend industry conferences, present research findings, and engage with the global engineering community.
* Company Culture: Join a passionate team focused on solving some of the most challenging problems at the intersection of AI and hardware.
Why Axiomatic_AI?
At Axiomatic_AI, you will be working on technology that drives innovation in hardware design and AI. This is your opportunity to contribute to products that will shape the future of computing, while collaborating with a global team of engineers and AI specialists. We believe in pushing the boundaries of what is possible and continuously seek to redefine the intersection of AI and hardware.
If you"re ready to take your expertise in multiphysics simulation, system architecture, and AI-driven optimization to the next level, we want to hear from you!
PI254974426