Applied Scientist

Are you passionate about pushing the boundaries of AI and formal verification? Acceler8 Talent is looking for an Applied Scientist to join a startup team working at the intersection of automated reasoning and AI. In this role, you'll contribute to the development of cutting-edge neuro-symbolic AI systems that leverage the power of formal verification and modern machine learning techniques.

As an Applied Scientist of Formal Methods, you'll design and implement innovative formal verification tools and techniques, prototype and validate neuro-symbolic reasoning approaches and develop high-performance systems based on your validated prototypes. Collaborating closely with researchers and engineers, you'll tackle complex verification challenges and make a significant impact on the future of AI-powered verification.

A strong candidate will have:

• Strong background in formal methods and automated reasoning (e.g., SAT, SMT, model checking, logic, and automata)
• Proficiency in writing production-quality code in statically typed languages like C++, Rust, or Java
• Experience with rapid prototyping, ideally in Python
• Demonstrated expertise in algorithm design and implementation
• Exceptional problem-solving and analytical abilities

Preferred Qualifications:

• PhD in Computer Science, Mathematics, or a related field with a focus on formal methods (or equivalent deep expertise)
• Experience with hardware verification languages and standards (e.g., SystemVerilog, PSL, SVA)
• Familiarity with modern machine learning techniques and frameworks