Staff Software Engineer, Security & Privacy AbnormalStaff Software Engineer, Security & PrivacySan Jose, CADistributed systems expert – you bring deep experience designing and operating large-scale distributed systems, and have partnered with security teams to build secure-by-default solutions. Were looking for a distributed systems expert who has worked closely with security teams — someone who can drive Product Security at scale and translate that into clear, executable technical roadmaps.
Member of Technical Staff (Software Engineer) Cerebras SystemsMember of Technical Staff (Software Engineer)Sunnyvale, CAThis role focuses on deploying and optimizing scalable inference services, collaborating with cross-functional teams, and ensuring reliable, production-ready machine learning infrastructure. Author detailed technical documentation for infrastructure configurations, inference workflows, and APIs, ensuring clarity for internal teams and external customers.
Member of Technical Staff - Software Engineer Vinci4dMember of Technical Staff - Software EngineerPalo Alto, CaliforniaSpecific tasks include: Develop key features to improve our product including: making it more scalable, developing improving APIs to enable more complex engineering workflows. Proficiency in using cloud compute be it for data generation, scraping, and enabling data science teams to train models with MLOps is a plus.
Sr. Member of Technical Staff Cerebras SystemsSr. Member of Technical StaffSunnyvale, CAIn this role, you will help build and maintain scalable AI inference services, develop cloud-based deployment workflows, improve system reliability through automation, and collaborate across engineering teams to deliver high-performance software solutions. This architecture allows Cerebras to deliver industry-leading training and inference speeds; over 10 times faster than GPU-based hyperscale cloud inference services.
Member of Technical Staff - Backend Engineer - Data Systems and APIs Vinci4dMember of Technical Staff - Backend Engineer - Data Systems and APIsPalo Alto, CaliforniaWe’re a small team building infrastructure that connects AI models, large-scale simulation data, and production software used directly by engineers. We value engineers who are comfortable moving between infrastructure, data systems, and product code, and who enjoy building pragmatic systems that ship.
Member of Technical Staff SpaceXAIMember of Technical StaffPalo Alto, CA$324,000–$396,000 / yearApplied machine learning techniques and deploying large-scale deep learning systems 4. Working with distributed system engineers and AI researchers in developing technologies in the area of natural language processing, computer vision, and speech recognition applications 5. Special Requirements: Position requires experience, knowledge or coursework in each of the following skills: BigData systems such as Spark, Hadoop, BigQuery, and related technology to build highly scalable data processing systems.
Member of Technical Staff - Full Stack Engineer, ML Efficiency & Observability Microsoft CorpMember of Technical Staff - Full Stack Engineer, ML Efficiency & ObservabilityMountain View, CA$119,800–$234,700 / yearOR Masters Degree in Computer Science, Math, Software Engineering, Computer Engineering, or related field AND 6+ years of business analytics, data science, software development, data modeling or data engineering work experience. Bachelors Degree in Computer Science, Math, Software Engineering, Computer Engineering, or related field AND 6+ years experience in business analytics, data science, software development, data modeling or data engineering work.
Member of Technical Staff (Software Engineer, Backend Platform) Perplexity AI IncMember of Technical Staff (Software Engineer, Backend Platform)Palo Alto, CAThis high‑impact group builds and maintains critical infrastructure, including backend systems for authentication, authorization, real-time data flows, service orchestration, and sandboxing, to ensure fast, reliable, and secure user experiences. Own key backend services involved in authentication and encryption flows (including BYOK‑related pieces), partnering with Security and Infra on defense‑in‑depth.
Member of Technical Staff (Software Engineer, Connector Platform) Perplexity AI IncMember of Technical Staff (Software Engineer, Connector Platform)Palo Alto, CABuild the connector onboarding path (schemas, fixtures, and evaluation suites) so new connectors ship with measurable quality rather than hope, and drive the eval metrics that tell us a connector actually works inside agent loops. Own the design and implementation of the connector runtime, the system that registers, hosts, and executes built-in connectors, hosted MCP servers, and CLI-backed tools behind a single agent-facing interface.
Member of Technical Staff (Software Engineer, Data Platform) Perplexity AI IncMember of Technical Staff (Software Engineer, Data Platform)Palo Alto, CAThe team defines the architecture for batch and streaming systems, the orchestration and observability stack, and a self-serve data platform, while thoughtfully combining platforms such as Databricks and Snowflake with open-source technologies including Spark, Kafka, Flink, Airflow, Dagster, dbt, Iceberg, Delta Lake, and ClickHouse. Set and enforce guarantees for data correctness, freshness, lineage, and recoverability, designing systems that handle rapid scale growth, partial failures, and evolving schemas without disrupting AI workloads or product experiences.
Member of Technical Staff, Developer Experience Engineering Manager Microsoft CorpMember of Technical Staff, Developer Experience Engineering ManagerMountain View, CA$163,000–$296,400 / yearThere is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $220,800 - $331,200 per year. Required Qualifications: Bachelors Degree in Computer Science or related technical field AND 8+ years technical engineering experience with coding in languages including, but not limited to, C, C++, C#, Java, JavaScript, or Python.
Member of Technical Staff, High Performance Computing Engineer - MAI SuperIntelligence Team Microsoft CorpMember of Technical Staff, High Performance Computing Engineer - MAI SuperIntelligence TeamMountain View, CA$139,900–$274,800 / yearDo you have a Bachelor's degree in computer science, or related technical field AND 4+ years technical engineering experience with deploying or operating on-premise or cloud high-performance clusters, AND 4+ years experience working with high-scale training clusters (ex. Masters Degree in Computer Science or related technical field AND 6+ years technical engineering experience with deploying or operating on-premise or cloud high-performance clusters, AND 6+ years experience working with high-scale training clusters (ex.
Member of Technical Staff, Capacity & Efficiency Infrastructure - MAI Superintelligence Team Microsoft CorpMember of Technical Staff, Capacity & Efficiency Infrastructure - MAI Superintelligence TeamMountain View, CA$119,800–$234,700 / yearPreferred Qualifications: Bachelor's Degree in Computer Science or related technical field AND 10+ years technical engineering experience with coding in languages including, but not limited to, C++ or Python OR Master's Degree in Computer Science or related technical field AND 8+ years technical engineering experience with coding in languages including, but not limited to, C++ or Python. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $158,400 - $258,000 per year.
Member of Technical Staff - Responsible AI (CoreAI) Microsoft CorpMember of Technical Staff - Responsible AI (CoreAI)CA$139,900–$274,800 / yearThere is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $188,000 - $304,200 per year. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $220,800 - $331,200 per year.
Member of Technical Staff, Software Engineer InceptionMember of Technical Staff, Software EngineerSan MateoInception was co-founded by Stanford professor Stefano Ermon , who co-invented such breakthrough AI technologies as diffusion models, flash attention, and DPO, UCLA professor Aditya Grover , who co-invented node2vec, decision transformers, and d1 reasoning, and Cornell professor and Afresh co-founder Volodymyr Kuleshov , who co-invented MDLM and Block Diffusion. Based in Palo Alto, CA, we are backed by top-tier venture capitalists, including Menlo Ventures, Mayfield, M12 (Microsoft’s venture fund), Snowflake Ventures, Databricks, and Innovation Endeavors, and by tech luminaries such as Andrew Ng, Andrej Karpathy, and Eric Schmidt.
Member of Technical Staff (Software Engineer, Computer) Perplexity AI IncMember of Technical Staff (Software Engineer, Computer)Palo Alto, CAWe are hiring builders to join our highly leveraged engineering team for creating new products that innovate and accelerate human productivity. We've scaled beyond the millions of people using Perplexity every day for research, shopping, investing and curiosity into a new paradigm of using AI to transform knowledge into action.
Member of Technical Staff — Product RadixArkMember of Technical Staff — ProductPalo Alto, CaliforniaOur team has optimized kernels serving billions of tokens daily,designed distributed training systems coordinating 10,000+ GPUs, and contributed to infrastucture that powers leading Al companies and research labs. As a Member of Technical Staff — Product, you will partner closely with our Product Managers, research scientists, and systems engineers to turn cutting-edge AI infrastructure into delightful, performant, and reliable products that developers and enterprises love to use.
Founding Member of Technical Staff - Software Open SelectFounding Member of Technical Staff - SoftwareBerkeley, CaliforniaBacked by a $3M seed round and elite investors from Meta, Anthropic, DeepMind, and CrowdStrike, you’ll work on $10M+ contracts securing facilities with 200,000+ GPUs—directly protecting the digital assets that will power the global economy. You’ll bridge ML research, systems engineering, and security, designing and implementing novel solutions for formal verification, confidential computing, and seamless ML integration.
Member of Technical Staff (Software Engineer, Cloud Infrastructure) Perplexity AI IncMember of Technical Staff (Software Engineer, Cloud Infrastructure)Palo Alto, CADesign and operate Perplexity's cloud networking fabric, including VPC architectures, private connectivity, and peering with hyperscalers and neocloud providers to support low-latency, high-throughput AI workloads. Architect and scale compute platforms (Kubernetes/EKS, autoscaling groups, and mixed CPU/GPU fleets) to efficiently serve online request traffic and background workloads across regions.
Member of Technical Staff - Data Platform Microsoft CorpMember of Technical Staff - Data PlatformMountain View, CA$119,800–$234,700 / yearMasters Degree in Computer Science, Math, Software Engineering, Computer Engineering, or related field AND 3+ years experience in business analytics, data science, software development, data modeling, or data engineering OR Bachelors Degree in Computer Science, Math, Software Engineering, Computer Engineering, or related field AND 4+ years experience in business analytics, data science, software development, data modeling, or data engineering OR equivalent experience. As a Member of Technical Staff - Data Platform, you will be responsible for the following: • Core Platform Engineering: Design and build the underlying frameworks (based on Spark/Databricks) that allow internal teams to process massive datasets efficiently, abstracting away the complexity of "ETL" into self-service infrastructure.
Member of Technical Staff, Finance Research ESRhealthcare and EXEC STAFF RECRUITERSMember of Technical Staff, Finance ResearchPalo Alto, CaliforniaRemote$180,000–$230,000 / yearThis role sits at the intersection of large language models, agentic systems, and enterprise finance, with a focus on building rigorous evaluation frameworks that measure, benchmark, and advance AI performance across complex financial workflows. You will conduct applied research, develop novel methodologies for assessing financial intelligence in AI systems, and partner closely with researchers, engineers, and product teams to shape the next generation of enterprise AI.
Member of Technical Staff - Geometry / Meshing Engineer Vinci4dMember of Technical Staff - Geometry / Meshing EngineerPalo Alto, CaliforniaVinci4d is building the next-generation copilot for hardware designers and engineers, integrating rich text, image and 3D geometry (STL, OBJ, STEP, etc.) workflows with machine learning, physics modeling, and geometry processing pipelines. Contribute to geometry processing and mesh generation pipelines (surface/volume, unstructured/structured, quad/hex/tri/tet) suitable for industrial-scale hardware design.
Member of Technical Staff — Performance RadixArkMember of Technical Staff — PerformancePalo Alto, CaliforniaOur team has optimized kernels serving billions of tokens daily, designed distributed training systems coordinating 10,000+ GPUs, and contributed to infrastructure that powers leading AI companies and research labs. Our customers care about real numbers: P99 latency, TTFT, tokens/sec/GPU, throughput under long-context workloads, cost-per-million tokens, RL rollout efficiency, and training-inference consistency.
Member of Technical Staff, Software Engineer Fireworks AIMember of Technical Staff, Software EngineerSan MateoWe’ve been independently benchmarked as the leader in LLM inference speed and are driving cutting-edge innovation through projects like our own function calling and multimodal models. Ownership & Impact: Join a fast-growing, passionate team where your work directly shapes the future of AI—no bureaucracy, just results.
Member of Technical Staff - Program Analysis Endor Labs IncMember of Technical Staff - Program AnalysisPalo Alto, CA$90,000–$130,000 / yearSome exposure to program analysis or static analysis (e.g., call graphs, data-flow or taint analysis, abstract interpretation, symbolic execution) or to ML for code (e.g., vulnerability detection, code representation learning, program repair, code embeddings, reachability prediction, LLM-based code understanding). As an MTS, you will contribute to our existing suite of static analysis tools, help evolve our SCA (Software Composition Analysis) and SAST (Static Application Security Testing) platforms, and help shape machine-learning experiments that power the next generation of our detection and prioritization capabilities.
Member of Technical Staff - Full Stack Engineering Manager Microsoft CorpMember of Technical Staff - Full Stack Engineering ManagerMountain View, CA$139,900–$274,800 / yearBachelor's Degree in Computer Science or related technical field AND 10+ years technical engineering experience with coding in languages including, but not limited to, C, C++, C#, Java, JavaScript, or Python OR Master's Degree in Computer Science or related technical field AND 8+ years technical engineering experience with coding in languages including, but not limited to, C, C++, C#, Java, JavaScript, or PythonOR equivalent experience. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $188,000 - $304,200 per year.
Member of Technical Staff - Software Architect LabsMember of Technical Staff - SoftwarePalo Alto, CaliforniaOur goal is to co-design custom ASICs alongside evolving ML workloads, and enable a new era of domain-specific chips that unlock capabilities impossible with current hardware paradigms. You’ll own the full stack, developing intuitive, high-performance systems using TypeScript, Python, and modern frameworks, while integrating cutting-edge AI features and models in collaboration with our ML team.
Member of Technical Staff - Data Engineer, Copilot Memory and Personalization Microsoft CorpMember of Technical Staff - Data Engineer, Copilot Memory and PersonalizationMountain View, CA$139,900–$274,800 / yearBachelors Degree in Computer Science OR related technical field AND 12+ years technical engineering experience with coding in languages including, but not limited to, C, C++, C#, Java, JavaScript, OR Python OR Masters Degree in Computer Science or related technical field AND 15+ years technical engineering experience with coding in languages including, but not limited to, C, C++, C#, Java, JavaScript, or Python OR equivalent experience. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $188,000 - $304,200 per year.
Member of Technical Staff, Software Co-Design AI HPC Systems - MAI Superintelligence Team Microsoft CorpMember of Technical Staff, Software Co-Design AI HPC Systems - MAI Superintelligence TeamMountain View, CA$139,900–$274,800 / yearThe team invests heavily in understanding real production workloads large-scale training, inference, and emerging multimodal models and translating those insights into concrete improvements across the stack: from kernels, runtimes, and distributed systems, all the way down to silicon-level trade-offs and datacenter-scale architectures. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $188,000 - $304,200 per year.
Member of Technical Staff Recruiting From ScratchMember of Technical StaffPalo Alto, CaliforniaBacked by General Catalyst and leading technology investors, the company has raised $27 million and assembled an exceptionally technical team with backgrounds spanning Jane Street, MIT, Stanford, International Olympiad medalists, and successful AI startups. As traffic and concurrent AI agent executions continue growing rapidly, they're expanding their engineering team to build the infrastructure and product capabilities powering the next generation of consumer AI assistants.
Member of Technical Staff — Kernel / Compiler / Communication RadixArkMember of Technical Staff — Kernel / Compiler / CommunicationPalo Alto, CaliforniaOur team has optimized kernels serving billions of tokens daily, designed distributed training systems coordinating 10,000+ GPUs, and contributed to infrastructure that powers leading AI companies and research labs. RadixArk is an infrastructure-first company built by engineers who've shipped production AI systems, created SGLang (20K+ GitHub stars, the fastest open LLM serving engine), and developed Miles (our large-scale RL framework).
Member of Technical Staff - Infrastructure PlixMember of Technical Staff - InfrastructureSan MateoExperience working with cloud computing offerings like AWS and GCP, specifically with services like GCS/S3, GCE/EC2, GKE, Container Registries, etc. Experience with SQL and no-SQL databases (e.g., MySQL, PostgreSQL, MongoDB, Cassandra) and web servers (e.g., Apache, Nginx).
Member of Technical Staff - Applied AI Architect LabsMember of Technical Staff - Applied AIPalo Alto, CaliforniaAs a Founding Member of the Technical Staff (Applied AI) at Architect, you'll sit at the intersection of chip design and frontier AI — translating deep hardware engineering expertise into agentic systems that can reason about, generate, and verify real silicon. Our goal is to co-design custom ASICs alongside evolving ML workloads, and enable a new era of domain-specific chips that unlock capabilities impossible with current hardware paradigms.
Member of Technical Staff — Inference RadixArkMember of Technical Staff — InferencePalo Alto, CaliforniaOur team has optimized kernels serving billions of tokens daily, designed distributed training systems coordinating 10,000+ GPUs, and contributed to infrastructure that powers leading AI companies and research labs. RadixArk is an infrastructure-first company built by engineers who've shipped production AI systems, created SGLang (20K+ GitHub stars, the fastest open LLM serving engine), and developed Miles (our large-scale RL framework).
Member of Technical Staff - Backend Engineer, Copilot Memory and Personalization Microsoft CorpMember of Technical Staff - Backend Engineer, Copilot Memory and PersonalizationMountain View, CA$139,900–$274,800 / yearBachelors Degree in Computer Science OR related technical field AND 12+ years technical engineering experience with coding in languages including, but not limited to, C, C++, C#, Java, JavaScript, OR Python OR Masters Degree in Computer Science or related technical field AND 15+ years technical engineering experience with coding in languages including, but not limited to, C, C++, C#, Java, JavaScript, or Python OR equivalent experience. You'll work in a highly collaborative, fast-paced environment to develop systems that deepen memory with every interaction, personalize experiences to reflect each user's unique style and goals, and make interactions feel more like working with a trusted partner than using a tool.
Core Data Center Senior Member of Technical Staff MicronCore Data Center Senior Member of Technical StaffSan Jose, CaliforniaYou will develop deep technical engagements with customers and partners to identify key future technology trends, evaluate system-level benefits and behaviors and the dependence of storage on them, and set technical strategies for product roadmaps in a fast-paced, agile environment, closely partnering with business, R&D, and technology teams in Micron. Micron’s Core Data Center Business Unit (CDBU) manages Micron’s world-class portfolio of Data Center SSDs, the NAND component roadmap, and DRAM solutions for OEM customers.
Member of Technical Staff (Software Engineer, Storage Platform) Perplexity AI IncMember of Technical Staff (Software Engineer, Storage Platform)Palo Alto, CAThe Storage Platform team owns the infrastructure that powers how Perplexity persists, retrieves, and manages data across all systems, ensuring high availability, performance, and cost-efficiency for every product and AI workload. By building robust abstractions and operational excellence around storage, the team enables engineers across Perplexity to focus on product innovation while trusting that data is fast, reliable, and always accessible.
Member of Technical Staff, Site Reliability Engineer (HPC) - MAI SuperIntelligence Team Microsoft CorpMember of Technical Staff, Site Reliability Engineer (HPC) - MAI SuperIntelligence TeamMountain View, CA$139,900–$274,800 / yearThere is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $188,000 - $304,200 per year. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $158,400 - $258,000 per year.
Member of Technical Staff - ML Research Architect LabsMember of Technical Staff - ML ResearchPalo Alto, CaliforniaYou will work at the intersection of cutting-edge research and production engineering for chip designs, implementing, scaling, and improving post-training techniques to enhance model capabilities and usability. Our goal is to co-design custom ASICs alongside evolving ML workloads, and enable a new era of domain-specific chips that unlock capabilities impossible with current hardware paradigms.
Member of Technical Staff - Compilers Architect LabsMember of Technical Staff - CompilersPalo Alto, CaliforniaDomain Background: Hands-on experience on at least one of: Apple Neural Engine compiler, Google XLA / Edge TPU / TPU codegen, Groq TSP compiler (spatial scheduling, IR dialect design), Cerebras compiler stack, Qualcomm Hexagon NN / AI Engine, AMD AIE / Vitis AI, or similar/equivalent custom accelerator compiler(s). Understanding of ML inference systems and workload-level optimizations: FlashAttention, RadixAttention, PagedAttention, continuous batching, speculative decoding, KV cache management, and prefill/decode scheduling.
Sr Specialist Member of Technical Staff - Device Analytics and AI AT&T IncSr Specialist Member of Technical Staff - Device Analytics and AISan Ramon, CA$128,100–$205,800 / yearThis role partners closely with Product, Data Science, Software Engineering, and Network organizations to accelerate AI innovation across AT&T. At AT&T, we are building the next generation AI platform that powers intelligent customer experiences, device analytics, and network-aware applications.
Member of Technical Staff, ML Training Cognita ImagingMember of Technical Staff, ML TrainingPalo Alto, CaliforniaAs a Member of Technical Staff focused on model training, you will be responsible for building Cognita’s large language models (LLMs) and vision-language models (VLMs) for radiology and architecting the training environment they run in. In partnership with Radiology Partners, Cognita’s models are trained and validated on one of the world’s largest real-world radiology datasets.
Member of Technical Staff, Software Engineering, Mosaic Reporting Cognita ImagingMember of Technical Staff, Software Engineering, Mosaic ReportingPalo Alto, CaliforniaIn partnership with Radiology Partners, the largest radiology practice in the world, Cognita's models are trained and validated on one of the world's largest real-world radiology datasets. Your work focuses on the next chapter: scaling and improving the system as it rolls out more broadly across Radiology Partners and to external customers, work that sits directly in the critical path of patient care.
Research Member of Technical Staff- Deployment Rhoda AIResearch Member of Technical Staff- DeploymentMountain View, CaliforniaOur robots are designed to be generalists capable of operating in complex, real-world environments and handling long-tail edge cases, made possible by our cutting edge research and end-to-end system design. We've raised over $450M and are investing aggressively in model research, infrastructure, hardware development, and manufacturing scale-up to make generalist robotics a reality.
Member of Technical Staff - Extreme-Scale Sparse Linear Algebra, Domain Decomposition & GPU Solver Architecture Vinci4dMember of Technical Staff - Extreme-Scale Sparse Linear Algebra, Domain Decomposition & GPU Solver ArchitecturePalo Alto, CaliforniaYour work will shape the solver architecture that supports not just a single physics, but a rich operator ecosystem including indefinites, saddle-point systems, strong coefficient jumps, anisotropy, and tightly coupled multiphysics blocks encountered in real hardware workflows. Now we are building the core solver substrate that must scale beyond billions of DOFs — to trillions, preserve determinism, and generalize across radically different operator landscapes and distributed environments.
Member of Technical Staff - Foundation Model Architecture & AI Infrastructure Vinci4dMember of Technical Staff - Foundation Model Architecture & AI InfrastructurePalo Alto, CaliforniaToday, our unified model already operates across a subset of partial differential equations in real industrial environments. The next phase is expanding that unified architecture across operators, including: Maxwell’s equations.
Member of Technical Staff, Principal Full Stack Engineer - Copilot Applications Microsoft CorpMember of Technical Staff, Principal Full Stack Engineer - Copilot ApplicationsMountain View, CA$139,900–$274,800 / yearPreferred Qualifications Bachelors Degree in Computer Science OR related technical field AND 12+ years technical engineering experience with coding in languages including, but not limited to, C, C++, C#, Java, JavaScript, OR Python OR Masters Degree in Computer Science or related technical field AND 15+ years technical engineering experience with coding in languages including, but not limited to, C, C++, C#, Java, JavaScript, or Python OR equivalent experience. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $188,000 - $304,200 per year.
Member of Technical Staff, Senior Full Stack Engineer - Copilot Applications Microsoft CorpMember of Technical Staff, Senior Full Stack Engineer - Copilot ApplicationsMountain View, CA$119,800–$234,700 / yearMasters Degree in Computer Science or related technical field AND 6+ years technical engineering experience with coding in languages including, but not limited to, C, C++, C#, Java, JavaScript, or Python OR Bachelors Degree in Computer Science or related technical field AND 8+ years technical engineering experience with coding in languages including, but not limited to, C, C++, C#, Java, JavaScript, or Python OR equivalent experience. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $158,400 - $258,000 per year.
Member of Technical Staff - Formal Methods Architect LabsMember of Technical Staff - Formal MethodsPalo Alto, CaliforniaBuild the proof-obligation generator that emits checkable claims (entailment of assertions from spec, refinement of RTL from spec) and the toolchain that discharges them via SMT solvers, model checkers, and proof assistants as appropriate. Formal Methods Depth: Deep expertise in at least two of: temporal logic and model checking, SMT-based verification, refinement-based specification, or proof assistants applied to hardware/distributed/concurrent/low-level systems.
Member of Technical Staff X CorpMember of Technical StaffPalo Alto, CA$324,000–$396,000 / yearApplied machine learning techniques and deploying large-scale deep learning systems 4. Working with distributed system engineers and AI researchers in developing technologies in the area of natural language processing, computer vision, and speech recognition applications 5. Special Requirements: Position requires experience, knowledge or coursework in each of the following skills: BigData systems such as Spark, Hadoop, BigQuery, and related technology to build highly scalable data processing systems.