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.
Prop Trader (Crypto Market) Ligo Network
As a Proprietary Trader at Ligo Network, you’ll leverage your deep understanding of crypto markets, meme ecosystems, and DeFi protocols to generate alpha and execute high-frequency, high-reward strategies. This role is designed for fearless traders who thrive in fast-paced environments and possess an uncanny ability to spot trends before they go viral.
Key Responsibilities
Develop and deploy proprietary trading strategies across decentralized exchanges (DEXs), meme coins, and emerging Web3 assets.
Execute high-frequency trades with precision, capitalizing on market inefficiencies and volatility.
Analyze on-chain data, social sentiment, and macroeconomic trends to identify alpha opportunities.
Manage risk dynamically while optimizing portfolio performance in rapidly shifting markets.
Collaborate with Flappy DAO’s network of elite traders to share insights and refine collective strategies.
Stay ahead of the curve by exploring new protocols, airdrops, and meta shifts in the crypto landscape.
Who We’re Looking For
✅ Proven experience in crypto trading, with a track record of profitability in meme coins, altcoins, or derivatives.
✅ Deep expertise in Web3 ecosystems (DeFi, NFTs, DAOs) and familiarity with tools like DexScreener, DeFiLlama, and Telegram alpha groups.
✅ Meme coin savant: Ability to decode viral trends, community narratives, and hype cycles.
✅ Risk management mastery: Discipline to balance aggressive plays with capital preservation.
✅ Technical edge: Proficiency in trading bots, on-chain analytics, and smart contract interactions.
✅ Entrepreneurial mindset: Self-driven, adaptable, and hungry to innovate in a decentralized world.
Why Join Ligo Network?
Access to exclusive alpha: Tap into insider insights, early-stage projects, and proprietary tools.
Elite network: Collaborate with top-tier traders and crypto OGs shaping the future of finance.
Cutting-edge resources: Leverage advanced analytics, AI-driven signals, and decentralized infrastructure.
Competitive compensation: Earn performance-based rewards with uncapped upside.
Shape Web3: Be at the forefront of DeFi innovation and meme-driven market movements.
Looking to hire a SPOT trader see more for details
SPOT TRADING ONLY
1% to 2% maximum take profit
3 minimum to 4 signals per day
Only deal with well-known coins btc, eth, xrp, bitcoin cash, etc
If 100%-win rate per month monthly salary $1000
Send signals via WhatsApp
Please send your CV qualifications and win rate!
Community Operation
Manage and maintain core community platforms (such as Telegram, X.com, TikTok, LINE, etc.) by publishing accurate and engaging original content, including announcements, tutorials, user stories, etc., to expand brand influence.
Develop and implement community guidelines, maintain a positive atmosphere, and handle disputes. Respond to community members' questions in a timely manner and provide basic support.
Plan and execute community-exclusive activities (AMAs, Q&As, game nights, creative competitions, online/offline meetups).
Build a self-sustaining fan community, encouraging user-generated content and peer-to-peer interactions.
Create segmented channels or communication mechanisms for different user groups (fans, creators, developers, investors). Act as a communication bridge between the community and project teams (product, technical, marketing), conveying the voice of the community.
Reward community contributions within the community using methods such as airdrops, point systems, and other incentives, in line with the marketing strategy, to encourage token holders to actively participate in the project .
Establish partnerships with core Web3 communities and develop a clear partnership framework, detailing resource sharing, event support, and mutual incentive policies.Utilize analytics tools to continuously optimize community engagement strategies based on user feedback and interaction data.
Requirements:
Bachelor's degree or above, with 1-3 years of experience in community operations or social media management. Experience with Web3 or blockchain projects is preferred.
Excellent written and verbal communication skills in both Chinese and English, capable of effectively conveying project information.Possess a certain level of creativity and editing skills, able to independently write or assist in producing related copy, images, and video materials.
Demonstrate excellent organizational and coordination abilities, capable of operating efficiently in a fast-paced and dynamically changing work environment.
Exhibit strong team collaboration spirit, proactive attitude, and the ability to independently solve problems and drive project progress.
Key Points:
Work Format: This position is full-time remote with a decentralized work model. The candidate must possess strong time management skills to ensure timely responses and efficient collaboration during working hours.
Communication and Collaboration: Communication will primarily be conducted online, with the option for in-person meetings if necessary.
Holiday Arrangement: Holidays will generally follow China's official public holiday schedule. However, due to international collaboration, it is essential to maintain basic communication during holidays to ensure that work is not affected.
Head of Automated Trading
KOL BD (English regoin, Iran, Spain, Korea, Japan, Taiwan...)
Job type: Full-time, remote
Key Responsibilities:
1. Develop and execute strategies to grow the derivatives trading user base in target regions.
2. Build and manage partnerships with institutional clients and key ecosystem players.
3. Identify market trends, user needs, and competitor activities to drive product and service enhancements.
4. Collaborate with internal teams to optimize product offerings and campaigns for target markets.
Qualifications:
1. Proven experience in business development or sales in the crypto/financial industry.
2. Strong understanding of derivatives trading and market dynamics.
3. Excellent communication and negotiation skills.