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.
24 июня 2019 Первая работа

Junior Researcher in Formal Methods (вакансия неактивна)

Киев, удаленно is exploring 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 motivated intern to work on this under our guidance. The perfect candidate should have a BS, MS or Ph.D. in Computer Science. In particular, any background in areas of Programming Languages, Logic, Static Code Analysis, Abstract Interpretation, Automated Proof Assistants, SAT/SMT Solvers, and Functional Programming will be helpful.

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.
To apply please send a resume to ​