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.
Fullstack Developer Needed for Web3 Prediction Market Platform
We're looking for an experienced Blockchain / Full-Stack Developer to help build a production-ready MVP for a Web3 prediction marketplace.
We’ve already built a basic UI prototype using vibe coding. The goal now is to turn this prototype into a functional, scalable dApp with clean architecture and solid Web3 fundamentals.
This is not a tutorial or experimental project — We’re looking for someone who has real experience shipping blockchain/web3 products.
What You’ll Do
Review and improve an existing UI prototype
Build smart contract logic for a prediction marketplace MVP
Integrate blockchain functionality with the frontend
Develop backend / API logic as needed
Ensure clean, maintainable, production-ready code
Collaborate on product decisions and MVP scope
Tech Stack (Preferred)
Frontend: Next.js / React
Backend: Node.js
Blockchain: Solidity / Rust
Experience with non-EVM chains is a plus (open to discussion)
What We're Looking For
- Strong experience in Blockchain & Web3 development
- Proven ability to build production-ready dApps
- Proficiency in Next.js, React, and Node.js
- Experience designing and shipping MVPs
- Good communication and ability to work independently
Nice to Have
- Previous work on prediction markets, DeFi, or marketplaces
- Experience taking projects from prototype to launch
- Performance, security, and scalability mindset
How to Apply
Please include:
- A brief summary of your Web3 experience
- Links to previous dApps or blockchain projects
- Your preferred tech stack and availability
If you’re an expert in blockchain and Web3 and enjoy building real products from early prototypes, We’d love to hear from you.
Head of Content & Research (Web3)
Company: Nomea VC
Location: Remote
Employment Type: Full-time / Contract
Level: Senior
🌐 About Nomea VC
Nomea VC is a blockchain-focused venture capital fund investing in Web3, DeFi, infrastructure, and emerging on-chain technologies. We believe strong research and high-quality content are key to building long-term trust with founders, partners, and LPs.
🎯 Responsibilities
Own and execute Nomea VC’s content and research strategy
Produce and oversee high-quality Web3 research, insights, and thought leadership
Translate complex technical and on-chain concepts into clear narratives
Collaborate with investment team on research-driven content
Build and manage an editorial calendar (reports, essays, threads, newsletters)
Support brand positioning and visibility across X, blogs, and ecosystem channels
Coordinate with external writers, researchers, and contributors
✅ Requirements
4+ years of experience in Web3, crypto research, content, or related fields
Strong understanding of blockchain, DeFi, and crypto markets
Excellent writing and storytelling skills in English
Ability to synthesize complex data into actionable insights
Experience building content strategies or leading editorial initiatives
Self-driven, structured, and comfortable working remotely
➕ Nice to Have
Background in crypto research firms, media, or VC
Experience with on-chain analytics tools (Dune, Nansen, etc.)
Personal brand or writing presence in Web3 (X, Substack, Medium)
Experience mentoring junior researchers or writers
💡 What We Offer
Strategic role shaping the public voice of a Web3 VC fund
Full ownership over content and research direction
Remote-first, flexible work environment
Competitive compensation (crypto-friendly)
Direct collaboration with investors and portfolio founders
High visibility and long-term impact
📩 How to Apply
Please send your resume and writing samples (or links) with the subject line:
Head of Content & Research – Nomea VC
Looking for a blockchain developer
The ideal candidate has hands-on experience with React, Node.js, Ethereum smart contracts, and real-world Web3 integrations.
Framework: React 18.2 (Vite 3)
Styling: Tailwind CSS 3.4, NextUI
Animations: Framer Motion
Web3: Thirdweb SDK v4, Ethers.js v5
Routing: React Router DOM v6
State Management: React Context API
Libraries: React Markdown, React Image Gallery, Replyke (comments), React Toastify
Runtime: Node.js
Framework: Express.js
Database: MongoDB Atlas (Mongoose ODM)
Email: Nodemailer
Scheduling: Node-cron
Logging: Pino
Network: Ethereum
Smart Contracts: Solidity ^0.8.19
Development Tools: Hardhat
Libraries: OpenZeppelin, Thirdweb Contracts
Wallet Integration: MetaMask
Frontend
Strong proficiency in React (hooks, context, routing)
Experience with Vite or modern build tools
Solid knowledge of Tailwind CSS and responsive design
Experience using component libraries (NextUI, Material UI, etc.)
Backend
Strong experience with Node.js and Express
Proficiency with MongoDB and Mongoose
REST API design and implementation
Environment configuration and deployment awareness
Blockchain & Web3
Hands-on Ethereum development experience
Solidity smart contract development
Experience with Ethers.js / Thirdweb SDK
Understanding of smart contract security and gas optimization
MetaMask wallet integration and transaction handling
General
JavaScript (ES6+)
Git version control
Async programming and debugging skills
Strong problem-solving ability
Ecosystem & Partnerships Manager (Web3)
Company: Nomea VC
Location: Remote
Employment Type: Full-time
Level: Middle / Senior
🌐 About Nomea VC
Nomea VC is a blockchain-focused venture capital fund investing in Web3, DeFi, infrastructure, and decentralized technologies. Beyond capital, we actively help projects grow through partnerships, ecosystem development, and market access.
🎯 Responsibilities
Build and manage strategic partnerships across the Web3 ecosystem
Develop relationships with founders, protocols, accelerators, and other VCs
Support portfolio companies with BD and partnership opportunities
Represent Nomea VC at industry events, demo days, and online communities
Track ecosystem trends and identify collaboration opportunities
Coordinate joint initiatives, pilots, and go-to-market partnerships
Maintain CRM and partnership pipelines
✅ Requirements
3+ years of experience in partnerships, business development, or ecosystem roles
Strong understanding of the Web3 / blockchain landscape
Proven ability to build long-term professional relationships
Excellent communication and negotiation skills
Self-driven, proactive, and comfortable working remotely
Fluent English (spoken and written)
➕ Nice to Have
Experience working in Web3 startups, protocols, or VC funds
Existing network in the crypto / Web3 ecosystem
Experience with community-led growth or DAO environments
Public speaking or event participation experience
💡 What We Offer
Key role in shaping Nomea VC’s ecosystem presence
Access to top-tier Web3 founders and partners
Fully remote work with flexible hours
Competitive compensation + performance-based incentives
High autonomy and visible impact
International, crypto-native team culture
📩 How to Apply
Please send your resume and a short intro
Portfolio & Operations Manager (Web3 / Blockchain)
Company: Nomea VC
Location: Remote
Employment Type: Full-time
Level: Middle / Senior
🌐 About Nomea VC
Nomea VC is a blockchain-focused venture capital fund investing in Web3, DeFi, infrastructure, and emerging decentralized technologies. We partner with early-stage founders and actively support portfolio companies beyond capital.
🎯 Responsibilities
Manage operational and reporting processes for portfolio companies
Act as a key point of contact between Nomea VC and founders
Track KPIs, milestones, and performance metrics across the portfolio
Support founders with fundraising, go-to-market, and operational topics
Prepare internal reports, dashboards, and updates for partners
Coordinate legal, financial, and compliance-related processes
Help improve internal workflows and portfolio management tools
✅ Requirements
3+ years of experience in operations, venture capital, startups, consulting, or finance
Strong organizational and project management skills
Solid understanding of the startup lifecycle and VC processes
Interest in blockchain, Web3, and emerging technologies
Ability to work independently in a remote, fast-paced environment
Excellent written and verbal communication skills in English
➕ Nice to Have
Experience working with VC funds or portfolio startups
Knowledge of Web3 business models, token-based projects, or DeFi
Financial or legal operations background
Experience with Notion, Airtable, CRM, or portfolio management tools
💡 What We Offer
Work with a global blockchain-focused VC fund
Direct exposure to high-growth Web3 startups
Fully remote setup with flexible working hours
Competitive compensation and performance-based bonuses
High level of ownership and autonomy
Lean team with strong founder-focused culture