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.
Listing Business Development Manager (Crypto, Japanese Speaking)
Bitcastle is a cryptocurrency exchange platform which aims to create a new age of exchange where everyone can use it safely and have fun. As we expand and take a more active approach to global expansion, bitcastle is looking to hire a Full-Time Listing Business Development to drive growth by leading end-to-end sales initiatives and strategic collaborations in the blockchain and crypto sector, while coordinating cross-functional teams and staying ahead of market trends through continuous research and industry engagement.
About the Role:
- Identify new business opportunities, expand and execute strategic partnerships
- Look for new listing sales opportunities in Blockchain and crypto space
- Manage the listing sales pipeline, from researching, sourcing, contacting, negotiating, converting and following up with clients
- Liase and coordinate with marketing, product, customer support and operations teams to ensure smooth delivery of products
- Assess and monitor key indicators of cryptocurrency projects and evaluating the effectiveness of partnership and campaign initiatives
- Monitor market trends and conducting R&D in the cryptocurrency market
- Participate in overseas exhibitions and events as required and network with potential business partners
Requirements:
Business level Japanese proficiency
Minimum 1 year of BD/sales experience in crypto/blockchain space
Familiar with cryptocurrency or blockchain technology
Experience in managing a team
Experience in crypto coins listing or general business development experience in the crypto industry
Capabilities of develop global customer relationships independently
Good relationship with team and cross functional communication skill
Ideal Candidate:
Have a good sense of cooperation and working with a team
Able to act independently and proactively
Experience in customer negotiation
Listing Business Development
Bitcastle is a cryptocurrency exchange platform which aims to create a new age of exchange where everyone can use it safely and have fun. As we expand and take a more active approach to global expansion, bitcastle is looking to hire a Full-Time Listing Business Development to drive growth by leading end-to-end sales initiatives and strategic collaborations in the blockchain and crypto sector, while coordinating cross-functional teams and staying ahead of market trends through continuous research and industry engagement.
About the Role:
- Identify new business opportunities, expand and execute strategic partnerships
- Look for new listing sales opportunities in Blockchain and crypto space
- Manage the listing sales pipeline, from researching, sourcing, contacting, negotiating, converting and following up with clients
- Liase and coordinate with marketing, product, customer support and operations teams to ensure smooth delivery of products
- Assess and monitor key indicators of cryptocurrency projects and evaluating the effectiveness of partnership and campaign initiatives
- Monitor market trends and conducting R&D in the cryptocurrency market
- Participate in overseas exhibitions and events as required and network with potential business partners
Requirements:
- Business level English
- Minimum 1 year of BD/sales experience in crypto/blockchain space
- Familiar with cryptocurrency or blockchain technology
- Capabilities of develop global customer relationships independently
- Good relationship with team and cross functional communication skill
- Fast learner, hard worker and team player
Ideal Candidate:
- Have a good sense of cooperation and working with a team
-Able to act independently and proactively
- Experience in customer negotiation
- Business level Japanese
Chief Technology Officer (Japanese Speaking)
Bitcastle is a cryptocurrency exchange platform which aims to create a new age of exchange where everyone can use it safely and have fun. As we expand and take a more active approach to global expansion, bitcastle is looking to hire a Full-Time Japanese speaking Chief Technology Officer to lead our engineering team.As frequent communication with Japan and Vietnam entities is required, this role will require Japanese language proficiency and will be fully remote at the moment.
– Formulate strategy and establish the technical vision for the business
– Preparation of specifications and design documents for product development
– Project management of the development process, including quality control
– Define and refine engineering workflows, tech architecture and infrastructure
– Build, develop, lead a world class engineering team
Requirements:
– Experience as a CTO or in a similar technology leadership role in cryptocurrency exchanges or brokerage firms.
– Strong leadership capabilities – with proven success of building, developing and leading an engineering team
– Experience in development using Python, PHP and NodeJS
– Project management experience
– Business level English
– Business level Japanese language skills (JLPT N2 and above) to communicate with Japan and Vietnam entity without need for translator
Ideal Candidate:
– Has project management experience
– Has experience as CTO or similar role in a startup
– Knowledge and interest in cryptocurrency
Project Frameworks and Languages:
– Backend: nestJS(Node JS), Laravel (PHP),Python
– Database: Redis, My SQL
– Frontend: Vue JS
– Mobile: React Native, Android Native, Swift
– DevOps: Git, CI/CD, Docker, Jenkins, GitLabCD
– Cloud: AWS
Korean Growth Lead
KOL Business Development
Bitcastle is a cryptocurrency exchange platform which aims to create a new age of exchange where everyone can use it safely and have fun. As we expand and take a more active approach to global expansion, bitcastle is looking to hire a Full-Time KOL Business Development to join our team.
About the Role
We are seeking a dynamic and results-driven KOL Business Development to drive user growth and enhance brand visibility for our exchange. In this role, you will be responsible for identifying, engaging, and nurturing relationships with local KOLs, influencers, communities, projects, and strategic partners to promote our platform.
- Identify and build relationships with local KOLs/influencers/, communities, projects, and other potential partners to promote the exchange in order to achieve user growth.
- As a representative of the exchange, to build and maintain a good relationship with KOLs and marketing channels to achieve long-term partnership
- Be responsible for the execution and performance of KOL marketing strategy, track and analyze results, and make adjustments to ensure optimal performance and maximum ROI.
- Stay updated with local industry developments trends, conduct market research and create strategies when required
- Attend events as a representative of the exchange when required, expand network and bring in more leads for the exchange
Requirements:
- Experience as KOL BD in similar companies/markets
- Understanding of cryptocurrency
- Fluent in English
Preferred Qualification:
- Japanese speaking proficiency