Remote Formal Methods Engineer for Blockchain Security
pofft Technology Inc.
A complete application in a minute
Tailored resume and cover letter, ready to send.
Job summary
pofft Technology Inc. is seeking a Software Engineer (Engineer III to Principal) focused on Formal Methods.
You will design and develop tools to verify smart contracts and identify security issues, contributing across the full software lifecycle from analysis to deployment. You will work in a multinational team applying symbolic model checking, SMT solving, and abstract interpretation to ensure provably secure blockchain code.
Qualifications
- Master’s Degree in Computer Science or a related field or 5 years of equivalent experience.
- Minimum of 4 years of software development experience (includes internships, software developed during research, and open-source development).
- Minimum of 2 years of experience with model checking, formal verification, SAT/SMT solving, abstract interpretation, or closely related disciplines.
- Demonstrated knowledge of data structures, algorithms, mathematical logic, and automata theory.
Responsibilities
- Extend automated verification tools with new algorithms and features.
- Adapt and improve symbolic software model checking techniques such as BMC, CEGAR, and IC3/PDR.
- Build translators from various inputs into intermediate representations for automated analysis.
- Identify and formalize security properties of smart contracts for our tools.
- Collaborate with engineers to set technical direction and deliver working software.
Skills
Education
Tools
Job description
pofft Technology Inc. is seeking a Software Engineer (Engineer III to Principal) focused on Formal Methods.
You will design and develop tools to verify smart contracts and identify security issues, contributing across the full software lifecycle from analysis to deployment. You will work in a multinational team applying symbolic model checking, SMT solving, and abstract interpretation to ensure provably secure blockchain code.
'/%3e%3cpath%20d='M101.744%2012.4726L102.894%2016.1947L99.0021%2013.2201L101.744%2012.4726ZM105.3%208.40937H100.488L99.0026%203.59473L97.5116%208.41047L92.7%208.40385L96.5965%2011.3834L95.1055%2016.1942L99.0021%2013.2196L101.408%2011.3834L105.3%208.40992V8.40937Z'%20fill='white'/%3e%3cdefs%3e%3clinearGradient%20id='paint0_linear_5593_1381'%20x1='90'%20y1='9.44471'%20x2='99'%20y2='9.44471'%20gradientUnits='userSpaceOnUse'%3e%3cstop%20stop-color='%2300AD70'/%3e%3cstop%20offset='0.998594'%20stop-color='%2300B67A'/%3e%3cstop%20offset='1'%20stop-color='%23DCDCE6'/%3e%3c/linearGradient%3e%3c/defs%3e%3c/svg%3e){kind=small}
