Filtr uses AI to scan 1000+ jobs and finds postings that perfectly matches your resume

Uber is seeking an exceptional and experienced program analysis expert to join the Programming Systems Group within the Developer Platform organization to design, develop, and deploy automatic bug detection tools and integrate them into the software development workflow.

Requirements

• Proficiency in programming languages and experience developing static analysis tools using frameworks like LLVM, Soot, WALA, Spoon, or ASM
• Experience with machine learning or Generative AI for program analysis
• Knowledge of different compilation steps (and ability to troubleshoot) in languages such as Go, C, C++, or Java
• Deep knowledge of runtime environment such as JVM, LLVM, GraalVM, or JIT compilation
• Familiarity with software verification tools like Errorprone, Z3, CBMC, or Infer
• Experience integrating program analysis tools into CI/CD pipelines
• Linux and Kubernetes system knowledge

Responsibilities

• Drive exciting, ambitious, previously unsolved projects from end-to-end
• Leading, mentoring and growing junior engineers on the project
• Thrive in ambiguous product requirements
• Iterate fast to explore possible solutions
• Make data-driven decisions with exceptional execution
• Collaborate closely with product managers and data scientists
• Be motivated to own projects and push them forward with independence

Other

• Ph.D. in Computer Science, Computer Engineering, or related field
• 5+ years of professional software development experience
• Excellent coding skills and software design skills
• Strong publication record in relevant conferences
• Ability to communicate effectively with both technical and business partners
• Experience presenting at industry-recognized academic conferences