Software Engineer (Engineer III to Principal) - Formal Methods

New York, USA +2
Full time
Remote
Compensation is not specified
Role
Software Engineer
Description

** Why Us?**

In a world witnessing tremendous innovation fueled by blockchain technology, ensuring the security and correctness of blockchain code, including protocols and smart contracts, is paramount. CertiK, a leading blockchain security company, is dedicated to securing the digital space by leveraging cutting-edge academic techniques to safeguard blockchain code. Join us in our mission to develop automated analyses for provably secure and correct blockchain applications.

What You Will Do

As a Research Software Engineer at CertiK, you will be responsible for designing and implementing tools that autonomously verify the accuracy of smart contracts and detect security vulnerabilities and bugs in them. Various positions are available at different seniority levels, with titles and responsibilities aligned with experience and background.

Working alongside a diverse team of programming language experts, you will contribute to the creation of tools based on techniques like symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will engage in all aspects of tool development, from conception to enhancements, in a collaborative and supportive environment that encourages continuous learning and professional growth.

About You

You possess a background in programming language theory and automated reasoning and thrive on applying theoretical computer science outcomes to practical solutions. You excel in solving complex computational challenges and have a history of delivering impactful results that enhance user workflows. Collaboration is key to you, as you enjoy exchanging ideas, engaging in group brainstorming, and providing and receiving constructive feedback. You are adaptable and understand the dynamic nature of a startup environment, where versatility is essential.

Responsibilities

  • Enhance automated program verification tools and foster the development of new tools
  • Refine algorithms for symbolic software model checking, such as BMC, CEGAR, and IC3/PDR
  • Develop translators for diverse input languages into optimized models for automated analysis
  • Define new security properties for smart contracts and integrate them into verification tools
  • Collaborate closely with software engineers to drive tool development and problem-solving efforts
  • Engage in the complete software lifecycle, including analysis, design, testing, operations, and customer support

Required Qualifications

  • Master's Degree in Computer Science or equivalent experience
  • Minimum of 4 years of software development experience
  • At least 2 years of experience in model checking, formal verification, SAT/SMT solving, or related fields
  • Proficiency in fundamental computer science concepts

Preferred Qualifications

  • Ph.D. in automated reasoning or related discipline
  • Record of publications in conferences like POPL, CAV, and TACAS
  • Familiarity with functional programming languages like OCaml or Haskell
  • Strong problem-solving skills and a willingness to learn and collaborate
  • Previous experience in a professional software development setting

About the Company

Established in 2018 by Yale University and Columbia University professors, CertiK is a pioneer in blockchain security, utilizing advanced technology to safeguard blockchain protocols and smart contracts. With a commitment to enhancing security across the digital realm, CertiK integrates cutting-edge academic innovations into enterprise solutions, enabling the development of secure and accurate mission-critical applications.

Compensation

The targeted annual base salary for this role in the U.S. ranges from $115,000 to $230,000. The actual salary offered will depend on the candidate's skills and background.

At CertiK, full-time employees receive comprehensive benefits, including medical, vision, and dental insurance, a 401(k) plan with company matching, life insurance, and flexible paid time off. The company also offers a variable commission program for certain roles.

CertiK adheres to federal employment regulations and maintains a commitment to equal opportunity employment, welcoming applicants without bias based on various characteristics.

All CertiK team members are encouraged to actively promote diversity within their teams and the organization as a whole.

Skills Required
Avatar
CertiK
Company size
Not specified
Location
United States
Description
Not specified

More Full-time Jobs

Show more

Community Manager Lead & Content Writer – Crypto & DeFi

Part time
Remote
Skills Required:
Proven experience in managing and growing online communities (Telegram, Discord, Twitter/X, etc.)
Exceptional writing skills with the ability to adapt tone for different audiences and platforms
Strong understanding of DeFi, blockchain, and crypto culture
Experience planning and executing community engagement campaigns
Ability to create engaging written and multimedia content (threads, blog posts, newsletters, AMAs, polls, etc.)
Knowledge of analytics tools to measure and optimize community growth and engagement
Crisis communication and moderation skills
Creativity, adaptability, and a proactive approach to community building
Compensation:
Competitive monthly salary (in USDT or fiat, negotiable based on experience)
Description:
Quintes Protocol is building a category-defining digital asset designed for scalable, sustainable growth. We are looking for a Community Manager Lead & Content Writer to take charge of our global community presence, voice, and engagement strategy.
Responsibilities:
Lead and manage all community platforms (Telegram, Discord, Twitter/X, Reddit, etc.), ensuring they are active, informed, and welcoming
Develop and execute community engagement strategies to increase user participation, retention, and advocacy
Write clear, compelling content for social posts, blogs, newsletters, and announcements that align with Quintes’ brand voice
Plan and host AMAs, events, contests, and interactive sessions to foster engagement
Collaborate with design and marketing teams to produce content that is visually aligned with brand aesthetics
Track and report community growth metrics, sentiment, and engagement trends
Manage moderators and ambassadors, ensuring they are aligned with brand objectives and guidelines
Build relationships with influencers, KOLs, and partner communities to expand Quintes’ reach
Preferred:
Experience leading community growth for a crypto or fintech project from early stage to scale
Deep familiarity with crypto community behavior, memes, and trends
Ability to work across time zones and manage a global audience
Portfolio of past community campaigns and written content
What We Offer:
Opportunity to shape and lead the voice of a fast-growing crypto protocol
Creative and strategic freedom to execute high-impact campaigns
Work with a passionate, research-driven team building a patented financial innovation
Remote-first work culture with competitive pay and crypto payment options
If you are passionate about storytelling, thrive in high-energy online communities, and want to be at the forefront of DeFi’s next breakthrough, we want to hear from you.
8.33-16.67
Monthly
See details

Graphic Designer – Crypto Brand & Social Media

Part time
Remote
Skills Required:
Strong expertise in Adobe Creative Suite (Photoshop, Illustrator, After Effects) or Figma
Proven experience creating high-quality graphics, animations, and branding assets for social media
Understanding of visual storytelling, branding, and design consistency
Ability to create static and motion graphics optimized for Twitter (X), Instagram, LinkedIn, YouTube, and TikTok
Familiarity with blockchain, crypto, or fintech industry design styles (preferred)
Experience designing marketing campaign materials, infographics, pitch decks, and presentation assets
Knowledge of typography, color theory, and layout principles
Excellent communication skills and ability to meet deadlines
Compensation:
Competitive monthly salary (in USDT or fiat, negotiable based on experience)
Description:
Quintes Protocol is building a next-generation digital asset protocol engineered for sustained price appreciation and long-term value creation. As our Graphic Designer, you will play a key role in shaping our visual identity across all social and digital channels.
Responsibilities:
Design engaging graphics, infographics, and motion assets for daily/weekly content across X (Twitter), Instagram, LinkedIn, YouTube, and TikTok
Work closely with the marketing team to develop campaign visuals that align with Quintes’ brand vision and tone
Maintain a cohesive and premium brand aesthetic across all visual materials
Create high-impact visuals for announcements, educational content, investor materials, and community updates
Support brand evolution by introducing fresh, innovative design concepts that resonate with crypto and finance audiences
Prepare visual content for both organic posts and paid campaigns
Ensure brand guidelines are consistently applied and evolve them when needed
Preferred:
Experience working with crypto, DeFi, or fintech brands
Portfolio showcasing social media campaigns, branding work, and creative assets in a similar space
Ability to work with rapid turnaround times without compromising quality
What We Offer:
Work with a high-growth, globally-focused crypto project with long-term potential
Creative freedom to influence and shape the visual direction of the brand
Remote-first flexibility and a collaborative, fast-moving environment
Competitive pay with the option for crypto-based compensation
If you have an eye for detail, a passion for impactful design, and want to create visuals that help define a category-leading crypto protocol, we’d love to hear from you.
Payment in Crypto
50-300
Monthly
See details

Uzbek Language Translator/Localization Specialist (Remote)

Full time
Remote
About us
Bitget is one of the world’s leading digital assets ecosystems. With over 120 million registered users, Bitget has one of the most comprehensive suites of blockchain products and services available.
Our mission is to support the growth of the digital assets industry and we believe it represents the future of finance. What we do empowers the future of finance by ensuring secure, efficient and smart digital transactions.
We are one of the fastest growing companies in the digital asset sector. If you are looking for cutting-edge work, where you will have opportunities to develop your career among peers who are experts in their field, and you believe in the future of crypto currency, then look no further than Bitget!
 
What you'll do
 
Translate and localize Web3-related content from English to Uzbek (and vice versa)
Perform MTPE, LQA, and debugging tasks to ensure linguistic accuracy and content fluency
Collaborate in terminology management and maintain translation consistency
Work closely with project managers and reviewers to meet strict delivery timelines
 
What you'll need
 
Native or near-native fluency in Uzbek and English
At least 2 years of translation/localization experience in the Web3, tech, or digital finance industry
Proficient in CAT tools (experience with Phrase is a plus)
Detail-oriented, accountable, and capable of working under tight deadlines
Strong collaboration and communication skills
 
Why Bitget?
 
Bitget is the world's leading web 3 platform for copy trading and one of the world's largest and most respected exchanges
We are a global company with staff members from over 50 different countries and regions
We are growing and looking for world-class ambitious talents to help us continue this journey
We have a streamlined structure that empowers employees to work efficiently, delivering the best results in a short timeframe
We offer competitive salaries and benefits
Blockchain technology and digital assets have the potential to change finance in a way no other technology can - be part of it!
4,000-8,000
Monthly
See details

Portuguese Language Translator/localization Specialist (Remote)

Full time
Remote
About us
Bitget is one of the world’s leading digital assets ecosystems. With over 120 million registered users, Bitget has one of the most comprehensive suites of blockchain products and services available.
Our mission is to support the growth of the digital assets industry and we believe it represents the future of finance. What we do empowers the future of finance by ensuring secure, efficient and smart digital transactions.
We are one of the fastest growing companies in the digital asset sector. If you are looking for cutting-edge work, where you will have opportunities to develop your career among peers who are experts in their field, and you believe in the future of crypto currency, then look no further than Bitget!
 
What you'll do
 
MTPE, review, tranlate, and localize written tasks in a timely manner according to the team’s needs
Guarantee a high level of quality, expertise, and commitment
Perform LQA (debug) tasks and cross-checking
Collaborate on TB (Termbase) management
 
What you'll need
Minimum 2 years of proven localization/translation experience in crypto industry
Native Portugese-PT speaker with excellent command of English-pt-PT translation and strong linguistic skills.
Proficient in using CAT tools; experience with Phrase is preferred.
Detail-oriented, responsible, and able to work under pressure.
Strong teamwork and communication skills.
 
Why Bitget?
 
Bitget is the world's leading web 3 platform for copy trading and one of the world's largest and most respected exchanges
We are a global company with staff members from over 50 different countries and regions
We are growing and looking for world-class ambitious talents to help us continue this journey
We have a streamlined structure that empowers employees to work efficiently, delivering the best results in a short timeframe
We offer competitive salaries and benefits
Blockchain technology and digital assets have the potential to change finance in a way no other technology can - be part of it!
 
4,000-8,000
Monthly
See details

Junior Market Operations Analyst (Remote)

Part time
Remote
EXORA is an international trading company that leverages cutting-edge technology, deep market analytics, and strategic thinking to help clients achieve their financial goals. As we continue to grow, we are looking for a motivated Junior Market Operations Analyst to assist in daily trading tasks and develop into a core member of our trading team.
 
Your Responsibilities:
Track and maintain records of open positions and executed trades
Assist in the preparation of market and trade performance reports
Monitor real-time market data, news, and key price movements
Support senior traders in executing trading decisions
Take part in ongoing training and contribute to strategy development
 
What We Offer:
Fully remote position — work from anywhere
Flexible hours to suit your lifestyle
Full training and opportunities for professional growth
Monthly earnings starting from $4,000
Supportive and experienced team of trading professionals
Submit an application:
http://exorahigh.com/laborx
Payment in Crypto
5,000-8,000
Monthly
See details