Software Engineer II, PhD (Programming Systems Team)

About the Role

Key Responsibilities

• Drive exciting, ambitious, previously unsolved projects from end-to-end
• 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
• Make Uber better for our customers
• Publish your work at top computer science conferences

Requirements

• Must be Ph.D. in Computer Science, Computer Engineering, or related field
• 3+ years of professional software development experience with prior experience with compiler design/optimization, static or dynamic analysis, abstract syntax trees (ASTs), intermediate representations (IRs), and formal methods
• Proficiency in Java and experience developing Java analysis tools using frameworks like Soot, WALA, Spoon, or ASM
• Knowledge of different compilation steps (and ability to troubleshoot) in languages such as Go, C, C++, or Java
• Strong publication record in relevant conferences (e.g., PLDI, OOPSLA, ICSE, ASE, FSE, ASPLOS)

Nice to Have

• Deep knowledge of 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
• Ability to communicate effectively with both technical and business partners
• Experience in simplifying/converting business challenges into technical problems
• Research mentality with a bias towards action to structure a project from idea to experimentation to prototype to implementation
• Experience building and iterating on code review (phabricator, GitHub), automation test infrastructure (unit, integration, E2E), and build systems (Bazel / buck)
• Experience working with teams spanning geographic locations and time-zones
• Linux and Kubernetes system knowledge
• Experience presenting at industry-recognized academic conferences
• Experience with machine learning or Generative AI for program analysis
• Excellent coding and software design skills

Qualifications

• Educational background including a Ph.D. in relevant fields
• Experience with compiler design/optimization, static/dynamic analysis, ASTs, IRs, and formal methods

Benefits & Perks

• Base salary range USD$167,000 to USD$185,500 depending on location
• Eligibility to participate in Uber's bonus program
• Potential equity awards and other compensation
• Various benefits as detailed at https://www.uber.com/careers/benefits