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.
5 roles
4dSr. Manager - Static Timing Analysis, Annapurna Labs, Cloud Scale Machine Learning…PhD + 4yr in EE/CS - Expertise in timing analysis fundamentals - 3+ years doing Static Timing Analysis - 3+ years with timing constraint development - Timing Analysis…
4dResearch Sciences INTERN…world software engineering problems for large codebases, including code migration, code translation, and static analysis, using AI and formal methods. Our internship program provides…
- 6dApplied Scientist, Automated Reasoning
…Key job responsibilities • Design and implement algorithms and formal methods for automated reasoning, including constraint solving, model checking, static analysis, theorem proving, and program…
- 6dSenior Firmware Security Architect, NetworkingNVIDIAArchitectYokne'am Illit, North District; Ra'anana, Center District; ב"ש, South District; Tel Aviv-Yafo, Tel Aviv District
…or PhD in computer science, electrical engineering, or related technical field. Experience with hardware/software interfaces in networking devices — register and MMIO programming models…
6dPrincipal RTL Design Engineer…You'll work alongside architects, design verification, and physical design engineers to converge functionality and timing, and with software and compiler teams to prototype…