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.
Marketing outreach manager
Backend Developer
GP Vote is an innovative startup dedicated to transforming the democratic process through a cutting-edge voting platform integrated with blockchain technology. Our mission is to empower individuals to voice their opinions and shape collective decisions in a secure and transparent environment. We believe that every voice matters, and our platform fosters inclusivity by allowing users to propose titles and suggestions.
We are seeking a talented Frontend Developer with a strong background in React and TypeScript. The ideal candidate will have experience in Web3 and blockchain technologies, enabling them to contribute to our mission of delivering high-quality digital products.
Key Responsibilities:
Lead the migration of our backend systems from Express.js to ASP.NET.
Design, develop, and maintain scalable and secure backend services.
Collaborate with front-end developers to integrate user-facing elements using server-side logic.
Implement data storage solutions and ensure data integrity.
Develop and maintain APIs for mobile and web applications.
Optimize applications for maximum speed and scalability.
Monitor and troubleshoot issues in the production environment.
Stay updated with emerging technologies and trends in backend development, Web3, and Blockchain.
Required Qualifications:
Proven experience as a Backend Developer or similar role.
Strong proficiency in ASP.NET and C#.
Deep knowledge of backend development principles and best practices.
Proficient in database management (SQL, NoSQL).
Understanding of RESTful APIs and microservices architecture.
Experience with version control systems (e.g., Git).
Preferred Qualifications:
Experience with Web3 technologies (e.g., Ethereum, smart contracts).
Familiarity with Blockchain concepts and decentralized applications (dApps).
Knowledge of containerization technologies (Docker, Kubernetes).
Familiarity with CI/CD pipelines and DevOps practices.
Understanding of security best practices in backend development.
Benefits:
Competitive salary and performance-based bonuses.
Flexible working hours and remote work options.
Generous vacation policy and paid time off.
Health, dental, and vision insurance.
Professional development opportunities and access to online courses.
Collaborative and inclusive company culture.
Opportunities to work on cutting-edge technology in the Web3 and Blockchain space.
Team-building activities and company retreats.
How to Apply:
If you are excited about the opportunity to work with a forward-thinking company and have the skills we’re looking for, please send your resume and a cover letter to larry@everyvote.xyz.
Join us in shaping the future of voting technology!
Operations Director
Leveraging the power of advanced blockchain technology, Wallet delivers a seamless onboarding experience into the crypto ecosystem. It enables users to effortlessly store, send, and receive digital currencies, all via the familiar interface of Telegram. Managing your finances becomes as simple as sending a message.
At Wallet, we're committed to using technology to disrupt traditional banking systems, providing our customers with more flexible and inclusive financial services. Whether you're a crypto novice or seeking to simplify your digital finance experience, Wallet is crafted with your needs in mind.
We are seeking to hire an individual with a proven track record to lead, drive, and coordinate the efforts of the Wallet operating team. This role will also serve as the reporting and execution bridge—the “glue”—between all key stakeholders and teams that drive our business, including operations, finance, legal, compliance, customer support, and marketing.
Responsibilities:
Maintain and direct the daily operations of the company, coordinating with HR, legal, compliance, marketing, finance, and other departments, as well as intra-group or external outsourcing. Find a balance between business/product goals and legal/compliance/risk requirements.
Collaborate with the COO, CEO, and other executives to contribute to the development of the company’s overall strategy, ensuring the execution of business strategies and plans.
Engage with banks and other financial and crypto institutions, representing the company on various topics before banking partners and regulators. Foster collaboration and establish partnerships with financial and crypto institutions.
Participate in the creation of procurement policies, negotiate contracts with vendors and suppliers, and reduce unnecessary expenditures or underutilized resources.
Assess risks associated with the company’s business activities, participate in the development of a company-wide risk management strategy alongside other teams, and ensure compliance with regulations and industry standards.
Share knowledge and, where appropriate, mentor team members. Support the company in recruitment, retention, team development, performance management, and advising on promotions.
Organize and lead the opening of new company offices or business units across various jurisdictions, handling the full setup process from A to Z.
Requirements:
Solid understanding of cryptocurrency and experience working in a crypto business (VASP/regulated environment).
Experience in payments, electronic money, or financial services/crypto business operations. Risk and compliance experience in the financial/crypto industry is highly valued.
Proven track record as a head of operations or operations manager.
Demonstrated ability to “get the job done.”
Exceptional organizational and teamwork skills, critical thinking, and multitasking abilities. Capable of managing multiple projects and deadlines in a fast-paced, high-output professional environment.
Ability to work effectively with limited resources. Strong skills in coordinating and uniting teams, while also working independently without a large supporting team.
Why it is a fantastic opportunity
Our business is growing at an exponential scale.
Work in a well-funded startup environment with unique growth opportunities and a chance to join a rapidly growing company with a unique product.
Be based remotely.
Participation in the performance review and bonus programme.
Compensation for medical expenses.
Provision of necessary equipment.
Annual vacation of 20 working days plus 10 paid days off.
14 days of paid sick leave to support your health and recovery when needed.
Access to internal English courses for continuous learning and improvement in language skills.
Wallet is an equal opportunity employer.
Blockchain Trader
Responsibilities:
- Stay informed about trends and developments in the blockchain and crypto markets
- Analyze market data and make informed trading decisions
- Execute trades efficiently and accurately
- Manage digital asset portfolios effectively
- Monitor market fluctuations and adjust trading strategies as needed
- Collaborate with team members to optimize trading processes
Requirements:
- Proficiency in blockchain technology and cryptocurrencies
- Previous experience in trading digital assets
- Strong analytical and decision-making skills
- Excellent communication and teamwork abilities
- Ability to work well under pressure and in a fast-paced environment
- Knowledge of risk management and trading strategies
If you are passionate about blockchain and crypto trading and possess the necessary skills and experience, we would love to hear from you. Join our team and be part of the exciting world of blockchain trading!
Front End Engineer
Responsibilities:
- Develop user-friendly interfaces for web and mobile applications using the latest technologies and industry best practices.
- Collaborate with back-end developers to integrate front end components with server-side logic.
- Optimize applications for maximum speed and scalability.
- Ensure the technical feasibility of UI/UX designs.
- Stay updated on emerging trends and technologies in front end development.
Requirements:
- Proven experience as a Front End Engineer or similar role.
- Strong proficiency in Blockchain & Crypto technology.
- Extensive knowledge of Web, Mobile & Software Development.
- Proficiency with front end languages such as HTML, CSS, JavaScript.
- Experience with frameworks such as React, Angular, Vue.js.
- Familiarity with RESTful APIs.
- Excellent problem-solving skills and attention to detail.
- Strong communication and teamwork skills.
If you are passionate about front end development and have a keen interest in Blockchain & Crypto technology, we invite you to join our dynamic team and contribute to driving innovation in the industry.