📅 Apr 13
Drive a research agenda at the intersection of formal methods and a specialized research domain, leading funded programs, engaging clients, guiding multidisciplinary teams, and advancing trustworthy systems through research and mentorship.
Galois jobs
Galois works to ensure the trustworthiness of critical systems.
2 open roles at Galois
Sort jobs
📅 Jan 5
Research Engineers design and implement safety- and security-critical software, applying formal methods to verify system properties while collaborating with clients and advancing programming language research.
Page 1 · 2 results