- TechDigital Group (San Jose, CA)
- …would have experience in C++/System C modeling, advanced AI algorithms, and formal methods to improve verification productivity and accelerate bug discovery ... Role: The Senior Software Developer team is looking for a senior software developer who has an excellent understanding of ASIC and SoC design flows. The… more
- Apple Inc. (Cupertino, CA)
- …of next generation Mac systems. Our Engineering Team is responsible for architecting methods to test new system hardware with the macOS environment to catch issues ... technical and logistical contributor and will use your in-depth software knowledge to enable testing on new silicons and...range of discounted products and free services, and for formal education related to advancing your career at Apple,… more
- Menlo Ventures (San Francisco, CA)
- …we are We have people from France and the Philippines, physics and philosophy, formal methods research and full fledged corporations. We're new parents and new ... Our mission is to make world-class software security available to everyone. This means building...more. About Us: Our mission is to make world-class software security available to everyone. This means building tools… more
- Apple Inc. (Culver City, CA)
- …debugging complex AI systems Integrating intricate AI systems into a larger software stack Minimum Qualifications MS/PhD in Computer Science, Math, Robotics or ... related field Strong software engineering background Ability to break down large features...(LLMs, Diffusion Models, etc.) as well as traditional ML methods (Linear Regression, Decision Trees, etc.) Preferred Qualifications Strong… more
- Menlo Ventures (San Francisco, CA)
- …we are We have people from France and the Philippines, physics and philosophy, formal methods research and full fledged corporations. We're new parents and new ... About Semgrep Our mission is to make world-class software security available to everyone. This means building program analysis tools that are open source, easy to… more
- Atria Group LLC (San Bruno, CA)
- …knowledge on ITIL processes and policies. Guide and teach continuous process improvements methods through informal and formal mentorship both inside and outside ... We specialize in Staffing, Consulting, Software Development, and Training along with IT services to small to medium size companies. AG's primary objective is to help… more
- Trimble (Sunnyvale, CA)
- …Testing Engineer, you will design, develop, and implement cost-effective methods for qualification verification testing of these receivers in state-of-the-art ... test automation of procedures, scenarios, equipment, and data analysis. Perform formal periodic test reviews* Analyze system behavior under operating scenarios to… more
- El Camino Health (San Francisco, CA)
- …device industry, collaborating with cross-functional teams including Design, Firmware, Software , Electrical, and Mechanical Engineering.You will work closely with ... systems for iRhythm's medical devices.* Collaborate cross-functionally with design, software , firmware, and manufacturing teams to enhance testing efficiency and… more
- Apple Inc. (San Francisco, CA)
- …and evaluation. You will apply state-of-the-art generative AI and machine learning methods to continually advance Siri's capabilities. At Apple you will have the ... with many dynamic, cross-functional teams across research, product and software . The ideal candidate will have a passion for...range of discounted products and free services, and for formal education related to advancing your career at Apple,… more
- Apple Inc. (San Francisco, CA)
- …into system architecture. Collaborating with firmware designers to realize these methods with high efficiency software implementation and possibly with ... power meter). Experience in modem architecture, microprocessor architecture, hardware and software control. Experience of SoC design and validation to support… more
