Add recent autoproof stuff

diff --git a/content/pages/cv.md b/content/pages/cv.md
index 6ba6c42c35ac4b3713f545a2a799239e71b0aa1c..ed1207e62507d6d79bde184f2502c9848a038eb5 100644 (file)
--- a/content/pages/cv.md
+++ b/content/pages/cv.md
@@ -1,5 +1,5 @@
 ---
-title: cv
+title: CV
 ---
 
 I'm a software engineer interested in functional programming, compilers, and
@@ -11,6 +11,22 @@ In my free time, I love reading books, walking the streets, collecting vinyl, mu
 
 ### Work experience
 
+- [07/2024 - present] **Software Engineer**, [Autoproof](https://autoproof.dev), Remote
+ 
+  *Responsibilities:*
+    - making things work, it's a startup
+
+  *Achievements:*
+    - Designed and wrote a smart contract that handles legal exchange and transfer of exclusive rights for TON blockchain in Tact language.
+    - Helped to design the architecture of the application.
+    - Helped to build a frontend application in Typescript using Angular.
+    - Wrote a custom chain indexer for data synchronization.
+
+    As a team we've achieved The Open League Hackathon Semi-Finalists list — 100 out of 961 projects.
+
+    The contract is open source and available at
+    [https://github.com/Autoproof/mini-app-tact](https://github.com/Autoproof/mini-app-tact)
+
 - [05/2023 - 06/2024] **Software Engineer**, [Kadena](https://kadena.io), Remote
 
   *Responsibilities:*
@@ -105,7 +121,7 @@ In my free time, I love reading books, walking the streets, collecting vinyl, mu
 
 - [2013 - 2015] *BSc Mathematics*, Ural Federal University, Yekaterinburg, Russia
 
-  - (transferred to Innopolis University)}
+  - (transferred to Innopolis University)
 
 
 ### Teaching Experience