Develop and evolve Rust verification tools and apply them to real‑world problems across Google’s code base, leveraging formal verification, Lean, Rust, and concurrent separation logic.
Evolve our Rust verification tools using a strong programming languages (PL) and formal verification background.
Apply Rust verification tools to real-world problems across Google’s code base.
Use knowledge of Lean, Rust and its semantics, and concurrent separation logic to solve complex verification challenges.
Write product or system development code.
Review code developed by other developers and provide feedback to ensure best practices (e.g., style guidelines, checking code in, accuracy, testability, and efficiency).
Requirements
Bachelor’s degree or equivalent practical experience.
Nice to have: Master's degree or PhD in Computer Science or related technical fields.
Nice to have: 4 years of experience in software development.
Nice to have: 2 years of experience with data structures and algorithms.
Nice to have: 2 years of experience in formal verification.
Intermediate level Applications Development Programmer Analyst responsible for system enhancements, programming, and support within Citi’s technology team.
Compensation
$76 560,00 - $106 840,00
Responsibilities
Utilize knowledge of applications development procedures and concepts, and basic knowledge of other technical areas to identify and define necessary system enhancements, including using script tools and analyzing/interpreting code
Consult with users, clients, and other technology groups on issues, and recommend programming solutions, install, and support customer exposure systems
Apply fundamental knowledge of programming languages for design specifications
Analyze applications to identify vulnerabilities and security issues, as well as conduct testing and debugging
Serve as advisor or coach to new or lower-level analysts
Requirements
Bachelor’s degree/University degree or equivalent experience
Lead ASIC design, verification, and implementation for high‑performance, low‑power products.
Compensation
$216,400.00 - $324,600.00
Responsibilities
Leverages expert ASIC knowledge to implement and drive development of high performance, high quality, low power products.
Influences and communicates guidelines for advanced architectures, circuit specifications, logic designs, and system simulations based on system‑level requirements.
Collaborates with cross‑functional teams to develop, communicate, and execute implementation strategy that meets system requirements and customer needs.
Influences all aspects of the process flow from high‑level design to synthesis, place and route, timing and power use, and verification for custom circuit design/layout flow.
Drives execution and enablement of architecture and design of blocks/SoC or IC Packages; ensures appropriate resources and procedures are in place.
Requirements
Bachelor's degree in Science, Engineering, or related field
Master's degree in Science, Engineering, or related field
Intermediate level Applications Development Programmer Analyst responsible for system enhancements, programming solutions, and support within Citi’s technology team.
Compensation
$76,560.00 - $106,840.00
Responsibilities
Utilize knowledge of applications development procedures and concepts
Consult with users, clients, and other technology groups on issues
Apply fundamental knowledge of programming languages for design specifications
Analyze applications to identify vulnerabilities and security issues
Serve as advisor or coach to new or lower-level analysts
Requirements
Bachelor’s degree/University degree or equivalent experience
Intermediate level Applications Development Programmer Analyst responsible for system enhancements, programming, testing, and support within Citi’s technology team.
Compensation
$76,560.00 - $106,840.00
Responsibilities
Utilize knowledge of applications development procedures and concepts, and basic knowledge of other technical areas to identify and define necessary system enhancements, including using script tools and analyzing/interpreting code
Consult with users, clients, and other technology groups on issues, and recommend programming solutions, install, and support customer exposure systems
Apply fundamental knowledge of programming languages for design specifications
Analyze applications to identify vulnerabilities and security issues, as well as conduct testing and debugging
Serve as advisor or coach to new or lower-level analysts
Requirements
Bachelor’s degree/University degree or equivalent experience
As a Lead Cloud Platform Engineer, you’ll play a key role in shaping the platforms that support our digital services. You’ll help build secure, reliable and scalable cloud solutions that enable our teams to deliver high-quality care and support to customers.
Software Engineer, Proof and Verification EngineerNewGoogle · Seattle, US+2 more
Implementation Timing / STA Design EngineerNewQualcomm · Austin, US
Senior Software/Platform Engineer - Grant-Funded (PT)NewMohawk Valley Community College · Remote, US
Lead Cloud Platform EngineerNewBupa · Salford Quays, United Kingdom+5 more