6,919 Software Programming jobs in the United States
Software Engineer - Functional Programming

Posted 2 days ago
Job Viewed
Job Description
Are you a motivated **Software Engineer** with technical, hands-on experience using functional programming to develop real-world systems? Join us at the Leidos Innovations Center, Information and Data Science Division, with a group of highly skilled and innovative individuals and a variety of exciting R&D programs.
As a **Software Engineer** , you will appeal to your expertise in functional programming and other programming language theory concepts to design and implement sophisticated software solutions spanning all levels of the computational stack for operational technology (OT) and enterprise IT systems alike. You will work in a dynamic, high-impact environment requiring knowledge of embedded systems, cyber-physical systems, AI and autonomy, and technologies relevant to the continuous integration/continuous deployment of software.
**Primary Responsibilities:**
+ Architect and develop software in support of the Resilient Systems Campaign within the Information and Data Science Division, to include providing software engineering expertise on awarded DARPA programs.
+ Design, develop, and maintain custom tools and frameworks to support the development of high-assurance, resilient software.
+ Utilize the state-of-the-art in semi-formal and formal methods tools in the development of high-assurance, resilient software.
+ Produce technical documentation, mentor junior engineers, and contribute to knowledge transfer within the Resilient Systems Campaign.
+ Contribute to efforts to promote the upskilling of the broader Leidos workforce on the topics of functional programming, programming language theory, and industrialized formal methods.
**Basic Qualifications:**
+ Bachelor's degree in computer science, computer engineering, electrical engineering, or a closely related technical field.
+ Minimum of 8 years of experience, with a significant portion focused on applying functional programming in the development of real-world systems; master's with 6-10 years of prior relevant experience. May possess a Doctorate in technical domain.
+ Proven expertise in at least one functional programming language, to include Haskell, OCaml, F#, Scala, Clojure, Elixir, or others.
+ Demonstrated competence in common imperative programming languages, to include C/C++, Java, Python, and others.
+ Hands-on experience developing and fielding real-world software.
+ Excellent analytical, problem-solving, and critical thinking skills and ability to work independently on complex tasks and lead technical efforts.
+ Strong technical writing and communication skills.
+ Strong understanding of sound software development principles and practices and ability to define software development processes.
+ Ability to obtain and maintain a DoD Secret clearance. (U.S. Citizenship is required)
**Preferred Qualifications:**
+ Demonstrated experience with semi-formal and formal methods tools to include property-based and random testing frameworks, SMT solvers, interactive theorem provers, model checkers, and others.
+ Demonstrated experience with model-based systems engineering practices based on SysMLv2 and/or AADL.
+ Demonstrated experience developing software for embedded systems, to include single-board computers, FPGAs, MPSoCs, and other bespoke hardware targets.
+ Demonstrated experience developing high-criticality software with high-throughput requirements, e.g. networking and streaming data processing applications.
+ Active DoD Secret clearance is preferred
LInC
Come break things (in a good way). Then build them smarter.
We're the tech company everyone calls when things get weird. We don't wear capes (they're a safety hazard), but we do solve high-stakes problems with code, caffeine, and a healthy disregard for "how it's always been done."
**Original Posting:**
July 28, 2025
For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.
**Pay Range:**
Pay Range $104,650.00 - $189,175.00
The Leidos pay range for this job level is a general guideline onlyand not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law.
REQNUMBER: R-
All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability or veteran status. Leidos will consider qualified applicants with criminal histories for employment in accordance with relevant Laws. Leidos is an equal opportunity employer/disability/vet.
Software Engineer - Functional Programming
Posted 7 days ago
Job Viewed
Job Description
Are you a motivated **Software Engineer** with technical, hands-on experience using functional programming to develop real-world systems? Join us at the Leidos Innovations Center, Information and Data Science Division, with a group of highly skilled and innovative individuals and a variety of exciting R&D programs.
As a **Software Engineer** , you will appeal to your expertise in functional programming and other programming language theory concepts to design and implement sophisticated software solutions spanning all levels of the computational stack for operational technology (OT) and enterprise IT systems alike. You will work in a dynamic, high-impact environment requiring knowledge of embedded systems, cyber-physical systems, AI and autonomy, and technologies relevant to the continuous integration/continuous deployment of software.
**Primary Responsibilities:**
+ Architect and develop software in support of the Resilient Systems Campaign within the Information and Data Science Division, to include providing software engineering expertise on awarded DARPA programs.
+ Design, develop, and maintain custom tools and frameworks to support the development of high-assurance, resilient software.
+ Utilize the state-of-the-art in semi-formal and formal methods tools in the development of high-assurance, resilient software.
+ Produce technical documentation, mentor junior engineers, and contribute to knowledge transfer within the Resilient Systems Campaign.
+ Contribute to efforts to promote the upskilling of the broader Leidos workforce on the topics of functional programming, programming language theory, and industrialized formal methods.
**Basic Qualifications:**
+ Bachelor's degree in computer science, computer engineering, electrical engineering, or a closely related technical field.
+ Minimum of 8 years of experience, with a significant portion focused on applying functional programming in the development of real-world systems; master's with 6-10 years of prior relevant experience. May possess a Doctorate in technical domain.
+ Proven expertise in at least one functional programming language, to include Haskell, OCaml, F#, Scala, Clojure, Elixir, or others.
+ Demonstrated competence in common imperative programming languages, to include C/C++, Java, Python, and others.
+ Hands-on experience developing and fielding real-world software.
+ Excellent analytical, problem-solving, and critical thinking skills and ability to work independently on complex tasks and lead technical efforts.
+ Strong technical writing and communication skills.
+ Strong understanding of sound software development principles and practices and ability to define software development processes.
+ Ability to obtain and maintain a DoD Secret clearance. (U.S. Citizenship is required)
**Preferred Qualifications:**
+ Demonstrated experience with semi-formal and formal methods tools to include property-based and random testing frameworks, SMT solvers, interactive theorem provers, model checkers, and others.
+ Demonstrated experience with model-based systems engineering practices based on SysMLv2 and/or AADL.
+ Demonstrated experience developing software for embedded systems, to include single-board computers, FPGAs, MPSoCs, and other bespoke hardware targets.
+ Demonstrated experience developing high-criticality software with high-throughput requirements, e.g. networking and streaming data processing applications.
+ Active DoD Secret clearance is preferred
LInC
Come break things (in a good way). Then build them smarter.
We're the tech company everyone calls when things get weird. We don't wear capes (they're a safety hazard), but we do solve high-stakes problems with code, caffeine, and a healthy disregard for "how it's always been done."
**Original Posting:**
July 28, 2025
For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.
**Pay Range:**
Pay Range $104,650.00 - $189,175.00
The Leidos pay range for this job level is a general guideline onlyand not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law.
REQNUMBER: R- -OTHLOC-PL-2D0103
All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability or veteran status. Leidos will consider qualified applicants with criminal histories for employment in accordance with relevant Laws. Leidos is an equal opportunity employer/disability/vet.
It Software - Software Development
Posted 27 days ago
Job Viewed
Job Description
We are seeking a skilled Software Developer to design, build, and maintain software applications. You will work with cross-functional teams to deliver innovative solutions that meet user needs and business goals.
Key Responsibilities
• Design, code, test, and debug software applications.
• Collaborate with product managers and designers to define requirements.
• Maintain and improve existing systems and applications.
• Write clean, scalable, and efficient code following best practices.
• Participate in code reviews and ensure high-quality deliverables.
• Troubleshoot issues and provide timely solutions.
Qualifications
• Bachelor’s degree in Computer Science, IT, or related field.
• Proficiency in programming languages (Java, Python, C#, JavaScript, etc.).
• Familiarity with databases (SQL/NoSQL) and cloud platforms.
• Strong understanding of software development lifecycle (SDLC).
• Problem-solving and communication skills
Qualifications
• Bachelor’s degree in Computer Science, IT, or related field.
• Proficiency in programming languages (Java, Python, C#, JavaScript, etc.).
• Familiarity with databases (SQL/NoSQL) and cloud platforms.
• Strong understanding of software development lifecycle (SDLC).
• Problem-solving and communication skills
Company Details
Sr Software Engineer, PhD (Programming Systems Group)
Posted 1 day ago
Job Viewed
Job Description
Uber is seeking an exceptional and experienced program analysis expert to join the Programming Systems Group within the Developer Platform organization. The ideal candidate will possess in-depth knowledge and hands-on experience in static program analysis, with a proven track record of designing, developing, and deploying automatic bug detection tools, including linters. Key qualifications include demonstrated expertise in leveraging advanced techniques, such as program analysis and large language models (LLMs), to build innovative developer tools. A critical aspect of this role involves integrating these tools seamlessly into the software development workflow, with a particular focus on enhancing the code review cycle.
**About the Team**
The Programming Systems Group at Uber aims to accelerate performance, reliability, and developer productivity across various computational domains. We focus on research in programming languages spanning Go, Java, Swift, Kotlin, and TypeScript, to name a few. The research includes the right mix of innovation, advanced development, and critical extensions to core infrastructure to address novel problems in computer science and adjoining domains. The team's recent work includes static analysis tools such as NullAway , NilAway, Last Diff Analyzer , and Piranha ; dynamic analysis tools such as CRISP , and GOLF ; optimization tools such as swift protocol specialization , code-size optimization , profile-guided optimization in Go and CI optimization with SubmitQ ; and Generative-AI tools for fixing concurrency bugs and resource leaks in Java . We make our tools open source and publish our research as academic papers at premier conferences and blog posts. We also participate actively in the research community, including attending conferences, organizing workshops, and serving on program committees.
What the Candidate Will Do
1. Drive exciting, ambitious, previously unsolved projects from end-to-end
2. Leading, mentoring and growing junior engineers on the project
3. Thrive in ambiguous product requirements
4. Iterate fast to explore possible solutions
5. Make data-driven decisions with exceptional execution
6. Collaborate closely with product managers and data scientists
7. Be motivated to own projects and push them forward with independence
8. Most importantly, have a passion for making Uber better for our customers
9. Publish your work at top computer science conferences
**Basic Qualifications**
1. Ph.D. in Computer Science, Computer Engineering, or related field
2. 5+ 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.
3. Proficiency in programming languages and experience developing static analysis tools using frameworks like LLVM, Soot, WALA, Spoon, or ASM.
4. Experience with machine learning or Generative AI for program analysis is needed.
5. Knowledge of different compilation steps (and ability to troubleshoot) in languages such as Go, C, C++, or Java
6. Strong publication record in relevant conferences (e.g., PLDI, OOPSLA, ICSE, ASE, FSE, ASPLOS).
7. Excellent coding skills and software design skills
Note that up to 3 years of the total required software engineering experience may have been gained through education and full-time work experience, additional training, coursework, research, or similar (OR some combination of these). The years of specialized experience are not necessarily in addition to the years of Education & full-time work experience indicated.
**Preferred Qualifications**
1. Deep knowledge of runtime environment such as JVM, LLVM, GraalVM, or JIT compilation.
2. Familiarity with software verification tools like Errorprone, Z3, CBMC, or Infer.
3. Experience integrating program analysis tools into CI/CD pipelines.
4. Ability to communicate effectively with both technical and business partners
5. Experience in simplifying/converting business challenges into technical problems
6. Research mentality with a bias towards action to structure a project from idea to experimentation to prototype to implementation
7. Experience building and iterating on code review (phabricator, GitHub), automation test infrastructure (unit, integration, E2E), and build systems (Bazel / buck)
8. Experience working with teams spanning geographic locations and time-zones
9. Linux and Kubernetes system knowledge
10. Experience presenting at industry-recognized academic conferences
For New York, NY-based roles: The base salary range for this role is USD$198,000 per year - USD$20,000 per year. For San Francisco, CA-based roles: The base salary range for this role is USD 198,000 per year - USD 220,000 per year. For Seattle, WA-based roles: The base salary range for this role is USD 198,000 per year - USD 220,000 per year. For Sunnyvale, CA-based roles: The base salary range for this role is USD 198,000 per year - USD 220,000 per year. For all US locations, you will be eligible to participate in Uber's bonus program, and may be offered an equity award & other types of comp. You will also be eligible for various benefits. More details can be found at the following link is proud to be an Equal Opportunity/Affirmative Action employer. All qualified applicants will receive consideration for employment without regard to sex, gender identity, sexual orientation, race, color, religion, national origin, disability, protected Veteran status, age, or any other characteristic protected by law. We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. If you have a disability or special need that requires accommodation, please let us know by completing this form-
Sr Software Engineer, PhD (Programming Systems Group)
Posted 1 day ago
Job Viewed
Job Description
Uber is seeking an exceptional and experienced program analysis expert to join the Programming Systems Group within the Developer Platform organization. The ideal candidate will possess in-depth knowledge and hands-on experience in static program analysis, with a proven track record of designing, developing, and deploying automatic bug detection tools, including linters. Key qualifications include demonstrated expertise in leveraging advanced techniques, such as program analysis and large language models (LLMs), to build innovative developer tools. A critical aspect of this role involves integrating these tools seamlessly into the software development workflow, with a particular focus on enhancing the code review cycle.
**About the Team**
The Programming Systems Group at Uber aims to accelerate performance, reliability, and developer productivity across various computational domains. We focus on research in programming languages spanning Go, Java, Swift, Kotlin, and TypeScript, to name a few. The research includes the right mix of innovation, advanced development, and critical extensions to core infrastructure to address novel problems in computer science and adjoining domains. The team's recent work includes static analysis tools such as NullAway , NilAway, Last Diff Analyzer , and Piranha ; dynamic analysis tools such as CRISP , and GOLF ; optimization tools such as swift protocol specialization , code-size optimization , profile-guided optimization in Go and CI optimization with SubmitQ ; and Generative-AI tools for fixing concurrency bugs and resource leaks in Java . We make our tools open source and publish our research as academic papers at premier conferences and blog posts. We also participate actively in the research community, including attending conferences, organizing workshops, and serving on program committees.
What the Candidate Will Do
1. Drive exciting, ambitious, previously unsolved projects from end-to-end
2. Leading, mentoring and growing junior engineers on the project
3. Thrive in ambiguous product requirements
4. Iterate fast to explore possible solutions
5. Make data-driven decisions with exceptional execution
6. Collaborate closely with product managers and data scientists
7. Be motivated to own projects and push them forward with independence
8. Most importantly, have a passion for making Uber better for our customers
9. Publish your work at top computer science conferences
**Basic Qualifications**
1. Ph.D. in Computer Science, Computer Engineering, or related field
2. 5+ 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.
3. Proficiency in programming languages and experience developing static analysis tools using frameworks like LLVM, Soot, WALA, Spoon, or ASM.
4. Experience with machine learning or Generative AI for program analysis is needed.
5. Knowledge of different compilation steps (and ability to troubleshoot) in languages such as Go, C, C++, or Java
6. Strong publication record in relevant conferences (e.g., PLDI, OOPSLA, ICSE, ASE, FSE, ASPLOS).
7. Excellent coding skills and software design skills
Note that up to 3 years of the total required software engineering experience may have been gained through education and full-time work experience, additional training, coursework, research, or similar (OR some combination of these). The years of specialized experience are not necessarily in addition to the years of Education & full-time work experience indicated.
**Preferred Qualifications**
1. Deep knowledge of runtime environment such as JVM, LLVM, GraalVM, or JIT compilation.
2. Familiarity with software verification tools like Errorprone, Z3, CBMC, or Infer.
3. Experience integrating program analysis tools into CI/CD pipelines.
4. Ability to communicate effectively with both technical and business partners
5. Experience in simplifying/converting business challenges into technical problems
6. Research mentality with a bias towards action to structure a project from idea to experimentation to prototype to implementation
7. Experience building and iterating on code review (phabricator, GitHub), automation test infrastructure (unit, integration, E2E), and build systems (Bazel / buck)
8. Experience working with teams spanning geographic locations and time-zones
9. Linux and Kubernetes system knowledge
10. Experience presenting at industry-recognized academic conferences
For New York, NY-based roles: The base salary range for this role is USD$198,000 per year - USD$20,000 per year. For San Francisco, CA-based roles: The base salary range for this role is USD 198,000 per year - USD 220,000 per year. For Seattle, WA-based roles: The base salary range for this role is USD 198,000 per year - USD 220,000 per year. For Sunnyvale, CA-based roles: The base salary range for this role is USD 198,000 per year - USD 220,000 per year. For all US locations, you will be eligible to participate in Uber's bonus program, and may be offered an equity award & other types of comp. You will also be eligible for various benefits. More details can be found at the following link is proud to be an Equal Opportunity/Affirmative Action employer. All qualified applicants will receive consideration for employment without regard to sex, gender identity, sexual orientation, race, color, religion, national origin, disability, protected Veteran status, age, or any other characteristic protected by law. We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. If you have a disability or special need that requires accommodation, please let us know by completing this form-
Sr Software Engineer, PhD (Programming Systems Group)
Posted 1 day ago
Job Viewed
Job Description
Uber is seeking an exceptional and experienced program analysis expert to join the Programming Systems Group within the Developer Platform organization. The ideal candidate will possess in-depth knowledge and hands-on experience in static program analysis, with a proven track record of designing, developing, and deploying automatic bug detection tools, including linters. Key qualifications include demonstrated expertise in leveraging advanced techniques, such as program analysis and large language models (LLMs), to build innovative developer tools. A critical aspect of this role involves integrating these tools seamlessly into the software development workflow, with a particular focus on enhancing the code review cycle.
**About the Team**
The Programming Systems Group at Uber aims to accelerate performance, reliability, and developer productivity across various computational domains. We focus on research in programming languages spanning Go, Java, Swift, Kotlin, and TypeScript, to name a few. The research includes the right mix of innovation, advanced development, and critical extensions to core infrastructure to address novel problems in computer science and adjoining domains. The team's recent work includes static analysis tools such as NullAway , NilAway, Last Diff Analyzer , and Piranha ; dynamic analysis tools such as CRISP , and GOLF ; optimization tools such as swift protocol specialization , code-size optimization , profile-guided optimization in Go and CI optimization with SubmitQ ; and Generative-AI tools for fixing concurrency bugs and resource leaks in Java . We make our tools open source and publish our research as academic papers at premier conferences and blog posts. We also participate actively in the research community, including attending conferences, organizing workshops, and serving on program committees.
What the Candidate Will Do
1. Drive exciting, ambitious, previously unsolved projects from end-to-end
2. Leading, mentoring and growing junior engineers on the project
3. Thrive in ambiguous product requirements
4. Iterate fast to explore possible solutions
5. Make data-driven decisions with exceptional execution
6. Collaborate closely with product managers and data scientists
7. Be motivated to own projects and push them forward with independence
8. Most importantly, have a passion for making Uber better for our customers
9. Publish your work at top computer science conferences
**Basic Qualifications**
1. Ph.D. in Computer Science, Computer Engineering, or related field
2. 5+ 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.
3. Proficiency in programming languages and experience developing static analysis tools using frameworks like LLVM, Soot, WALA, Spoon, or ASM.
4. Experience with machine learning or Generative AI for program analysis is needed.
5. Knowledge of different compilation steps (and ability to troubleshoot) in languages such as Go, C, C++, or Java
6. Strong publication record in relevant conferences (e.g., PLDI, OOPSLA, ICSE, ASE, FSE, ASPLOS).
7. Excellent coding skills and software design skills
Note that up to 3 years of the total required software engineering experience may have been gained through education and full-time work experience, additional training, coursework, research, or similar (OR some combination of these). The years of specialized experience are not necessarily in addition to the years of Education & full-time work experience indicated.
**Preferred Qualifications**
1. Deep knowledge of runtime environment such as JVM, LLVM, GraalVM, or JIT compilation.
2. Familiarity with software verification tools like Errorprone, Z3, CBMC, or Infer.
3. Experience integrating program analysis tools into CI/CD pipelines.
4. Ability to communicate effectively with both technical and business partners
5. Experience in simplifying/converting business challenges into technical problems
6. Research mentality with a bias towards action to structure a project from idea to experimentation to prototype to implementation
7. Experience building and iterating on code review (phabricator, GitHub), automation test infrastructure (unit, integration, E2E), and build systems (Bazel / buck)
8. Experience working with teams spanning geographic locations and time-zones
9. Linux and Kubernetes system knowledge
10. Experience presenting at industry-recognized academic conferences
For New York, NY-based roles: The base salary range for this role is USD$198,000 per year - USD$20,000 per year. For San Francisco, CA-based roles: The base salary range for this role is USD 198,000 per year - USD 220,000 per year. For Seattle, WA-based roles: The base salary range for this role is USD 198,000 per year - USD 220,000 per year. For Sunnyvale, CA-based roles: The base salary range for this role is USD 198,000 per year - USD 220,000 per year. For all US locations, you will be eligible to participate in Uber's bonus program, and may be offered an equity award & other types of comp. You will also be eligible for various benefits. More details can be found at the following link is proud to be an Equal Opportunity/Affirmative Action employer. All qualified applicants will receive consideration for employment without regard to sex, gender identity, sexual orientation, race, color, religion, national origin, disability, protected Veteran status, age, or any other characteristic protected by law. We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. If you have a disability or special need that requires accommodation, please let us know by completing this form-
Sr Software Engineer, PhD (Programming Systems Group)
Posted 1 day ago
Job Viewed
Job Description
Uber is seeking an exceptional and experienced program analysis expert to join the Programming Systems Group within the Developer Platform organization. The ideal candidate will possess in-depth knowledge and hands-on experience in static program analysis, with a proven track record of designing, developing, and deploying automatic bug detection tools, including linters. Key qualifications include demonstrated expertise in leveraging advanced techniques, such as program analysis and large language models (LLMs), to build innovative developer tools. A critical aspect of this role involves integrating these tools seamlessly into the software development workflow, with a particular focus on enhancing the code review cycle.
**About the Team**
The Programming Systems Group at Uber aims to accelerate performance, reliability, and developer productivity across various computational domains. We focus on research in programming languages spanning Go, Java, Swift, Kotlin, and TypeScript, to name a few. The research includes the right mix of innovation, advanced development, and critical extensions to core infrastructure to address novel problems in computer science and adjoining domains. The team's recent work includes static analysis tools such as NullAway , NilAway, Last Diff Analyzer , and Piranha ; dynamic analysis tools such as CRISP , and GOLF ; optimization tools such as swift protocol specialization , code-size optimization , profile-guided optimization in Go and CI optimization with SubmitQ ; and Generative-AI tools for fixing concurrency bugs and resource leaks in Java . We make our tools open source and publish our research as academic papers at premier conferences and blog posts. We also participate actively in the research community, including attending conferences, organizing workshops, and serving on program committees.
What the Candidate Will Do
1. Drive exciting, ambitious, previously unsolved projects from end-to-end
2. Leading, mentoring and growing junior engineers on the project
3. Thrive in ambiguous product requirements
4. Iterate fast to explore possible solutions
5. Make data-driven decisions with exceptional execution
6. Collaborate closely with product managers and data scientists
7. Be motivated to own projects and push them forward with independence
8. Most importantly, have a passion for making Uber better for our customers
9. Publish your work at top computer science conferences
**Basic Qualifications**
1. Ph.D. in Computer Science, Computer Engineering, or related field
2. 5+ 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.
3. Proficiency in programming languages and experience developing static analysis tools using frameworks like LLVM, Soot, WALA, Spoon, or ASM.
4. Experience with machine learning or Generative AI for program analysis is needed.
5. Knowledge of different compilation steps (and ability to troubleshoot) in languages such as Go, C, C++, or Java
6. Strong publication record in relevant conferences (e.g., PLDI, OOPSLA, ICSE, ASE, FSE, ASPLOS).
7. Excellent coding skills and software design skills
Note that up to 3 years of the total required software engineering experience may have been gained through education and full-time work experience, additional training, coursework, research, or similar (OR some combination of these). The years of specialized experience are not necessarily in addition to the years of Education & full-time work experience indicated.
**Preferred Qualifications**
1. Deep knowledge of runtime environment such as JVM, LLVM, GraalVM, or JIT compilation.
2. Familiarity with software verification tools like Errorprone, Z3, CBMC, or Infer.
3. Experience integrating program analysis tools into CI/CD pipelines.
4. Ability to communicate effectively with both technical and business partners
5. Experience in simplifying/converting business challenges into technical problems
6. Research mentality with a bias towards action to structure a project from idea to experimentation to prototype to implementation
7. Experience building and iterating on code review (phabricator, GitHub), automation test infrastructure (unit, integration, E2E), and build systems (Bazel / buck)
8. Experience working with teams spanning geographic locations and time-zones
9. Linux and Kubernetes system knowledge
10. Experience presenting at industry-recognized academic conferences
For New York, NY-based roles: The base salary range for this role is USD$198,000 per year - USD$20,000 per year. For San Francisco, CA-based roles: The base salary range for this role is USD 198,000 per year - USD 220,000 per year. For Seattle, WA-based roles: The base salary range for this role is USD 198,000 per year - USD 220,000 per year. For Sunnyvale, CA-based roles: The base salary range for this role is USD 198,000 per year - USD 220,000 per year. For all US locations, you will be eligible to participate in Uber's bonus program, and may be offered an equity award & other types of comp. You will also be eligible for various benefits. More details can be found at the following link is proud to be an Equal Opportunity/Affirmative Action employer. All qualified applicants will receive consideration for employment without regard to sex, gender identity, sexual orientation, race, color, religion, national origin, disability, protected Veteran status, age, or any other characteristic protected by law. We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. If you have a disability or special need that requires accommodation, please let us know by completing this form-
Be The First To Know
About the latest Software programming Jobs in United States !
AVP - Software Development
Posted 4 days ago
Job Viewed
Job Description
Are you a team player? Are you curious to learn? Are you interested in working in meaningful projects? Do you want to work with cutting-edge technology? Are you interested in being part of a team that is working to transform and do things differently? If so, LPL Financial is the place for you!
Excited to learn more? If so, then this could be the role for you!
Job Overview:
Joining as a Full Stack Tech Lead, you will be responsible for building and maintaining the sustainable, scalable products and capabilities that support our advisors to deliver excellent services for their investors. The Tech Lead will be well-versed in digital-native cloud technologies and will lead the design, development, and implementation of complex systems and solutions. This individual will work cross-functionally to ensure engineers can successfully implement technology solutions following Enterprise Technology standards using Agile practices.
Responsibilities:
- Be the technical leader supporting an Agile Product Development team to deliver high-quality technology solutions built with cloud-native technologies and modern methods.
- Manage, mentor and coach the team with a People First mindset.
- Deliver high-level quality as it relates to all aspects of software engineering (continuous integration, code quality, test-driven development, adherence to target architecture, etc.)
- Design and develop core services and components with expertise in service-oriented, event-driven, and microservices architecture
- Design and implement n-tiered applications that perform across all quality requirements including but not limited to Reliability, Scalability, TCO, Supportability, etc.
- Implement Enterprise Technology reference architectures, design patterns, and coding best practices
- Support all team members to have the environment, permissions, and tools necessary to execute with velocity
- Collaborate with other Development teams, Architecture, and Support teams to design, and maintain the various platforms and their integration with other systems
- Recommend opportunities for application and process improvements and prepare documentation outlining the platform roadmap
- Maintain, troubleshoot, optimize, and enhance existing systems
- Work collaboratively with QA, and DevOps teams to adopt CI/CD toolchain and develop automation
- Assist in the technical assessment of risks and issues, and document recommendations Communicate with technical and non-technical groups on a regular basis as part of product/project support
- Developing appropriate technical documentation in accordance with SDLC guidelines
- Stay informed of current and future technological trends and developments
- Communicate with technical and non-technical groups on a regular basis as part of product/project support
We want strong collaborators who can deliver a world-class client experience . We are looking for people who thrive in a fast-paced environment , are client-focused , team oriented , and are able to execute in a way that encourages creativity and continuous improvement .
Requirements:
- Bachelor's Degree in Computer Science or equivalent
- 8+ years of Full Stack Development experience utilizing .NET / .NET Core technologies
- 5+ years of experience in advanced JavaScript Frameworks like Angular/ React,
- 2+ years of Tech Lead experience demonstrating the ability to organize, prioritize, and manage team responsibilities in order to meet deadlines and deliver quality technology solutions.
- 5+ years of experience designing applications, developing web services (REST/Graphql), and integrating with vendor APIs
- 3+ years of development and design experience using a cloud hosting provider (e.g. AWS, Azure, or Google Cloud)
- Capable of effectively planning, prioritizing, and executing tasks utilizing resources and tools
- Excellent verbal and written communication skills, both technical and non-technical
- Excellent leadership skills
- Strong analytical and problem-solving skills
- Excellent understanding and writing of SQL server procedures, Views, Functions, and designing skills
- Experience with SAFE or Agile, using JIRA
- Experience creating, presenting, and articulating designs to Architects and team members
- Experience instrumenting real-time solution monitoring and reporting
- Experience designing and implementing Full stack solutions using industry best practices from start to finish.
$140,475-$234,125/year
Actual base salary varies based on factors, including but not limited to, relevant skill, prior experience, education, base salary of internal peers, demonstrated performance, and geographic location. Additionally, LPL Total Rewards package is highly competitive, designed to support your success at work, at home, and at play - such as 401K matching, health benefits, employee stock options, paid time off, volunteer time off, and more. Your recruiter will be happy to discuss all that LPL has to offer!
Company Overview:
LPL Financial Holdings Inc. (Nasdaq: LPLA) was founded on the principle that the firm should work for advisors and institutions, and not the other way around. Today, LPL is a leader in the markets we serve, serving more than 23,000 financial advisors, including advisors at approximately 1,000 institutions and at approximately 580 registered investment advisor ("RIA") firms nationwide. We are steadfast in our commitment to the advisor-mediated model and the belief that Americans deserve access to personalized guidance from a financial professional.
At LPL, independence means that advisors and institution leaders have the freedom they deserve to choose the business model, services, and technology resources that allow them to run a thriving business. They have the flexibility to do business their way. And they have the freedom to manage their client relationships, because they know their clients best. Simply put, we take care of our advisors and institutions, so they can take care of their clients.
Join LPL Financial: Where Your Potential Meets Opportunity
At LPL Financial, we believe that everyone deserves objective financial guidance. As the nation's leading independent broker-dealer, we offer an integrated platform of cutting-edge technology, brokerage, and investment advisor services.
Why LPL?
- Innovative Environment: We foster creativity and growth, providing a supportive and responsive leadership team. Learn more about our leadership team here!
- Limitless Career Potential: Your career at LPL has no limits, only amazing potential. Learn more about our careers here!
- Unified Mission: We are one team on one mission-taking care of our advisors so they can take care of their clients. Learn more about our mission and values here!
- Impactful Work: Our size is just right for you to make a real impact. Learn more here!
- Commitment to Equality: We support workplace equality and embrace diverse perspectives and backgrounds. Learn more here!
- Community Focus: We care for our communities and encourage our employees to do the same. Learn more here!
- Benefits and Total Rewards: Our Total Rewards package goes beyond just compensation and insurance. It includes a mix of traditional and unique benefits, perks, and resources designed to enhance your life both at work and at home. Learn more here!
Join the LPL team and help us make a difference by turning life's aspirations into financial realities. Please log in or create an account to apply to this position. Principals only. EOE.
Information on Interviews:
LPL will only communicate with a job applicant directly from an @lplfinancial.com email address and will never conduct an interview online or in a chatroom forum. During an interview, LPL will not request any form of payment from the applicant, or information regarding an applicant's bank or credit card. Should you have any questions regarding the application process, please contact LPL's Human Resources Solutions Center at .
EAC1.22.25
AVP - Software Development
Posted 4 days ago
Job Viewed
Job Description
Are you a team player? Are you curious to learn? Are you interested in working in meaningful projects? Do you want to work with cutting-edge technology? Are you interested in being part of a team that is working to transform and do things differently? If so, LPL Financial is the place for you!
Excited to learn more? If so, then this could be the role for you!
Job Overview:
Joining as a Full Stack Tech Lead, you will be responsible for building and maintaining the sustainable, scalable products and capabilities that support our advisors to deliver excellent services for their investors. The Tech Lead will be well-versed in digital-native cloud technologies and will lead the design, development, and implementation of complex systems and solutions. This individual will work cross-functionally to ensure engineers can successfully implement technology solutions following Enterprise Technology standards using Agile practices.
Responsibilities:
- Be the technical leader supporting an Agile Product Development team to deliver high-quality technology solutions built with cloud-native technologies and modern methods.
- Manage, mentor and coach the team with a People First mindset.
- Deliver high-level quality as it relates to all aspects of software engineering (continuous integration, code quality, test-driven development, adherence to target architecture, etc.)
- Design and develop core services and components with expertise in service-oriented, event-driven, and microservices architecture
- Design and implement n-tiered applications that perform across all quality requirements including but not limited to Reliability, Scalability, TCO, Supportability, etc.
- Implement Enterprise Technology reference architectures, design patterns, and coding best practices
- Support all team members to have the environment, permissions, and tools necessary to execute with velocity
- Collaborate with other Development teams, Architecture, and Support teams to design, and maintain the various platforms and their integration with other systems
- Recommend opportunities for application and process improvements and prepare documentation outlining the platform roadmap
- Maintain, troubleshoot, optimize, and enhance existing systems
- Work collaboratively with QA, and DevOps teams to adopt CI/CD toolchain and develop automation
- Assist in the technical assessment of risks and issues, and document recommendations Communicate with technical and non-technical groups on a regular basis as part of product/project support
- Developing appropriate technical documentation in accordance with SDLC guidelines
- Stay informed of current and future technological trends and developments
- Communicate with technical and non-technical groups on a regular basis as part of product/project support
We want strong collaborators who can deliver a world-class client experience . We are looking for people who thrive in a fast-paced environment , are client-focused , team oriented , and are able to execute in a way that encourages creativity and continuous improvement .
Requirements:
- Bachelor's Degree in Computer Science or equivalent
- 8+ years of Full Stack Development experience utilizing .NET / .NET Core technologies
- 5+ years of experience in advanced JavaScript Frameworks like Angular/ React,
- 2+ years of Tech Lead experience demonstrating the ability to organize, prioritize, and manage team responsibilities in order to meet deadlines and deliver quality technology solutions.
- 5+ years of experience designing applications, developing web services (REST/Graphql), and integrating with vendor APIs
- 3+ years of development and design experience using a cloud hosting provider (e.g. AWS, Azure, or Google Cloud)
- Capable of effectively planning, prioritizing, and executing tasks utilizing resources and tools
- Excellent verbal and written communication skills, both technical and non-technical
- Excellent leadership skills
- Strong analytical and problem-solving skills
- Excellent understanding and writing of SQL server procedures, Views, Functions, and designing skills
- Experience with SAFE or Agile, using JIRA
- Experience creating, presenting, and articulating designs to Architects and team members
- Experience instrumenting real-time solution monitoring and reporting
- Experience designing and implementing Full stack solutions using industry best practices from start to finish.
$140,475-$234,125/year
Actual base salary varies based on factors, including but not limited to, relevant skill, prior experience, education, base salary of internal peers, demonstrated performance, and geographic location. Additionally, LPL Total Rewards package is highly competitive, designed to support your success at work, at home, and at play - such as 401K matching, health benefits, employee stock options, paid time off, volunteer time off, and more. Your recruiter will be happy to discuss all that LPL has to offer!
Company Overview:
LPL Financial Holdings Inc. (Nasdaq: LPLA) was founded on the principle that the firm should work for advisors and institutions, and not the other way around. Today, LPL is a leader in the markets we serve, serving more than 23,000 financial advisors, including advisors at approximately 1,000 institutions and at approximately 580 registered investment advisor ("RIA") firms nationwide. We are steadfast in our commitment to the advisor-mediated model and the belief that Americans deserve access to personalized guidance from a financial professional.
At LPL, independence means that advisors and institution leaders have the freedom they deserve to choose the business model, services, and technology resources that allow them to run a thriving business. They have the flexibility to do business their way. And they have the freedom to manage their client relationships, because they know their clients best. Simply put, we take care of our advisors and institutions, so they can take care of their clients.
Join LPL Financial: Where Your Potential Meets Opportunity
At LPL Financial, we believe that everyone deserves objective financial guidance. As the nation's leading independent broker-dealer, we offer an integrated platform of cutting-edge technology, brokerage, and investment advisor services.
Why LPL?
- Innovative Environment: We foster creativity and growth, providing a supportive and responsive leadership team. Learn more about our leadership team here!
- Limitless Career Potential: Your career at LPL has no limits, only amazing potential. Learn more about our careers here!
- Unified Mission: We are one team on one mission-taking care of our advisors so they can take care of their clients. Learn more about our mission and values here!
- Impactful Work: Our size is just right for you to make a real impact. Learn more here!
- Commitment to Equality: We support workplace equality and embrace diverse perspectives and backgrounds. Learn more here!
- Community Focus: We care for our communities and encourage our employees to do the same. Learn more here!
- Benefits and Total Rewards: Our Total Rewards package goes beyond just compensation and insurance. It includes a mix of traditional and unique benefits, perks, and resources designed to enhance your life both at work and at home. Learn more here!
Join the LPL team and help us make a difference by turning life's aspirations into financial realities. Please log in or create an account to apply to this position. Principals only. EOE.
Information on Interviews:
LPL will only communicate with a job applicant directly from an @lplfinancial.com email address and will never conduct an interview online or in a chatroom forum. During an interview, LPL will not request any form of payment from the applicant, or information regarding an applicant's bank or credit card. Should you have any questions regarding the application process, please contact LPL's Human Resources Solutions Center at .
EAC1.22.25
Software Development Manager

Posted today
Job Viewed
Job Description
The Fusion Data Intelligence Platform Content team builds and maintains the **semantic layer and dimensional models** that power Oracle's next-generation Analytics offerings across Fusion Applications. This Managerial role will lead the **Project Portfolio Management (PPM) analytics domain** , driving both **technical delivery** and **cross-functional collaboration** across product, engineering, and functional teams.
The ideal candidate is a **hands-on technical leader** with deep expertise in **OAC/OBIEE semantic modelling, SQL, and data warehousing** , combined with strong **people, project, and stakeholder management skills** . The manager will guide a team of content developers, oversee delivery of new features and subject areas, ensure quality and performance of semantic models, and partner closely with Fusion PPM product teams to align analytics design with functional business processes.
**Responsibilities**
**Responsibilities**
· Lead the design and development of **semantic layers and dimensional models** for Fusion PPM (Projects, Budgets, Costs, Billing, and Contracts).
· Manage a team of ICs to deliver high-quality content aligned to roadmap commitments and quarterly goals.
· Collaborate with cross-functional stakeholders - PMs, functional experts, data engineers - to translate business requirements into scalable analytics models.
· Ensure adherence to Oracle Analytics standards for performance, reusability, and metadata design.
· Act as the **technical escalation point** for OAC/OBIEE, SQL performance, and data modelling issues.
· Drive continuous improvements in development efficiency, testing automation, and documentation.
· Provide mentorship, career guidance, and performance management for team members.
· Support customer adoption, troubleshooting, and escalations as needed in partnership with support and field teams.
**Required Qualifications / Skills**
· **8-12 years** of experience in **Analytics / Data Warehousing** , including 3+ years in a **technical leadership or managerial role** .
Strong **hands-on experience** in:
+ **OBIEE / Oracle Analytics Cloud (OAC)** - RPD modelling, subject area design, and metadata tuning.
+ **SQL** - complex query building, performance optimization, and data validation.
+ **Dimensional Modelling** - design of facts, dimensions, hierarchies, and conformed dimensions.
+ **Data Warehousing concepts** - star schema, ETL flows, and data integration best practices.
· Proven track record of **managing multiple projects** , balancing delivery timelines with quality.
· Excellent **stakeholder management and communication skills** to work across global teams.
**Desired skills**
· **Functional knowledge of Fusion Project Portfolio Management (PPM)** modules - Projects, Budgets, Costing, Billing, and Contracts - is a strong plus.
· Exposure to **ETL/ELT frameworks** (ODI, Data Integrator, or similar).
· Familiarity with **Databases (Oracle Autonomous DB, ADW)** and **Data Lakes / Cloud storage** environments.
· Experience working in **Fusion Analytics Warehouse (FAW)** or similar cloud analytics solutions.
· Understanding of **Agile methodologies** and modern DevOps practices for data delivery.
· Strong problem-solving mindset with ability to balance technical depth and leadership responsibilities.
#LI-MO1
Disclaimer:
**Certain US customer or client-facing roles may be required to comply with applicable requirements, such as immunization and occupational health mandates.**
**Range and benefit information provided in this posting are specific to the stated locations only**
US: Hiring Range in USD from: $109,200 to $223,400 per annum. May be eligible for bonus and equity.
Oracle maintains broad salary ranges for its roles in order to account for variations in knowledge, skills, experience, market conditions and locations, as well as reflect Oracle's differing products, industries and lines of business.
Candidates are typically placed into the range based on the preceding factors as well as internal peer equity.
Oracle US offers a comprehensive benefits package which includes the following:
1. Medical, dental, and vision insurance, including expert medical opinion
2. Short term disability and long term disability
3. Life insurance and AD&D
4. Supplemental life insurance (Employee/Spouse/Child)
5. Health care and dependent care Flexible Spending Accounts
6. Pre-tax commuter and parking benefits
7. 401(k) Savings and Investment Plan with company match
8. Paid time off: Flexible Vacation is provided to all eligible employees assigned to a salaried (non-overtime eligible) position. Accrued Vacation is provided to all other employees eligible for vacation benefits. For employees working at least 35 hours per week, the vacation accrual rate is 13 days annually for the first three years of employment and 18 days annually for subsequent years of employment. Vacation accrual is prorated for employees working between 20 and 34 hours per week. Employees working fewer than 20 hours per week are not eligible for vacation.
9. 11 paid holidays
10. Paid sick leave: 72 hours of paid sick leave upon date of hire. Refreshes each calendar year. Unused balance will carry over each year up to a maximum cap of 112 hours.
11. Paid parental leave
12. Adoption assistance
13. Employee Stock Purchase Plan
14. Financial planning and group legal
15. Voluntary benefits including auto, homeowner and pet insurance
The role will generally accept applications for at least three calendar days from the posting date or as long as the job remains posted.
Career Level - M2
**About Us**
As a world leader in cloud solutions, Oracle uses tomorrow's technology to tackle today's challenges. We've partnered with industry-leaders in almost every sector-and continue to thrive after 40+ years of change by operating with integrity.
We know that true innovation starts when everyone is empowered to contribute. That's why we're committed to growing an inclusive workforce that promotes opportunities for all.
Oracle careers open the door to global opportunities where work-life balance flourishes. We offer competitive benefits based on parity and consistency and support our people with flexible medical, life insurance, and retirement options. We also encourage employees to give back to their communities through our volunteer programs.
We're committed to including people with disabilities at all stages of the employment process. If you require accessibility assistance or accommodation for a disability at any point, let us know by emailing or by calling in the United States.
Oracle is an Equal Employment Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, sexual orientation, gender identity, disability and protected veterans' status, or any other characteristic protected by law. Oracle will consider for employment qualified applicants with arrest and conviction records pursuant to applicable law.