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
CertiK
Website
www.certik.comCompany size
Not specified
Location
United States
Description
Founded in 2018 by professors of Columbia and Yale, CertiK is a pioneer in blockchain security, utilizing best-in-class Formal Verification and AI technology to secure and monitor blockchains, smart contracts, and Web3 apps.
Iron Key Capital
Venture Fellow (Part-Time, Remote)
Part time
Remote
About Iron Key Capital:
Iron Key Capital is an investment firm specializing in liquid and venture opportunities in the crypto space. We invest in pre-seed and seed-stage Web3 startups focused on enterprise adoption of utility-driven digital assets. Additionally, we operate a blockchain innovation lab and incubate startups within the Web3 infrastructure sector. Backed by 200+ LPs globally, Iron Key deploys over $1M annually.
Role Overview:
The Venture Fellow program is an 8-week, part-time, remote opportunity designed for individuals eager to develop their skills in venture capital and angel investing. Fellows will gain hands-on experience in early-stage investing, including deal sourcing, due diligence, and pitching investment opportunities.
This program is ideal for aspiring investors, founders, or professionals exploring a career shift into venture capital. Fellows will work closely with seasoned venture capitalists and gain access to Iron Key’s investor community to learn best practices in the field.
Key Responsibilities:
Identify and evaluate early-stage investment opportunities in the Web3 ecosystem.
Conduct market research and due diligence on potential investments.
Collaborate with the Iron Key team on deal sourcing and portfolio management.
Engage with investors and team members to develop investment strategies.
Contribute to thought leadership on topics related to venture capital and Web3 innovation.
Qualifications:
Strong analytical and problem-solving skills to evaluate investment opportunities.
Excellent communication and interpersonal skills for engaging with team members and stakeholders.
Experience in Web3, AI, or related technologies is preferred.
Involvement in startups, entrepreneurial ecosystems, or Web3 communities is a plus.
Aspiring to transition into venture capital or professionalize angel investing skills.
Bonus: Previous experience as a founder or working within early-stage startups.
Program Details:
Duration: 8 weeks (part-time)
Location: Remote
Compensation: Competitive, based on experience
How to Apply:
Submit your application through this link:
https://airtable.com/appfCDlkorF5FL3VZ/pagnjuRX1A7gZjBGc/form
Additional Information:
This program is designed to take the guesswork out of breaking into venture capital or professionalizing angel investing. Successful Fellows may have opportunities to advance into Venture Partner or Core Contributor roles at Iron Key.
Iron Key Capital is an investment firm specializing in liquid and venture opportunities in the crypto space. We invest in pre-seed and seed-stage Web3 startups focused on enterprise adoption of utility-driven digital assets. Additionally, we operate a blockchain innovation lab and incubate startups within the Web3 infrastructure sector. Backed by 200+ LPs globally, Iron Key deploys over $1M annually.
Role Overview:
The Venture Fellow program is an 8-week, part-time, remote opportunity designed for individuals eager to develop their skills in venture capital and angel investing. Fellows will gain hands-on experience in early-stage investing, including deal sourcing, due diligence, and pitching investment opportunities.
This program is ideal for aspiring investors, founders, or professionals exploring a career shift into venture capital. Fellows will work closely with seasoned venture capitalists and gain access to Iron Key’s investor community to learn best practices in the field.
Key Responsibilities:
Identify and evaluate early-stage investment opportunities in the Web3 ecosystem.
Conduct market research and due diligence on potential investments.
Collaborate with the Iron Key team on deal sourcing and portfolio management.
Engage with investors and team members to develop investment strategies.
Contribute to thought leadership on topics related to venture capital and Web3 innovation.
Qualifications:
Strong analytical and problem-solving skills to evaluate investment opportunities.
Excellent communication and interpersonal skills for engaging with team members and stakeholders.
Experience in Web3, AI, or related technologies is preferred.
Involvement in startups, entrepreneurial ecosystems, or Web3 communities is a plus.
Aspiring to transition into venture capital or professionalize angel investing skills.
Bonus: Previous experience as a founder or working within early-stage startups.
Program Details:
Duration: 8 weeks (part-time)
Location: Remote
Compensation: Competitive, based on experience
How to Apply:
Submit your application through this link:
https://airtable.com/appfCDlkorF5FL3VZ/pagnjuRX1A7gZjBGc/form
Additional Information:
This program is designed to take the guesswork out of breaking into venture capital or professionalizing angel investing. Successful Fellows may have opportunities to advance into Venture Partner or Core Contributor roles at Iron Key.
Iron Key Capital
Venture Scout
Full time
Remote
Venture Scout (Part-Time, Remote) - Iron Key Capital
Location: Remote (Global)
About Iron Key Capital:
Iron Key Capital is an investment firm specializing in liquid and venture opportunities in the crypto space. We invest in pre-seed and seed-stage Web3 startups focused on enterprise adoption of utility-driven digital assets. Additionally, we operate a blockchain innovation lab and incubate startups within the Web3 infrastructure sector. Backed by 200+ LPs globally, Iron Key deploys over $1M annually.
Role Overview:
The Venture Fellow program is an 8-week, part-time, remote opportunity designed for individuals eager to develop their skills in venture capital and angel investing. Fellows will gain hands-on experience in early-stage investing, including deal sourcing, due diligence, and pitching investment opportunities.
This program is ideal for aspiring investors, founders, or professionals exploring a career shift into venture capital. Fellows will work closely with seasoned venture capitalists and gain access to Iron Key’s investor community to learn best practices in the field.
Key Responsibilities:
Identify and evaluate early-stage investment opportunities in the Web3 ecosystem.
Conduct market research and due diligence on potential investments.
Collaborate with the Iron Key team on deal sourcing and portfolio management.
Engage with investors and team members to develop investment strategies.
Contribute to thought leadership on topics related to venture capital and Web3 innovation.
Qualifications:
Strong analytical and problem-solving skills to evaluate investment opportunities.
Excellent communication and interpersonal skills for engaging with team members and stakeholders.
Experience in Web3, AI, or related technologies is preferred.
Involvement in startups, entrepreneurial ecosystems, or Web3 communities is a plus.
Aspiring to transition into venture capital or professionalize angel investing skills.
Bonus: Previous experience as a founder or working within early-stage startups.
Program Details:
Duration: 8 weeks (part-time)
Location: Remote
Compensation: Competitive, based on experience
How to Apply:
Submit your application through this link:
https://airtable.com/appfCDlkorF5FL3VZ/pagnjuRX1A7gZjBGc/form
Additional Information:
This program is designed to take the guesswork out of breaking into venture capital or professionalizing angel investing. Successful Fellows may have opportunities to advance into Venture Partner or Core Contributor roles at Iron Key.
Location: Remote (Global)
About Iron Key Capital:
Iron Key Capital is an investment firm specializing in liquid and venture opportunities in the crypto space. We invest in pre-seed and seed-stage Web3 startups focused on enterprise adoption of utility-driven digital assets. Additionally, we operate a blockchain innovation lab and incubate startups within the Web3 infrastructure sector. Backed by 200+ LPs globally, Iron Key deploys over $1M annually.
Role Overview:
The Venture Fellow program is an 8-week, part-time, remote opportunity designed for individuals eager to develop their skills in venture capital and angel investing. Fellows will gain hands-on experience in early-stage investing, including deal sourcing, due diligence, and pitching investment opportunities.
This program is ideal for aspiring investors, founders, or professionals exploring a career shift into venture capital. Fellows will work closely with seasoned venture capitalists and gain access to Iron Key’s investor community to learn best practices in the field.
Key Responsibilities:
Identify and evaluate early-stage investment opportunities in the Web3 ecosystem.
Conduct market research and due diligence on potential investments.
Collaborate with the Iron Key team on deal sourcing and portfolio management.
Engage with investors and team members to develop investment strategies.
Contribute to thought leadership on topics related to venture capital and Web3 innovation.
Qualifications:
Strong analytical and problem-solving skills to evaluate investment opportunities.
Excellent communication and interpersonal skills for engaging with team members and stakeholders.
Experience in Web3, AI, or related technologies is preferred.
Involvement in startups, entrepreneurial ecosystems, or Web3 communities is a plus.
Aspiring to transition into venture capital or professionalize angel investing skills.
Bonus: Previous experience as a founder or working within early-stage startups.
Program Details:
Duration: 8 weeks (part-time)
Location: Remote
Compensation: Competitive, based on experience
How to Apply:
Submit your application through this link:
https://airtable.com/appfCDlkorF5FL3VZ/pagnjuRX1A7gZjBGc/form
Additional Information:
This program is designed to take the guesswork out of breaking into venture capital or professionalizing angel investing. Successful Fellows may have opportunities to advance into Venture Partner or Core Contributor roles at Iron Key.
Iron Key Capital
Venture Analyst
Full time
Remote
Venture Analyst (Part-Time, Remote) - Iron Key Capital
Location: Remote (Global)
About Iron Key Capital:
Iron Key Capital is an investment firm specializing in liquid and venture opportunities in the crypto space. We invest in pre-seed and seed-stage Web3 startups focused on enterprise adoption of utility-driven digital assets. Additionally, we operate a blockchain innovation lab and incubate startups within the Web3 infrastructure sector. Backed by 200+ LPs globally, Iron Key deploys over $1M annually.
Role Overview:
The Venture Analyst is an 8-week, part-time, remote opportunity designed for individuals eager to develop their skills in venture capital and angel investing. Fellows will gain hands-on experience in early-stage investing, including deal sourcing, due diligence, and pitching investment opportunities.
This program is ideal for aspiring investors, founders, or professionals exploring a career shift into venture capital. Fellows will work closely with seasoned venture capitalists and gain access to Iron Key’s investor community to learn best practices in the field.
Key Responsibilities:
Identify and evaluate early-stage investment opportunities in the Web3 ecosystem.
Conduct market research and due diligence on potential investments.
Collaborate with the Iron Key team on deal sourcing and portfolio management.
Engage with investors and team members to develop investment strategies.
Contribute to thought leadership on topics related to venture capital and Web3 innovation.
Qualifications:
Strong analytical and problem-solving skills to evaluate investment opportunities.
Excellent communication and interpersonal skills for engaging with team members and stakeholders.
Experience in Web3, AI, or related technologies is preferred.
Involvement in startups, entrepreneurial ecosystems, or Web3 communities is a plus.
Aspiring to transition into venture capital or professionalize angel investing skills.
Bonus: Previous experience as a founder or working within early-stage startups.
Program Details:
Duration: 8 weeks (part-time)
Location: Remote
Compensation: Competitive, based on experience
How to Apply:
Submit your application through this link:
https://airtable.com/appfCDlkorF5FL3VZ/pagnjuRX1A7gZjBGc/form
Additional Information:
This program is designed to take the guesswork out of breaking into venture capital or professionalizing angel investing. Successful Fellows may have opportunities to advance into Venture Partner or Core Contributor roles at Iron Key.
Location: Remote (Global)
About Iron Key Capital:
Iron Key Capital is an investment firm specializing in liquid and venture opportunities in the crypto space. We invest in pre-seed and seed-stage Web3 startups focused on enterprise adoption of utility-driven digital assets. Additionally, we operate a blockchain innovation lab and incubate startups within the Web3 infrastructure sector. Backed by 200+ LPs globally, Iron Key deploys over $1M annually.
Role Overview:
The Venture Analyst is an 8-week, part-time, remote opportunity designed for individuals eager to develop their skills in venture capital and angel investing. Fellows will gain hands-on experience in early-stage investing, including deal sourcing, due diligence, and pitching investment opportunities.
This program is ideal for aspiring investors, founders, or professionals exploring a career shift into venture capital. Fellows will work closely with seasoned venture capitalists and gain access to Iron Key’s investor community to learn best practices in the field.
Key Responsibilities:
Identify and evaluate early-stage investment opportunities in the Web3 ecosystem.
Conduct market research and due diligence on potential investments.
Collaborate with the Iron Key team on deal sourcing and portfolio management.
Engage with investors and team members to develop investment strategies.
Contribute to thought leadership on topics related to venture capital and Web3 innovation.
Qualifications:
Strong analytical and problem-solving skills to evaluate investment opportunities.
Excellent communication and interpersonal skills for engaging with team members and stakeholders.
Experience in Web3, AI, or related technologies is preferred.
Involvement in startups, entrepreneurial ecosystems, or Web3 communities is a plus.
Aspiring to transition into venture capital or professionalize angel investing skills.
Bonus: Previous experience as a founder or working within early-stage startups.
Program Details:
Duration: 8 weeks (part-time)
Location: Remote
Compensation: Competitive, based on experience
How to Apply:
Submit your application through this link:
https://airtable.com/appfCDlkorF5FL3VZ/pagnjuRX1A7gZjBGc/form
Additional Information:
This program is designed to take the guesswork out of breaking into venture capital or professionalizing angel investing. Successful Fellows may have opportunities to advance into Venture Partner or Core Contributor roles at Iron Key.
Iron Key Capital
Venture Fellow
Full time
Remote
Venture Fellow (Part-Time, Remote) - Iron Key Capital
Location: Remote (Global)
About Iron Key Capital:
Iron Key Capital is an investment firm specializing in liquid and venture opportunities in the crypto space. We invest in pre-seed and seed-stage Web3 startups focused on enterprise adoption of utility-driven digital assets. Additionally, we operate a blockchain innovation lab and incubate startups within the Web3 infrastructure sector. Backed by 200+ LPs globally, Iron Key deploys over $1M annually.
Role Overview:
The Venture Fellow program is an 8-week, part-time, remote opportunity designed for individuals eager to develop their skills in venture capital and angel investing. Fellows will gain hands-on experience in early-stage investing, including deal sourcing, due diligence, and pitching investment opportunities.
This program is ideal for aspiring investors, founders, or professionals exploring a career shift into venture capital. Fellows will work closely with seasoned venture capitalists and gain access to Iron Key’s investor community to learn best practices in the field.
Key Responsibilities:
Identify and evaluate early-stage investment opportunities in the Web3 ecosystem.
Conduct market research and due diligence on potential investments.
Collaborate with the Iron Key team on deal sourcing and portfolio management.
Engage with investors and team members to develop investment strategies.
Contribute to thought leadership on topics related to venture capital and Web3 innovation.
Qualifications:
Strong analytical and problem-solving skills to evaluate investment opportunities.
Excellent communication and interpersonal skills for engaging with team members and stakeholders.
Experience in Web3, AI, or related technologies is preferred.
Involvement in startups, entrepreneurial ecosystems, or Web3 communities is a plus.
Aspiring to transition into venture capital or professionalize angel investing skills.
Bonus: Previous experience as a founder or working within early-stage startups.
Program Details:
Duration: 8 weeks (part-time)
Location: Remote
Compensation: Competitive, based on experience
How to Apply:
Submit your application through humaira@ironkeycapital.com
Additional Information:
This program is designed to take the guesswork out of breaking into venture capital or professionalizing angel investing. Successful Fellows may have opportunities to advance into Venture Partner or Core Contributor roles at Iron Key.
Location: Remote (Global)
About Iron Key Capital:
Iron Key Capital is an investment firm specializing in liquid and venture opportunities in the crypto space. We invest in pre-seed and seed-stage Web3 startups focused on enterprise adoption of utility-driven digital assets. Additionally, we operate a blockchain innovation lab and incubate startups within the Web3 infrastructure sector. Backed by 200+ LPs globally, Iron Key deploys over $1M annually.
Role Overview:
The Venture Fellow program is an 8-week, part-time, remote opportunity designed for individuals eager to develop their skills in venture capital and angel investing. Fellows will gain hands-on experience in early-stage investing, including deal sourcing, due diligence, and pitching investment opportunities.
This program is ideal for aspiring investors, founders, or professionals exploring a career shift into venture capital. Fellows will work closely with seasoned venture capitalists and gain access to Iron Key’s investor community to learn best practices in the field.
Key Responsibilities:
Identify and evaluate early-stage investment opportunities in the Web3 ecosystem.
Conduct market research and due diligence on potential investments.
Collaborate with the Iron Key team on deal sourcing and portfolio management.
Engage with investors and team members to develop investment strategies.
Contribute to thought leadership on topics related to venture capital and Web3 innovation.
Qualifications:
Strong analytical and problem-solving skills to evaluate investment opportunities.
Excellent communication and interpersonal skills for engaging with team members and stakeholders.
Experience in Web3, AI, or related technologies is preferred.
Involvement in startups, entrepreneurial ecosystems, or Web3 communities is a plus.
Aspiring to transition into venture capital or professionalize angel investing skills.
Bonus: Previous experience as a founder or working within early-stage startups.
Program Details:
Duration: 8 weeks (part-time)
Location: Remote
Compensation: Competitive, based on experience
How to Apply:
Submit your application through humaira@ironkeycapital.com
Additional Information:
This program is designed to take the guesswork out of breaking into venture capital or professionalizing angel investing. Successful Fellows may have opportunities to advance into Venture Partner or Core Contributor roles at Iron Key.
Iron Key Capital
Entrepreneur in Residence (EIR) – Crypto, Web3 & AI
Full time
Remote
Entrepreneur in Residence (EIR) – Crypto, Web3 & AI
📍 Remote | 3-Month Contract
🚀 About Iron Key & Iron Key Capital
Iron Key, backed by Iron Key Capital, is a venture community and investment firm focused on liquid and venture opportunities in crypto, Web3, and AI. Our mission is to invest in and support Pre-Seed and Seed-stage startups, equipping founders and investors with the tools and knowledge they need to succeed.
We operate a blockchain innovation lab and incubate startups in venture infrastructure, fintech, IP ownership, and application development. Iron Key Capital is backed by 200+ global LPs, deploying $1M+ annually into emerging opportunities.
📢 The Opportunity: Entrepreneur in Residence (EIR)
We are seeking a technical co-founder or EIR to help bring a newly incubated venture infrastructure product to market. This is a 3-month remote contract role, ideal for builders with Web3 and AI experience who want to launch a company with hands-on support.
Iron Key has developed proprietary AI tools for internal workflows and is exploring opportunities to externalize these as software-based consulting services or standalone software products. As an EIR, you’ll play a critical role in shaping, launching, and scaling these innovations.
🔹 Key Responsibilities
Lead Startup Development – Take an incubated idea from concept to market launch.
Drive Innovation – Bring your own venture idea or work on an existing Iron Key product.
Strategic Execution – Develop and implement growth strategies.
Hands-on AI & Web3 Work – Build and iterate on cutting-edge solutions in AI and blockchain.
Leverage Resources – Work alongside investors, advisors, and a global network to accelerate your startup.
🎯 What We’re Looking For
Proven entrepreneurial experience – Ideally, you’ve built a startup before (even if it failed).
Deep Web3 or AI expertise – Hands-on experience in AI, blockchain, or fintech is a must.
Strong problem-solving mindset – Ability to pivot, adapt, and execute in fast-changing environments.
Leadership & Vision – You’re a self-starter who can drive a business forward.
🔥 Why Join Iron Key?
Founder-Centric Program – Hands-on support to launch a company.
Unmatched Network – Access to top investors, mentors, and builders in crypto and AI.
Long-Term Value – Lifetime membership in the Iron Key community & alumni network.
Fundraising Support – Get exposure to global investors and funding opportunities.
📩 Apply Now
If you're ready to build and scale a new venture, apply here:
👉 https://airtable.com/appfCDlkorF5FL3VZ/paggWhwbIDwnmlzlK/form
📍 Remote | 3-Month Contract
🚀 About Iron Key & Iron Key Capital
Iron Key, backed by Iron Key Capital, is a venture community and investment firm focused on liquid and venture opportunities in crypto, Web3, and AI. Our mission is to invest in and support Pre-Seed and Seed-stage startups, equipping founders and investors with the tools and knowledge they need to succeed.
We operate a blockchain innovation lab and incubate startups in venture infrastructure, fintech, IP ownership, and application development. Iron Key Capital is backed by 200+ global LPs, deploying $1M+ annually into emerging opportunities.
📢 The Opportunity: Entrepreneur in Residence (EIR)
We are seeking a technical co-founder or EIR to help bring a newly incubated venture infrastructure product to market. This is a 3-month remote contract role, ideal for builders with Web3 and AI experience who want to launch a company with hands-on support.
Iron Key has developed proprietary AI tools for internal workflows and is exploring opportunities to externalize these as software-based consulting services or standalone software products. As an EIR, you’ll play a critical role in shaping, launching, and scaling these innovations.
🔹 Key Responsibilities
Lead Startup Development – Take an incubated idea from concept to market launch.
Drive Innovation – Bring your own venture idea or work on an existing Iron Key product.
Strategic Execution – Develop and implement growth strategies.
Hands-on AI & Web3 Work – Build and iterate on cutting-edge solutions in AI and blockchain.
Leverage Resources – Work alongside investors, advisors, and a global network to accelerate your startup.
🎯 What We’re Looking For
Proven entrepreneurial experience – Ideally, you’ve built a startup before (even if it failed).
Deep Web3 or AI expertise – Hands-on experience in AI, blockchain, or fintech is a must.
Strong problem-solving mindset – Ability to pivot, adapt, and execute in fast-changing environments.
Leadership & Vision – You’re a self-starter who can drive a business forward.
🔥 Why Join Iron Key?
Founder-Centric Program – Hands-on support to launch a company.
Unmatched Network – Access to top investors, mentors, and builders in crypto and AI.
Long-Term Value – Lifetime membership in the Iron Key community & alumni network.
Fundraising Support – Get exposure to global investors and funding opportunities.
📩 Apply Now
If you're ready to build and scale a new venture, apply here:
👉 https://airtable.com/appfCDlkorF5FL3VZ/paggWhwbIDwnmlzlK/form