Software Engineer (Engineer III to Principal) - Formal Methods
CertiK · New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote
Extend the scope and depth of our automated program verification tools and brainstorm, design, and implement new tools.; Adapt and improve algorithms for symbolic software model checking. Examples include bounded model…
This posting is pulled directly from CertiK's own Lever page and applying happens on their site, not here. Posted 2022-07-30; Skip The Boards re-checks every company's board regularly and removes listings that disappear from the source.