Jobs
Indexed directly from employers. Every age is their own publish date.
Searching titles and descriptions for “Software Engineer, PhD, Static Program Analysis”. A match may be a passing mention rather than the job itself. Titles only.
12 roles across 13 listings · show every listing
9dSoftware Engineer, PhD, Static Program AnalysisGoogleBengaluru, Karnataka, India
10dApplied Scientist, Automated ReasoningAmazonApplied ScienceWashington, District of Columbia; Boston, Massachusetts; Austin, Texas; Arlington, Virginia; Seattle, Washington; Santa Clara, California; New York, New York; Denver, Colorado; Portland, Oregon; San Francisco, California…Key job responsibilities • Design and implement algorithms and formal methods for automated reasoning, including constraint solving, model checking, static analysis, theorem proving, and program…
11dProduct Security Engineer…OR PhD in Engineering, Information Systems, Computer Science, or related field and 4+ years of Software Engineering or related work experience. • 3+ years of…
- 11dCPU STA CAD Engineer
…OR PhD in Electrical Engineering, Computer Engineering, Computer Science, or related field and 4+ years of Hardware Engineering, Software Engineering, Electrical Engineering, Systems Engineering…
11dSenior Electric Propulsion Engineer II…other technical engineering discipline) Expertise in propulsion system modelling, static and transient analysis, and model validation using test data using software such as Amesim…
- 11dPrincipal Electric Propulsion Engineer
…other technical engineering discipline) Expertise in propulsion system modelling, static and transient analysis, and model validation using test data using software such as Amesim…
- 15dPhysical Design (Multiple levels)
…OR PhD in Science, Engineering, or related field. Key Responsibilities Execute and drive all stages of the physical design flow from synthesized netlist to…
- 17dSilicon Engineer, Custom Circuits and SRAM, Google CloudGoogleBengaluru, Karnataka, India
…or more programming languages (e.g., Tcl, Python, or Perl). Preferred qualifications: Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer…
20dOffensive Security Engineer…AWS, GCP, Azure), Kubernetes, Cilium - Experience implementing and operating engineering security tools and processes (e.g. static / dynamic code analysis, software composition analysis, SBOM…
- 25dSenior Timing Engineer - Cork, Ireland
…OR PhD in Science, Engineering, or related field. *References to a particular number of years experience are for indicative purposes only. Applications from candidates…
- 25dSenior Product Security Engineer
…AWS, GCP, Azure), Kubernetes, Cilium - Experience implementing and operating engineering security tools and processes (e.g. static / dynamic code analysis, software composition analysis, SBOM…
- 26dEngineering Manager, AI Compiler Analysis
…BS, MS, or PhD in Computer Science, Computer Engineering, or a related field, or equivalent experience. 10+ overall years of total relevant software engineering…