ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
RTX
RTX BBN Technologies is seeking a Research Software Engineer with expertise in formal methods to enhance the security and resilience of large-scale dynamic systems. The role involves applying mathematical logic and software development skills to design models, analyze networks, and develop algorithms for complex processes. This position offers the opportunity to lead cutting-edge research and contribute to core technologies that improve system performance and security.
Headquarters
Arlington, Virginia, United States
Company Size
10001+ employees
Founded
2020
At 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.
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
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
View leadership team, funding history,
and employee contacts for RTX.
RTX Corp.: America's Missiles Shortage Changes Everything For The Stock
3 days ago
Formal Methods Research Intern
Leidos
Research Engineer - Formal Methods
Code Metal
Research Scientist – Cryptography with an interest in formal methods
riversideresearchinstitute.com
Research Engineer - Formal Methods
CODEMETAL
Applied Formal Methods Research for Safety‑Critical Aerospace Systems - Intern
Analytical Mechanics Associates
Senior Formal Methods Engineer
Draper
