Get the job you really want.

Top Tech Jobs & Startup Jobs

9 Hours Ago
Palo Alto, CA, USA
Mid level
Mid level
Software
As a Software Engineer at Harmonic, you will bridge AI research and application development, collaborating to create scalable software solutions.
Top Skills: AWSAzureC++DockerGCPKubernetesPythonPyTorchTensorFlow
9 Hours Ago
Palo Alto, CA, USA
Senior level
Senior level
Software
Lead research in formal methods for mathematical theorem proving, develop algorithms for AI systems, and apply verification techniques.
Top Skills: LeanLean4Python
9 Hours Ago
Palo Alto, CA, USA
Mid level
Mid level
Software
Research Engineer will lead advancements in mathematical theorem proving using reinforcement learning techniques, developing new algorithms and collaborating with a team.
Top Skills: Deep Learning FrameworksPythonPyTorch
9 Hours Ago
Palo Alto, CA, USA
Mid level
Mid level
Software
Join a startup as a Research Engineer focusing on Reinforcement Learning and Mathematical Theorem Proving. Responsibilities include developing algorithms, conducting research, and collaborating with teams.
Top Skills: PythonPyTorch
All Filters
New Jobs
Job Category
Experience
Industry
Company Name
Company Size

Sign up now Access later

Create Free Account