- 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
- Apple Inc. (Seattle, WA)
- Machine Learning Research Engineer (Human Sensing), SIML - ISE Seattle, Washington, United States Machine Learning and AI The System Intelligence Machine ... intelligent experiences our users enjoy every day! Description As a Machine Learning Research Engineer , you will be responsible for designing and developing… 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
- NVIDIA Corporation (Santa Clara, CA)
- …(RTOS), ARM architecture, Virtualization, strong C and/or Ada/SPARK programming skills, and experience with formal methods , we want to hear from you! Join us in ... Senior System Software Engineer - QNX BSP and IO Virtualization page...revolutionizing the industry. We are making extensive use of formal methods to automate our work flow… more
- Apple Inc. (Cupertino, CA)
- …Human Factors Engineer /Researcher to apply user-centered design principles to the research , design and development of Apple audio products. In this role, you'll ... in creating thorough experimental designs, applying scientific methods Mixed methods expertise to combine quantitative and qualitative research approaches… more
- Leonardo DRS (Burnsville, MN)
- …operating systems, hardware integration, combat systems, human interfaces, test harnesses, formal methods ) Ability to develop software APIs using technologies ... (in days) to receive an alert: Senior Principal Software Engineer Location: Burnsville, MN, US, 55337 Johnstown, PA, US,...expertise for Front End of the Business (FEOTB), Internal Research & Development (IRAD), to Development Programs in various… more
- Code Metal, Inc. (Boston, MA)
- …code generation pipelines that use a mix of Generative AI, Static Analysis and Formal Verification methods to translate code written in one language to another. ... Job Title Principal Software Engineer - Program Analysis for AI Overview We...code translation products. Collaborate with domain specialists to incorporate formal verification and static analysis methods into… more
- KLA-Belgium (Milpitas, CA)
- Applications Development Engineer - BBP page is loaded## Applications Development Engineer - BBPlocations: Milpitas, CAtime type: Full timeposted on: Posted 4 ... innovative ideas and devices that are advancing humanity all begin with inspiration, research and development. KLA focuses more than average on innovation and we… more
- Apple Inc. (Seattle, WA)
- …and Machine Learning Innovation (DMLI) team is seeking a passionate Machine Learning Engineer to explore new methods , challenge existing metrics and protocols, ... AIML - Sr Machine Learning Engineer - Data and ML Innovation Seattle, Washington,...engineers, and data scientists. Together, you will spearhead groundbreaking research initiatives and develop transformative products designed to build… more
- Menlo Ventures (San Francisco, CA)
- …Who we are We have people from France and the Philippines, physics and philosophy, formal methods research and full fledged corporations. We're new parents ... Dropbox, and more. About the role As a backend engineer on Semgrep's Code team, you'll build user facing...You will: Work on major product initiatives end-to-end, from user- research through design, implementation, and deployment Help set technical… more
- KLA-Belgium (Milpitas, CA)
- …innovative ideas and devices that are advancing humanity all begin with inspiration, research and development. KLA focuses more than average on innovation and we ... inspection products, is looking for the best and the brightest research scientist, software engineers, application development engineers, and senior product… more
- FUJIFILM Dimatix, Inc (Santa Clara, CA)
- Overview The Facilities Engineer IV plans facilities changes for plant, office, and production equipment layouts, working toward economy of operation, maximum use of ... or data requires an evaluation of intangibles. Exercises independent judgment in methods , techniques and evaluation criteria for obtaining results. Creates formal… more
