Forward Deployed Engineer - Axiomatic AI

Key Responsibilities

• Design, prototype, and deploy end‑to‑end AI solutions that integrate deep learning models with formal logic constraints for hardware design workflows.
• Collaborate with research scientists to translate cutting‑edge theory into production‑ready code, ensuring verifiability and interpretability.
• Optimize model performance and inference latency on cloud and edge platforms, leveraging GPU/TPU resources.
• Develop and maintain robust data pipelines for large‑scale simulation and experimental datasets.
• Mentor junior engineers and conduct knowledge‑sharing sessions on AI best practices.

Requirements

• Strong programming skills in Python and experience with deep learning frameworks (PyTorch, TensorFlow).
• Proficiency in formal methods or logic programming (e.g., Prolog, Z3) and physics‑based simulation tools.
• Hands‑on experience deploying ML models at scale, including model compression and optimization.
• Excellent problem‑solving skills and a passion for applying AI to high‑stakes scientific problems.
• Effective communication skills for cross‑functional collaboration.