Browse tech roles

Python Linux Git CI/CD Jenkins GitLab CI pytest Robot Framework Docker Gerrit Grafana PowerBI Networking Protocols Infrastructure-as-Code +9 more Show less

Go Java Distributed Systems Bazel LLM AI Agents Mutation Testing Fault Injection Contract Testing System Design Algorithms Data Structures Monorepos Test Infrastructure +9 more Show less

Software Verification Automated Reasoning SMT Solvers Formal Methods large‑scale systems AI Programming Languages Systems Research +4 more Show less

Software Verification Formal Methods Agent Technologies Systems Software large‑scale systems

Python Linux Windows Software Verification Test Automation Requirements Analysis Test Design Debugging V&V FDA Regulatory Test Scripts Test Suites Hazard Analysis +8 more Show less

GPU RTL C/C++ Python Perl Ruby Emulation Computer Architecture SoC 3D Graphics Pipeline Waveform Capture +6 more Show less

C++ Python Computer Architecture CPU Verification Assembly Verilog HDL Object-Oriented Programming Data Structures Algorithms Hardware Simulation Microarchitecture Random Test Generation +7 more Show less

C++ Python Data Pipelines System Design Verilog Simulation Emulation GPU Performance Verification Profiling OOP Data Structures Algorithms AI Development Tools SoC +9 more Show less

C++ Python Data Pipelines System Design Verilog Simulation Emulation GPU Performance Verification Profiling OOP Data Structures Algorithms AI Development Tools SoC +9 more Show less

GPU RTL C/C++ Python Perl Ruby Emulation Graphics Driver SoC Computer Architecture 3D Graphics Pipeline Waveform Capture +7 more Show less

Java JavaScript TypeScript Kafka Apache Flink Spark Streaming Redis Docker Kubernetes LangChain OpenTelemetry Elasticsearch Kibana Logstash Grafana Microservices Data Visualization +12 more Show less