Uber is seeking an expert in program analysis to enhance developer productivity and reliability within the Developer Platform organization by developing and deploying automatic bug detection tools, focusing on improving the code review cycle.
Requirements
- In-depth knowledge and hands-on experience in static program analysis.
- Proven track record of designing, developing, and deploying automatic bug detection tools, including linters.
- Demonstrated expertise in leveraging advanced techniques, such as program analysis and large language models (LLMs), to build innovative developer tools.
- Prior experience with compiler design/optimization, static or dynamic analysis, abstract syntax trees (ASTs), intermediate representations (IRs), and formal methods.
- 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 is needed.
- Knowledge of different compilation steps (and ability to troubleshoot) in languages such as Go, C, C++, or Java.
Responsibilities
- Designing, developing, and deploying automatic bug detection tools, including linters.
- Leveraging advanced techniques, such as program analysis and large language models (LLMs), to build innovative developer tools.
- Integrating these tools seamlessly into the software development workflow, with a particular focus on enhancing the code review cycle.
- Research in programming languages spanning Go, Java, Swift, Kotlin, and TypeScript.
- Developing static analysis tools such as NullAway, NilAway, Last Diff Analyzer, and Piranha.
- Developing dynamic analysis tools such as CRISP, and GOLF.
- Developing optimization tools such as swift protocol specialization, code-size optimization, profile-guided optimization in Go and CI optimization with SubmitQ.
Other
- 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
