What are the responsibilities and job description for the Computer Scientist / Mathematician in Formal Methods position at Axiomatic AI?

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.

Axiomatic_AI"s mission :

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

PI259969541

Apply for this job

Receive alerts for other Computer Scientist / Mathematician in Formal Methods job openings

Job openings at Axiomatic AI

Lead AI Research Scientist

Axiomatic AI

Cambridge, MA Full Time

Axiomatic_AI"s mission : Axiomatic_AI is launching with the aim to accelerate R&D by "Automated Interpretable Reasoning"...

Systems Architect

Axiomatic AI

Cambridge, MA Full Time

About Axiomatic_AI Axiomatic_AI is dedicated to transforming how AI integrates with hardware, focusing on verifiable AI ...

VLSI Designer

Axiomatic AI

Boston, MA Full Time

VLSI Designer Axiomatic_AI's mission : Axiomatic_AI is readying to launch with the aim to accelerate R&D by "Automated I...

Validation Engineer – Electronic Design Automation (EDA)

Axiomatic AI

Cambridge, MA Full Time

Axiomatic_AI"s mission : Axiomatic_AI is launching with the aim to accelerate R&D by "Automated Interpretable Reasoning"...

Not the job you're looking for? Here are some other Computer Scientist / Mathematician in Formal Methods jobs in the Cambridge, MA area that may be a better fit.

Senior Assay Scientist

50056710 - Senior Scientist Bioscience, Waltham, MA

Computer Scientist / Mathematician in Formal Methods

What are the responsibilities and job description for the Computer Scientist / Mathematician in Formal Methods position at Axiomatic AI?

What is the career path for a Computer Scientist / Mathematician in Formal Methods?

Job openings at Axiomatic AI

Not the job you're looking for? Here are some other Computer Scientist / Mathematician in Formal Methods jobs in the Cambridge, MA area that may be a better fit.

We don't have any other Computer Scientist / Mathematician in Formal Methods jobs in the Cambridge, MA area right now.

AI Assistant is available now!