ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.

Features

Auto Apply Resume Optimizer Cover Letter Optimizer Interview Prep

Company

Social Media

Need Help?

team@applyblast.com

Research Engineer, Formal Methods at Harmonic - ApplyBlast

Research Engineer, Formal Methods

Harmonic

2 months ago

3.4 on Glassdoor

Palo Alto, California, United States

Onsite

Full Time

Medior

0 applicants

View Job Listing

Apply to 100+ jobs

About this role

Harmonic is seeking a Research Engineer to join its Formal Methods team, focusing on advancing AI-based theorem proving for software and hardware verification. The role involves developing new approaches to express and prove critical properties, and collaborating with AI researchers to train systems for reliable verification. This position aims to enhance the efficiency and effectiveness of formal methods in safety-critical domains.

Responsibilities

Conduct research in formal methods for verification of software and hardware
Apply formal verification techniques using Lean to verify safety critical systems
Develop algorithms to improve efficiency of formal methods for AI systems

Skills

Qualifications

BS in Computer ScienceMS in Computer ScienceBS in MathematicsMS in Mathematics

About Harmonic

harmonic.fun

Headquarters

Palo Alto, California, United States

Company Size

1-10 employees

View Profile

Harmonic is a pioneering platform focused on leveraging artificial intelligence for formal mathematical reasoning. The company aims to enhance human advancement in science and engineering by developing mathematical superintelligence, which accelerates the discovery of fundamental truths about our universe. Through its innovative tools and technologies, Harmonic empowers researchers and scientists to solve complex problems by utilizing the language of mathematics as a means of reasoning.