Formal Verification Engineer (offline)

Digamma.ai is starting several potential projects related to 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 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 proof engineer to work in our team.
The perfect candidate should have:

— A BS, MS or Ph.D. in Computer Science or Mathematics

— Background in areas of Programming Languages, Logic, Static Code Analysis, Abstract Interpretation, Proof Assistants, SAT/SMT Solvers or Functional Programming

— Experience with Functional Programming (OCaml, Haskell)

— Ability to write mathematical proofs

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

About Codeminders

Codeminders do not do any business with Russia, Belarus or temporarily occupied Ukrainian territories (Crimea, Donbas, etc). We are not hiring engineers residing in these territories.
Founded in California in 2004, Codeminders develops software for high-tech companies located predominantly in Silicon Valley. While we work on a broad range of products, our primary focus is on modern technologies such as AI, mobile, video conferencing, and cloud computing. You will have a chance to work on innovative software products envisioned in the heart of Silicon Valley. Many of our customers are startups, but some are established companies with millions of users. At Codeminders you will have a chance to work closely with world-class engineers from both the US and Ukraine and learn the newest technologies, tools, and development processes.

Some of the benefits of working for Codeminders are:

• Salary based on individual qualifications, experience, and interview results
• Outstanding job stability with great opportunities for professional growth and advancement
• Western management practices
• Prospect of business travel to the US and Еurope
• Modern and comfortable office in Kyiv within walking distance from “Zoloti vorota” subway station
• Great benefits package including medical, education, and fitness
• Reimbursement for moving expenses for out-of-town candidates
• Flexible working hours (including opportunities to periodically work from home)
• Performance bonuses and annual salary reviews
• Choice of desktop or a laptop as the main workstation
• Bicycle and car-friendly office In-office gym
• Regular team-building events

Company website:
https://www.codeminders.com

DOU company page:
https://jobs.dou.ua/companies/codeminders/