Digamma.ai

09/14/2021

Join us today on Digamma.ai Tech talk.
Well known speaker Ruslan Shevchenko is going to tell us about "Scala3: Async programming and behind: next steps to make asynchronous programming a bit less awkward".

Ruslan Shevchenko is a seasoned engineer who has worked as a researcher in the Institute of Software Systems and went on to become the founder of the NBI Internet Provider and the GradSoft software development firm. He’s worked in various projects across the telecom, advertising, and finance industries, and is now the managing partner of a software startup. Ruslan is also the founder of the UA Scala user group, has over 10 publications in peer-reviewed journals, and is the co-author of the Methods of algebraic programming book. To top it off, he’s also an active columnist for the Ukrainian developer’s community portal.

You can follow us live from 19.00 (Kyiv time) https://bit.ly/2Xko1ZO

вт, 14 сент. 2021 г., 19:00: In this talk, we will speak about asynchronous programming in Scala, what is the current status quo, how to make it better, and what are the fundamental limitations. Can w

06/24/2021

Раді повідомити, що Digamma.ai відкриває кілька перспективних проектів, пов’язаних із формальною верифікацією комп’ютерного програмного забезпечення.

Ми вважаємо, що найближчим часом формальна перевірка функціонально-важливого програмного забезпечення буде такою ж стандартною, як і QA тестування. Ця сфера все ще перебуває на початкових етапах, але в академічних колах існує достатня кількість інструментів та методів, які ми хочемо спробувати застосувати до практичних та реальних проблем.
Тож до себе в команду шукаємо Proof engineer.

Більш детально у вакансії https://cutt.ly/in5FmIV

06/24/2021

We are glad to inform You, that 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 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.
If you are interested, please send your CV here https://cutt.ly/in5FmIV

03/26/2020

With the number of cases rising, many organizations are moving to and not all of them are ready. Here are some tips and tools to make the transition as smooth as possible: https://bit.ly/2xuYBM8

11/01/2019

Digamma.ai Kiev branch recently moved into a new, larger office space. We invite you on a virtual tour of the new office.

Thinking about incorporating into your business? We offer complimentary brainstorming and ideation sessions as part of our consulting services and can setup a time to meet in our new office in Kiev or in our US office in Saratoga, CA. http://bit.ly/36mJH7N

11/01/2019

Earlier this month, Digamma.ai Kyiv branch moved into a new, larger office space to accommodate business growth. Instead of trying to fit into an existing office space, we opted to design and build one from scratch. We carefully selected a location that provides convenient access by public transportation or car, located in a secure, business-friendly neighborhood with nearby local facilities like hotels, restaurants, and cafes. As we did not need a whole building, we opted to lease a floor in a modern business center with 24-hour access, security, and a cafeteria.

We then started from a clean slate, choosing what amenities to include, designing the office layout, commissioning a state-of-the-art air-conditioning system, soundproofing, and installing security, communications, and electrical wiring. We employed a team of talented designers, tasked with the goal of making our new office bright, visually appealing, and fun while taking ergonomics into account.

06/02/2018

Excited to be presenting on + at tomorrow.

05/29/2018

Using Deep Learning to Combat Cheating in CSGO | WATCH: https://buff.ly/2seiWAa

All copyrights belong to Game Developers Conference, John McDonald & Valve.

05/28/2018

Hello World Canada: The Rise of AI | WATCH: https://buff.ly/2IImuVi (Awesome job, !)

Bloomberg Businessweek presents an exclusive premiere of the latest episode of "Hello World," the tech-travel show hosted by journalist and best-selling author Ashlee Vance and watched by millions of people around the globe. There's an AI revolution sweeping across the world. Yet few people know the...

05/28/2018

Does machine learning produce mental representations? https://buff.ly/2LF0usy

TL;DR Why is this important? Many people believe that mental representations are the next goal for ML and a prerequisite for AGI. Does machine learning produce mental representations equivalent to …