Machine Learning Researcher / Mathematician in Formal Methods
Axiomatic_AI's mission :
Axiomatic_AI is launching with the aim to accelerate R&D by "Automated Interpretable Reasoning" (AIR) a verifiably truthful AI model built for reasoning in science and engineering. Axiomatic_AI is hiring top talent interested in a future of human reasoning aided by not replaced by AI, and a future that empowers a new generation of innovators to solve important problems through deep-tech engineering in the semiconductor ecosystem.
Responsibilities :
* Test methods for automated design and measurements
* Collaborate with machine learning and chip design experts to develop AIR
* Develop the AIR platform for use by the customers
* Actively engage in the understanding of cutting-edge AI and machine learning methods
Qualifications :
* B.S. in computer science, statistics, computer engineering, or electrical engineering or related discipline
* Experience in machine learning methods such as neural networks, reinforcement learning, large language models through coursework and projects
* Excellent programming skills in Python
* Demonstrated ability to work collaboratively in a multidisciplinary team
* Excellent analytical and problem-solving skills
* Excellent written and oral communication skills
* Excellent foundation in the physical sciences and knowledge of deep-tech industries are a significant plus.
What We Offer :
* A competitive compensation package, including equity in a VC-backed startup.
* Comprehensive benefits, and a flexible PTO policy.
* An opportunity to be part of a groundbreaking company from its stealth phase through to public launch and beyond.
* The opportunity to work on pioneering projects that blend scientific research with practical hardware design
* A culture of learning & innovation ideal for professional development
* A fast-paced, highly dynamic and interdisciplinary work environment
#J-18808-Ljbffr