Software Engineer (Engineer III to Principal) - Formal Methods
** 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.
I'm looking for an investor and a buyer for the passive token that goes back into the earnings cycle
Senior Content Writer
CKBA (Common Knowledge Base Association) is a contributor-governed organization supporting the CKB ecosystem, bringing together researchers, developers, and contributors working on blockchain infrastructure and applications.
Learn more about us:
Website: https://ckba.build
GitHub: https://github.com/nervosnetwork/ckb
About the Role
We’re looking for a Senior Content Writer who can bridge the gap between complex blockchain technology and broader audiences.
You’ll research protocol designs, technical concepts, and ecosystem developments, then turn them into clear, thoughtful, and engaging educational content.
Responsibilities
Research and write high-quality educational long-form articles about CKB, blockchain infrastructure, and related topics.
Translate protocol updates and complex technical concepts into clear, engaging content for broader audiences.
Write high-impact content for X, including posts, threads, long-form posts, and thought-leadership quote tweets.
Collaborate closely with researchers, engineers, and ecosystem contributors to ensure technical accuracy.
Review and edit content from other contributors to maintain a consistent editorial standard and tone.
Stay current with industry trends and contribute to broader ecosystem narratives where relevant.
Apply SEO and GEO best practices where appropriate.
Effectively leverage AI tools to improve research, drafting, editing, and writing workflows while maintaining high editorial quality.
Qualifications
Required
4+ years of professional writing experience (7+ years preferred).
Deep understanding of blockchain technology and the broader crypto ecosystem.
Proven ability to explain complex technical concepts in a way that is accurate, engaging, and accessible.
Exceptional written English with strong attention to clarity, structure, and detail. Native-level proficiency is preferred but not required.
Excellent research skills and intellectual curiosity.
Experience writing educational, technical, or research-driven long-form content.
Experience creating engaging content for X (Twitter), including threads and thought-leadership content.
Familiarity with SEO/GEO principles and AI-assisted writing workflows.
Preferred
Experience working with an L1, L2, major DeFi protocol, blockchain infrastructure project, or centralized exchange.
Background in editorial, journalism, research communications, or educational content.
Experience reviewing and editing the work of other writers.
This role is probably not the right fit if your experience has been primarily focused on news reporting, market analysis, or short-form marketing copy.
Application
Please send your application to join@ckba.build with the subject line:
Senior Content Writer – Your Name
Please include:
Your resume
Three writing samples that best represent your work
We are especially interested in educational, technical, or research-driven long-form content that demonstrates your ability to explain complex blockchain concepts clearly and effectively. If you have collaborated with others on a piece, please briefly describe your contribution.
Please prioritize your strongest writing samples, as writing quality will be a key part of our evaluation process.
Web3 Market Maker & Liquidity Manager
Company: UTOPOS
Location: Remote (Worldwide)
Compensation: Negotiable (USDC, UTOP, or a combination)
About UTOPOS
UTOPOS is a blockchain ecosystem building the future of decentralized commerce, gaming, payments, sports, and smart city infrastructure. UTOP is the ecosystem's native digital currency, designed for real-world utility across multiple platforms.
We are seeking an experienced Web3 Market Maker & Liquidity Manager to help improve the trading experience and liquidity of the UTOP token while supporting the long-term growth of the ecosystem.
Responsibilities
Develop and execute market-making strategies for UTOP.
Monitor liquidity pools and trading activity across supported decentralized exchanges.
Improve bid/ask spreads and market depth.
Recommend liquidity allocation strategies.
Monitor trading volume, volatility, and order book health.
Identify opportunities to improve trading efficiency.
Prepare regular reports on market performance and liquidity metrics.
Coordinate with the UTOPOS team on exchange listings and liquidity initiatives.
Recommend best practices for sustainable token liquidity.
Requirements
Experience as a market maker, liquidity manager, or professional crypto trader.
Strong understanding of decentralized exchanges and automated market makers.
Experience with Uniswap, Polygon, and EVM-compatible ecosystems.
Knowledge of liquidity pool management and tokenomics.
Familiarity with on-chain analytics tools.
Strong analytical and quantitative skills.
Ability to work independently in a remote environment.
Preferred Qualifications
Experience supporting emerging blockchain projects.
Understanding of treasury management.
Experience with algorithmic trading or market-making tools.
Knowledge of cross-chain liquidity strategies.
Familiarity with Web3 analytics platforms.
Compensation
Compensation is negotiable and may include:
Fixed monthly compensation.
Performance-based incentives.
Payment in USDC, UTOP, or a mutually agreed combination.
How to Apply
Please include:
A brief introduction.
Your relevant market-making or liquidity management experience.
Blockchain projects you have supported.
Exchanges and protocols you have worked with.
Examples of measurable results you achieved.
Your preferred compensation structure.
Important: UTOPOS seeks to maintain fair, transparent, and orderly markets. Applicants should have experience with legitimate market-making and liquidity management practices. Any strategies involving market manipulation, wash trading, spoofing, or other deceptive trading activities will not be considered.
Business Development & Marketing Representative (Commission-Based)
Company: UTOPOS
Location: Remote (Worldwide)
Compensation: Commission-Based (Paid in UTOP)
About UTOPOS
UTOPOS is building a decentralized ecosystem that connects blockchain technology with commerce, gaming, sports, payments, and future smart city development. UTOP is the ecosystem's native digital currency, designed for use across multiple products and services.
We are expanding globally and are looking for motivated Business Development & Marketing Representatives to help grow the UTOPOS ecosystem.
Responsibilities
Promote awareness of the UTOPOS ecosystem.
Introduce individuals, communities, and businesses to UTOP.
Build relationships with blockchain communities, influencers, and strategic partners.
Generate qualified leads for partnerships and business opportunities.
Identify merchant adoption opportunities.
Assist with community growth across social media and Web3 platforms.
Represent UTOPOS professionally in online and offline communities.
Compensation
This is a commission-based opportunity.
Representatives earn commissions in UTOP based on qualified business generated for the UTOPOS ecosystem. Commission terms will be provided during onboarding and are paid only after qualifying milestones have been successfully completed.
Top performers may be offered long-term positions and leadership opportunities as UTOPOS expands globally.
Qualifications
Experience in marketing, sales, or business development.
Interest in blockchain, cryptocurrency, or Web3.
Strong communication skills.
Self-motivated and results-oriented.
Ability to work independently.
Existing crypto or business network is a plus but not required.
What We're Looking For
We're seeking individuals who enjoy building communities, creating partnerships, and helping grow innovative blockchain ecosystems. This is an opportunity to participate in the growth of a long-term project while earning performance-based rewards.
Important
Representatives are expected to communicate accurately about UTOPOS and UTOP. Misleading statements, guarantees of profits, or investment promises are strictly prohibited. All marketing must be factual and professional.
If you're passionate about Web3 and business development and want to help build the future of decentralized commerce, we'd love to hear from you.
We're Hiring at TokenBrickLabs!
As an ambitious startup, we're expanding our team and hiring passionate professionals who want to make a real impact from day one.
✨ Work on innovative blockchain and Web3 solutions
🌍 Collaborate with a global, remote-friendly team
🚀 Grow your career in a fast-paced startup environment
💡 Make meaningful contributions where your ideas matter
If you're excited about building cutting-edge technology and helping shape the future of decentralized innovation, we'd love to hear from you!
https://www.tokenbricklabs.com/talents
https://www.linkedin.com/company/token-brick-labs/