Principal Engineer: Verified Compilers & Formal Methods
Jobleads-US
NVIDIA Corporation is seeking an exceptional computer scientist to lead research at the intersection of compilers, programming languages, formal methods, and automated reasoning. As a Principal Engineer, Compilers & Formal Methods, you will develop next-generation compiler technologies that translate high-level programs into efficient code for GPUs and heterogeneous computing platforms.
You will establish formal foundations for compiler transformations, pursue verified optimizations, and build
#J-18808-Ljbffr Jobleads-USVacancy posted 5 days ago
Similar jobs that could be interesting for youBased on the Principal Engineer: Verified Compilers & Formal Methods in Washington State vacancy
$248k - $391k
...to lead research at the intersection of compilers, programming languages, formal methods, and automated reasoning. As a Principal Engineer, Compilers & Formal Methods, you will develop... ...program semantics. Research verified and formally grounded compiler optimizations...Suggested- ...NVIDIA Corporation in Seattle seeks a Principal Engineer, Compilers & Formal Methods to lead research at the intersection of compilers, programming languages, formal methods, and automated reasoning. You will advance verification and transformation techniques for GPUs...Suggested
$168k - $270.25k
...data centers.NVIDIA's compiler technologies are key enablers... ..., numerical computing, formal reasoning, and large-scale systems engineering. To address these... ...spearhead our strategy for verifying AI compilers built for... ...reasoning, formal methods, fuzzing, static analysis...SuggestedFull timeNvidia
Seattle, WA16 hours ago- ...HushOne, Inc. is seeking a formal-methods expert to ensure robust system design. You will focus on model authorization, recovery, concurrency, and distributed task state, working with engineers to connect specifications to implementations and surface key assumptions...Suggested
$142.8k - $274.8k
...Hardware, and Infrastructure Engineering (SCHIE) is the team... ....We are looking for a Principal Physical Design... ...Physical Verification (PV), Formal Equivalency... ...s citizenship will be verified with a valid passport.... ...such as Synopsys Fusion Compiler, PrimeClosure, Primetime...SuggestedOngoing contractPermanent employmentWork at officeLocal areaImmediate startWorldwide3 days per weekMicrosoft
Redmond, WA1 day ago- ...mental disability, protected Veteran status, or any other characteristic protected by federal, state, or local law. Principal Engineer, Safety Methods This role supports the development, enhancement, and deployment of plant‑scale thermal‑hydraulic analysis methods...Permanent employmentLocal area
$230.77k - $323.08k
...unreachable by traditional methods and adding a space-based layer... ...infrastructure. As a Principal Engineer for RF and Optical System Integration... ...for how Blue Origin verifies space-based RF and optical links... ...of major programs through formal technical leadership roles on...Permanent employmentTemporary workLocal areaImmediate startRemote workWorldwideRelocation package$152k - $241.5k
We are looking for an outstanding Senior Compiler Engineer to help build the next generation of intelligent compiler technologies... ..., program verification, differential testing, or formal/semi-formal validation methods.Strong C/C++ and Python programming skills, with...Full timeRemote workNvidia
Redmond, WA1 day ago$142.8k - $274.8k
...Quantum Systems team is looking for a Principal Quantum Engineer - Quantum Systems to advance the... ...experiments, tools, and engineering methods needed for scalable quantum computing... ...successful candidate’s citizenship will be verified with a valid passport. Lawful...Ongoing contractPermanent employmentLocal area3 days per weekMicrosoft
Redmond, WA7 hours ago- ...manufacturing sites. The role pairs ownership of formal quality systems with practical problem... ...For At least 7 years of quality engineering experience. Background leading the... ...geometric tolerancing, problem-solving methods and measurement science. Hands-on...Full time
Advanced Manufacturing Inc
Seattle, WA4 days ago $69 - $115 per hour
...Job Title: Principal Engineer Seismic/CSA Integration & Oversight Type: Contract, 12 months... ...Monitor subcontractor performance, verifying adherence to technical and quality standards... ...of seismic modeling, fragility methods, and structural qualification practices...Hourly payFull timeContract workFor contractorsFor subcontractorLocal areaRemote workSystem One
Bellevue, WA2 days ago$142.8k - $274.8k
...Principal Optical Engineer Microsoft Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE... ...candidate's citizenship will be verified with a valid passport. Lawful permanent... ...electrical test equipment and data-analysis methods. Experience leading architecture...Permanent employmentContract workWork at officeWorldwideMicrosoft Corporation
Redmond, WA1 day ago$169.62k - $237.47k
...critical operations worldwide. As a Principal Engineer for Position, Navigation, and Timing (... ...spearhead the definition of resilient PNT methods for TeraWave's constellation... ...requirements are understood, allocated, and verifiable at the interfaces Minimum Qualifications...Permanent employmentTemporary workWork at officeLocal areaImmediate startWorldwideRelocation$190k - $285k
...Principal Asic Design Verification Engineer Seattle, WA K2 is building the largest and highest-power satellites... ...Engineer whose role will be to verify the functionality, performance, and... ...SystemVerilog Assertions (SVA) and integrate formal verification where appropriate....Permanent employmentShift workK2 Space
Seattle, WA16 hours ago$190k - $285k
...different class of spacecraft. Engineered to survive the harshest... ...The Role We are seeking a Principal ASIC Design Verification Engineer whose role will be to verify the functionality, performance... ...Assertions (SVA) and integrate formal verification where appropriate...Permanent employmentShift workK2 Space Corporation
Seattle, WA1 day ago$100k - $120k
...across North America and our engineering expertise and operational excellence... .../followership out of formal hierarchical lines - you are... ...accommodation, their name and preferred method of contact ready for Sonaca... ...Sonaca North America is an E-Verify Employer. Sonaca North...Contract workTemporary workWork at office- ...knowledge of a wide range of methods to gather, analyze, and evaluate... ...Tech Ops District managers, Engineering and Technical services... ...disciplines. May act as a principal specialist to develop new and... ...closing date of announcement to verify qualifications. If selected,...Full timePart timeFor contractorsInternshipWork at office
Federal Aviation Administration
Des Moines, WA16 hours ago - Principal Robotics EngineerPosition OverviewWe are seeking a Principal Robotics Engineer to lead the design and delivery of advanced robotic systems. This role will own system... ...and device build systems (Yocto, cross-compilation) and production deployment constraints.Experience...Remote workRelocation package
CyberCoders
Redmond, WA3 days ago - ...industry experts, and support our clients’ projects. The Principal Mechanical Engineer is responsible for independently leading engineering assignments... ...quality of designs, drawings, calculations, computation methods, specifications, reports, and other project deliverables....For contractorsFlexible hours
Veolia Nuclear Solutions Federal Services
Richland, WA2 days ago $142.8k - $274.8k
...physics, high‑performance electronics, and world‑class engineering. We are seeking a Principal Electrical Engineer - Engineering Planning Coordinator... ...employment, the successful candidate’s citizenship will be verified with a valid passport. Lawful permanent residents,...Ongoing contractPermanent employmentContract workLocal area3 days per weekMicrosoft
Redmond, WA4 days ago$180k - $240k
...communities. When you join Farallon, you join a team of scientists and engineers who take pride in delivering technically sound, defensible, and... ...Skills Familiarity with GIS, data management, and analytical methods. Experience with PFAS, air compliance, sediment remediation, or...Full timeLocal areaHome officeFlexible hoursFarallon Consulting
Bellevue, WA3 days ago$145.99k - $228.35k
...serving as the senior-most technical leader and owner for select engineering technologies across the enterprise, responsible for leadership... ..., hands-on coaching, demonstrations, and other appropriate methods. Coordinates contributions from other subject matter experts,...Full timeContract workHNTB Companies
Bellevue, WA1 day ago$146.3k - $306.4k
...refinements and corrective action plans. Leads high impact mechanical engineering initiatives, fostering a culture of technical excellence and... .... Evaluates effectiveness of updated approaches and methods for continued improvement to enhance efficiencies and ensure changes...Temporary workFlexible hoursShift workOracle Corporation
Seattle, WA16 hours ago$150k - $245k
...others. BRINC is recruiting exceptional engineers to build the next generation of autonomous... ...seeking an experienced and passionate Principal Mechanical Engineer to lead the end-to-end... ...knowledge of common manufacturing methods: injection molding, casting, stamping, machining...Work at officeFlexible hoursBRINC DRONES
Seattle, WA4 days ago$235k - $270k
...the hardest problems don't have textbook answers. As a Principal Power Electronics Engineer, you'll own those problems — the highest-risk, least-defined... ...for the electrical organization — architectures, design methods, and the "golden standard" for how demanding hardware...Temporary workHelion
Everett, WA1 day ago$142.8k - $274.8k
...Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) is the team behind Microsoft’s... ...infrastructure. We are looking for a Principal DFT Engineer to join the team. #SCHIE... ...successful candidate’s citizenship will be verified with a valid passport. Lawful permanent...Ongoing contractPermanent employmentWork at officeLocal areaWorldwide3 days per weekMicrosoft
Redmond, WA7 hours ago$119.8k - $234.7k
...scalable readout system for topological quantum computing!As a Principal or Senior Quantum Engineer - Readout Design you will design the readout system for... ..., the successful candidate’s citizenship will be verified with a valid passport. Lawful permanent residents, refugees...Ongoing contractPermanent employmentWork at officeLocal areaFlexible hours3 days per weekMicrosoft
Redmond, WA2 days ago$190k - $290k
..., with the ultimate goal of enabling human life on Mars.PRINCIPAL SIGNAL INTEGRITY ENGINEER - SERDES, SATELLITES (STARLINK)SpaceX is leveraging its... ...Starlink program. RESPONSIBILITIES: Specify, design, simulate, verify, qualify, define production screens for, and generally...Permanent employmentTemporary workInternshipWork at officeWorldwideMonday to FridayWeekend workSpaceX
Redmond, WA7 hours ago$164.59k - $246.79k
...including Urban Air Mobility (UTM).Echodyne is seeking a Principal State Estimation Engineer to join our fast-growing team. ROLE OVERVIEWIn this role... ...an evolving world. RESPONSIBILITIESLead development of methods for estimating radar position, velocity, orientation, angular...Full timeTemporary workImmediate startEchodyne
Kirkland, WA1 day ago$200.1k - $270.6k
At Amazon, Principal Engineers are both visionary leaders and hands-on builders. As Amazon’s most senior individual contributors, Principal... ...application - AI/ML, mobile - iOS and Android, autonomous systems, compilers, databases, robotics, embedded systems, ASIC, hardware,...Local areaFlexible hoursAmazon
Seattle, WA1 day ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Principal Engineer: Verified Compilers & Formal Methods. Be the first to apply!
