Digamma.ai is starting several potential projects related to the formal verification of computer software.
Our vision is that in the near future formal verification of
mission-critical software will be as standard as QA testing. This area
is still in early stages, but there are a sufficient amount of tools and
techniques produced in academia which we want to try to apply to
practical, real-world problems.
We are looking for a Formal Verification Engineer to work in our team. The perfect candidate should have:
The ideal candidate should be able to do independent research, reading research papers, trying various experimental software systems. You will need to learn new programming languages and tools by experimenting, reading books, and taking online courses if required. Good English comprehension, quick learning, and information research skills are critical.
You can work from our modern, comfortable office in Kyiv, Ukraine, or remotely.
Due to the legal restrictions, we could not work with Russia, Crimea, Belarus, or any territory under US Sanctions or Export Control restrictions.
We offer legal and financial aid if you are interested in moving to Ukraine