Latest Backend Engineering jobs at Voltai

Develops formal proofs for hardware design correctness using model checking and property verification. Collaborates with RTL and ML teams on hybrid engines for AI-generated hardware, requiring 5+ years in formal tools like JasperGold.

Develops and optimizes CUDA kernels for AI models accelerating semiconductor design, verification, and chip optimization across large-scale GPU clusters. Integrates with frameworks like PyTorch and latest NVIDIA hardware for training, inference, and RL workloads.