Galois is seeking a Software Engineer/Researcher to advance programming language theory research and implementation. The role involves designing and developing advanced technologies for safety- and security-critical systems, leveraging formal methods like theorem provers and model checkers for rigorous verification. Responsibilities include requirements gathering, architecture design, implementation, formal verification, testing, and contributing to technology R&D.
Every query opens live roles, salary samples, and market demand — tap a search to run it instantly.
Unlock powerful job search, personalized recommendations, and deep career insights from comprehensive, market-leading data and live market signals.
For job seekers
Upload your résumé, start a Job Search Thread, and let Metaintro rank real openings against your experience — then guide you from search to offer.
Match
Compare live roles against your current evidence.
Position
Turn proof projects into role-specific applications.
Improve
Use market feedback to keep the skill plan current.
Custom research & engineering51-200
Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable, using cutting-edge computer science and mathematics to advance software and hardware trustworthiness. Its work includes custom research and engineering, formal analysis, and high-assurance solutions and tools that enhance security, reliability, and operational efficiency. Clients include NASA, DARPA, Amazon, and the Department of Defense; its solutions serve sectors including aerospace and defense, healthcare, automotive, semiconductors, fintech, and enterprise IT. Galois says it has combined mathematical rigor with curious creativity for more than 25 years and operates as an employee-owned company.