If you are a geek of Logic, Compilers, Programming Languages design, Static code analysis, Formal methods, Financial Math or Developer Tools development - Certora is looking for Junior/Senior Developers
to join the Compilers, Web, DevOps, and Security teams.
Certora is building the most sophisticated industrial tool for code security and formal verification, working with the top DeFi (Decentralized Finance) protocols
https://www.certora.com/#Customers.Our venture is backed up by $43 million dollars from top
US investors in Crypto Market.
Our team includes 50 Software Engineers including 12 PhDs working on solving in real-life some of the hardest problems in Computer Science.
Our perks include highly competitive benefits, flexibility with both remote and on-site work, and an uncompromising insistence on maintaining a work-life balance.
We offer both internships and permanent employment.
To apply, email
aviva@xxxxxxxxxxx
--
![[Computer Systems Lab]](http://www.cs.wisc.edu/pics/csl_logo.gif){kind=logo}