👩‍💻 Join Remote OK 👋  Log in
General
Remote OK Frontpage 🏝 Remote jobs 🌗  Dark mode 👩‍💻 Hire remote workers 🚨 Post a job ⭐️ Go premium
Top jobs
🦾  AI Jobs
⏰ Async jobs 🌎 Distributed team 🎧 Support jobs 🤓 Engineer jobs 👵 Senior jobs 💼 Management jobs 🤓 Software jobs 🛠 Technical jobs 👩‍✈️ Lead jobs 🚀 Growth jobs
Companies
🚨 Post a remote job 📦 Buy a job bundle 🏷 Ask for a discount Safetywing Health insurance for teams Safetywing Health insurance for nomads
Feeds
🛠 Remote Jobs API 🪚  RSS feed 🪓  JSON feed

Hacker News mode  Hacker News mode

Safe for work mode  Safe for work mode
Help
💡  Ideas + bugs 🚀  Changelog 🛍️  Merch 🛟  FAQ & Help
Other projects
📊 Remote work stats new 👷 Top remote companies 💰 Highest paying remote jobs 🧪 State of remote work new
🌍  Become a digital nomad
🔮  Web3 Jobs
📸  Photo AI
🏡  Interior AI
Post a job → Log in

@krlz17

Remote worker with 6+ years of experience - Last seen ago


🛂 Nationality 🇷🇺 Russia
🏡 Residency 🇷🇺 Russia
📍 Location 🇹🇷 Turkey
This position is a Remote OK original posting Remote OK rok.co/@krlz17
Telegram sdfljasfjkhsdfajsf ⭐️ Upgrade to Premium to contact
GitHub sdfljasfjkhsdfajsf ⭐️ Upgrade to Premium to contact
LinkedIn sdfljasfjkhsdfajsf ⭐️ Upgrade to Premium to contact
Skilled in standartml isabelle hol c c plus plus solidity gallina coq teamwork flexible approach easily adoptable team leadership latex docker git hol4 formal verification theorem proving model checking software analysis security research hardhat 
Fluent in englishrussian
Preferred timezone 0, +1, +2, +3, +4, +5, +6, +7, +8
Preferred annual pay (min) $50,000/year
Last seen 4 months ago
Signed up 2 years ago
Badges 👨‍💻 Remote worker

🎖 Early adopter

Employment

2022 - Now: Senior Researcher @ ISP RAS

2022 - Now: Sotware Engineer @ LEON GROUP LLC

2020 - 2022: Sotware Engineer @ Innopolis University

Education

2017 - 2023: Combined M's & D's, Mathematics @ Lomonosov Moscow State University

16ms