- Harmonic (Palo Alto, CA)
- …our world-class technical team. We are seeking a highly motivated and skilled Research Engineer to join our AI & Formal Methods team. The initial focus ... complex problems in theorem proving and beyond. Key Responsibilities Conduct research in formal methods for mathematical theorem proving Apply formal… more
- Harmonic (Palo Alto, CA)
- …leading technology startup in Silicon Valley is looking for a motivated Research Engineer to join their Reinforcement Learning & Formal Methods team. ... This role will focus on advancing mathematical theorem proving with innovative RL techniques. Candidates should possess strong programming skills in Python, experience in deep learning, and a solid understanding of mathematical principles. The position offers… more
- Harmonic (Palo Alto, CA)
- …our elite technical team. We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. This ... research in the intersection of RL and formal methods , with a focus on mathematical...AI to solve practical problems in formal methods . Proven track record of high-quality research … more
- CertiK (San Francisco, CA)
- …academia to secure blockchain code. Come and join this ambitious mission as a research software engineer to work on automated analyses for provably secure and ... or identify security issues and bugs in smart contracts. We have software engineer positions available at all levels of seniority. Title and responsibilities will be… more
- Menlo Ventures (San Francisco, CA)
- …of human-level capabilities. You could describe yourself as both a scientist and an engineer . As a Research Engineer on Alignment Science, you'll contribute ... to exploratory experimental research on AI safety, with a focus on risks...surpass human-level intelligence in various domains. AI Control: Creating methods to ensure advanced AI systems remain safe and… more
- Apple Inc. (Cupertino, CA)
- Machine Learning Research Engineer , SIML - ISE Cupertino, California, United States Machine Learning and AI Join the team building the next generation of Apple ... Intelligence Machine Learning (SIML) organization is looking for a Machine Learning Research Engineer in the domain of multi-modal perception and reasoning.… more
- Harmonic (Palo Alto, CA)
- …Lead and conduct high-quality research in the intersection of RL and formal methods , with a focus on mathematical theorem proving. Develop and implement ... with a multidisciplinary team to integrate RL techniques with formal methods . Stay abreast of the latest...RL to solve practical problems in formal methods . Proven track record of high-quality research … more
- Apple Inc. (Cupertino, CA)
- AI/ML - Machine Learning Research Engineer , Machine Translation Cupertino, California, United States Machine Learning and AI Apple Machine Translation team is ... app, Safari web page translation and System-wide translation). We are looking for research scientists and engineers passionate about applied research in the… more
- Apple Inc. (Cupertino, CA)
- …to be used across all Apple product cameras! As part of the team you will research and develop novel ways to improve the image and video quality of Apple's camera ... In order to reduce the computational complexity of your methods you are encouraged to take advantage of Apple...range of discounted products and free services, and for formal education related to advancing your career at Apple,… more
- Apple Inc. (Cupertino, CA)
- …us, you will be working on ground breaking technology by researching and developing new methods and algorithms deployed on a global scale. As part of this team you ... scale. To achieve this, you will help developing novel groundbreaking methods within differentiable rendering (NeRF, Gaussian Splatting, etc.), generative models,… more
