Sr Prin Research SW Engineer, Formal Methods
RTX
About this role
RTX Corporation, based in Arlington, VA, is seeking a Formal Method researcher with experience in system/software engineering to join its Networking and Cyber Technologies group. The role involves leading research projects related to process logic and communications network analysis for national security objectives, with opportunities for leadership, funding acquisition, and technological innovation.
Skills
About RTX
rtx.comAt RTX, we're accelerating ideas to solve some of the world's biggest challenges by bringing together the brightest, most innovative minds across aviation, space and defense.
Recent company news
RTXRTX's Collins Aerospace initiates powertrain testing for Clean Aviation SWITCH project at the Grid
3 days ago
MarketBeat896,899 Shares in RTX Corporation $RTX Acquired by Groupama Asset Managment
4 hours ago
Yahoo FinanceAnalysts See 11% Upside To RTX Corporation (RTX)
3 days ago
Seeking AlphaRTX Corp.: America's Missiles Shortage Changes Everything For The Stock
3 days ago
The Motley FoolBetter Defense Stock: Lockheed Martin vs. RTX
1 day ago
About RTX
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Leadership Team
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
Unlock Company Insights
View leadership team, funding history,
and employee contacts for RTX.
Salary
$146k – $277k
per year
More jobs at RTX
Similar Jobs
Formal Methods Research Intern
Leidos
Undergraduate/Graduate (Summer) Intern - Formal Verification Methods for Cybersecurity
National Renewable Energy Laboratory
Summer Research Intern
Two Six Technologies
Research Engineer - Formal Methods
Code Metal
Senior Formal Methods Engineer
Draper
Formal Verification Manager
NVIDIA