Browse tech roles

Theorem Provers Program Proof Tools GPU Programming Machine Learning Systems Software Specification Model-based Testing Agentic Engineering Agentic Workflows Intent Formalization Programming Languages +5 more Show less

Java Spring Boot CMS REST GraphQL Kubernetes Docker CI/CD SQL NoSQL Kafka Redis Elasticsearch JUnit Maven Gradle Git Jenkins React Vue Angular +16 more Show less

Python Lua Bash C++ Objective-C Swift ARM Unix Linux MacOS USB UART SPI I2S PCIe MIPI LPDP gdb Firmware Drivers +15 more Show less

C C++ Python Linux FPGA I2C SPI UART PCIe GPIO GDB KGDB Layer 2 SFP QSFP Secure Boot Multi-threading State Machines +13 more Show less

LLM Python Go Java TypeScript JavaScript Workflow Orchestration Browser Automation Backend Services State Management Evaluation Frameworks Enterprise Integration Concurrency +8 more Show less

C Firmware GPU Driver Development Kernel Emulation Debugging Validation Protocols systems-software +3 more Show less

Python Java TypeScript JavaScript React Vue Angular FastAPI Django Flask Spring Boot AWS Azure GCP Docker Kubernetes PostgreSQL MySQL NoSQL CI/CD Open Policy Agent OPA Rego Salesforce Apex SOQL Lightning Web Components Prompt Engineering Claude Gemini GitHub Copilot Cursor CSPM EDR SIEM +30 more Show less

Python Go Java JavaScript TypeScript LLM AI Workflow Orchestration Browser Automation Backend Services Code Generation Evaluation Frameworks Concurrency Persistent State +9 more Show less

Python C C++ AI Machine Learning Compilers LLM CUDA GPU Programming LLVM MLIR Performance Engineering Optimization Data Structures Algorithms Reinforcement Learning Predictive Modeling Domain-Specific Languages +13 more Show less

Linux GPU Systems CUDA Distributed Systems Remote Execution Profiling Metrics Traces Bazel Container Infrastructure High-Performance Computing Scheduling NUMA Hardware-in-the-loop Data Paths Caching +11 more Show less

C++ Rust Systems Software driver-development ISO 26262 ISO/SAE 21434 DO-178C Formal Verification Kernel QNX NVIDIA DRIVE OS Concurrency Memory Safety Observability Deterministic Validation Security Engineering Performance Optimization +12 more Show less

Go C++ Rust Python Linux Kubernetes Distributed Systems OpenBMC Redfish NVLink InfiniBand Ethernet Embedded Linux Telemetry State Machines Fault Injection Hardware Bring-up Server Firmware +13 more Show less

Kubernetes Go Python Distributed Systems Slurm Bright Cluster Manager Cluster Operations Operator Development Node Health Monitoring Data Structures Algorithms Systems Programming Network Telemetry Incident Management +9 more Show less

C C++ CUDA Linux Kernel Development RTOS Operating Systems Data Structures & Algorithms Computer Architecture High-Performance Computing Compiler Development Embedded Systems GPU x86 ARM Bash/Shell Scripting OpenGL Vulkan Cryptography XLA TVM Halide CLANG gcc Perl Formal Verification Spark Frama-C +22 more Show less

AI/ML SRE MLOps AIOps TensorFlow PyTorch Kubernetes Docker AWS Azure GCP Terraform CloudFormation Pulumi Prometheus Grafana DataDog ELK Stack Splunk Jaeger OpenTelemetry Kafka Pulsar Istio Linkerd MLflow Kubeflow Seldon CI/CD Distributed Systems Computer Vision +26 more Show less

Linux Kernel C C++ Rust Python Shell Scripting Git CUDA QEMU vLLM SGLang Distributed Systems Memory Management Computer Architecture DMA NUMA CXL Device-DAX mmap Shared-Memory Programming +15 more Show less

Python Java Scala CI/CD Bazel Buck Pants Spark Beam GenAI Build Systems Internal Developer Platforms Static Analysis Experiment Tracking Feature Stores +10 more Show less

Python Java Scala AI/ML Distributed Systems Model Serving LLM Evaluation Observability Batch Processing real time serving Training Pipelines Feature Stores Anomaly Detection Root Cause Analysis Operational Automation +10 more Show less

Python AWS DynamoDB Distributed Systems Data Pipelines Source Control Management Software Development Life Cycle Data Lakes Monitoring Automation Testing Build Processes +7 more Show less

Kubernetes Go Python Distributed Systems Slurm Bright Cluster Manager Cluster Operations Operator Development Monitoring Telemetry Data Structures Algorithms Systems Programming Incident Management +9 more Show less