All employers
CertiK
Details
As a Software Engineer (Formal Methods) at our company, you will be part of a dynamic and innovative team dedicated to advancing automated program verification tools. We offer a collaborative work culture that encourages creativity and continuous learning, alongside competitive benefits such as flexible paid time off, comprehensive health insurance, and a 401(k) plan with company matching. Located in a vibrant tech hub, we provide ample opportunities for professional growth and the chance to work on cutting-edge projects that make a real impact in the field of software development.
