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

Uber is seeking an expert in program analysis to enhance developer productivity and reliability across various computational domains by developing and deploying automatic bug detection tools, integrating them into the software development workflow, and improving the code review cycle.

Requirements

• In-depth knowledge and hands-on experience in static program analysis.
• Demonstrated expertise in leveraging advanced techniques, such as program analysis and large language models (LLMs), to build innovative developer tools.
• Solid understanding of innovative program analysis techniques and experience developing static analyses or compiler optimizations.
• 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.
• Driving exciting, ambitious, previously unsolved projects from end-to-end.
• Iterating fast to explore possible solutions.
• Making data-driven decisions with exceptional execution.
• Publishing your work at top computer science conferences.

Other

• Thrive in ambiguous product requirements.
• Collaborate closely with product managers and data scientists.
• Be motivated to own projects and push them forward with independence.
• Most importantly, have a passion for making Uber better for our customers.
• Ability to communicate effectively with both technical and business partners.