Description:

CertiK is seeking a Software Engineer (Engineer III to Principal) specializing in Formal Methods to join their team in New York, Seattle, San Francisco Bay Area, or remotely.
The role involves designing and developing tools that ensure the correctness of smart contracts and identify security issues and bugs.
Candidates will work with a multinational team of programming language experts and engage in techniques such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification.
Responsibilities include extending automated program verification tools, adapting algorithms for symbolic software model checking, building translators for different input languages, identifying new security properties of smart contracts, collaborating with other engineers, and delivering working software that meets customer needs.

Requirements:

A Master's Degree in Computer Science or a related field, or 5 years of equivalent experience is required.
A minimum of 4 years of software development experience is necessary, which can include internships, research, and open-source development.
At least 2 years of experience in model checking, formal verification, SAT/SMT solving, abstract interpretation, or closely related disciplines is required.
Candidates must demonstrate knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory.
Preferred qualifications include a PhD in automated reasoning, a publication record in relevant conferences, experience in functional programming, strong problem-solving skills, and prior experience in a professional software development environment.

CertiK offers medical, vision, and dental insurance to all full-time employees.
A 401(k) plan with company matching is available.
Life and accidental death and dismemberment insurance, HSA (with high deductible plan), and FSA are provided.
Employees enjoy flexible paid time off and holidays.
The target annual base salary for this role ranges from $115,000 to $230,000, depending on skills and experience.