\nAbout Aztec\n\nAt Aztec, our goal is to take the original promise of Ethereum–a decentralized and verifiable world computer–and expand its capability immensely by making it fully encrypted.\n\nIn the current public blockchain paradigm, users and entities unknowingly broadcast data in the public, compromising privacy and security to get trustlessness.\n\nNot only are unencrypted blockchains inherently privacy-exposing, they require significant redundancy to compute and verify the legitimacy of transactions.\n\nImplementing scalable encryption in a public blockchain paradigm requires cutting-edge math and engineering. Thankfully, our team of scientists and engineers invented Plonk, the industry-standard zkSNARK, and Noir, the universal language of zero knowledge.\n\nNow, we’re building a first of its kind public-private encrypted blockchain: Ethereum, encrypted. And it’s now time to bring it to market.\n\nWe’ve raised $125 million from industry-leading investors including a16z crypto, Paradigm, Variant, Consensys, and a_capital, and we’re growing quickly.\n\n Role\n\nWe are looking for an applied cryptographer or a cybersecurity professional with love for applied cryptography, and with experience in auditing and breaking cryptographic protocols, to explore and secure our proving system stack. In this role you will be required to dive deep into the Zero Knowledge proving systems’ code, find bugs and potential issues, and create tooling to automate security checks. You will also be required to write specifications for these systems to assist external auditors\n\nRequired Experience\n\n\n* Security experience in a software eng context (≥ 3 years)\n\n* Industry (or large-project academic) programming experience in a low-level language (e.g., Rust or C++)\n\n* Familiarity with applied cryptography and discrete mathematics (fields, elliptic curves)\n\n* Excellent written and verbal communication skills on technical topics\n\n* Participation in CTFs in a cryptography role a plus\n\n\n\nWhat we offer:\n\n\n* Flexible and remote work environment\n\n* 25 days holiday + bank holidays annually\n\n* Additional benefits include health insurance, retirement plans, and opportunities for professional development.\n\n* Quarterly offsite travel for collaboration \n\n* Events and conference budget\n\n* An opportunity to work at the cutting edge of blockchain and FinTech with a world class cryptography and engineering team\n\n\n\n\nAztec Labs is an equal opportunity employer and we value creativity, diversity, and intellectual curiosity. If you're passionate about leveraging your creative talents to make a real-world impact, and if you want to be part of a team that's shaping the future of digital privacy, then we would love to hear from you.\n \n\n#Salary and compensation\n No salary data published by company so we estimated salary based on similar jobs related to Travel and Engineer jobs that are similar:\n\n $107,500 — $160,000/year\n
\n\n#Benefits\n 💰 401(k)\n\n🌎 Distributed team\n\n⏰ Async\n\n🤓 Vision insurance\n\n🦷 Dental insurance\n\n🚑 Medical insurance\n\n🏖 Unlimited vacation\n\n🏖 Paid time off\n\n📆 4 day workweek\n\n💰 401k matching\n\n🏔 Company retreats\n\n🏬 Coworking budget\n\n📚 Learning budget\n\n💪 Free gym membership\n\n🧘 Mental wellness budget\n\n🖥 Home office budget\n\n🥧 Pay in crypto\n\n🥸 Pseudonymous\n\n💰 Profit sharing\n\n💰 Equity compensation\n\n⬜️ No whiteboard interview\n\n👀 No monitoring system\n\n🚫 No politics at work\n\n🎅 We hire old (and young)\n\n
\n\n#Location\nWorldwide

\nAbout the Lean Focused Research Organization (FRO):\n\n\nThe Lean Focused Research Organization (FRO) is committed to revolutionizing how Lean, a proof assistant and programming language, is utilized across various sectors. We aim to make Lean a cornerstone in formal mathematics, software and hardware verification, software development, AI in mathematics and code synthesis, and new educational methodologies in math and computer science. Our goal is to cultivate a dynamic, decentralized ecosystem that thrives on diversity and collaboration, engages with a global community, and fosters open-source contributions. \n\n\nWe are seeking a talented and motivated Principal Research Software Engineer to join our team at the Lean FRO. As a Principal Research Software Engineer, you will play a crucial role in developing and enhancing Lean, collaborating with leading mathematicians and computer scientists worldwide, and contributing to the FRO’s long-term sustainability and success. You will have the opportunity to contribute to groundbreaking research, create innovative solutions, and shape the future of formal verification.\n\n\n\nResponsibilities:\n* Develop and lead efforts to improve Lean, including proof automation, standard libraries, and overall ecosystem.\n* Engage with external researchers interested in Lean to help resolve their issues and identify improvements for long-term success with Lean.\n* Collaborate with people across the Lean FRO to help set strategic and short-term priorities and uphold a consistently exceptional quality bar for usability, scalability, and simplicity.\n* Solve hard scalability problems that arise as the Lean ecosystem grows in size and complexity.\n* Optimize Lean's performance and scalability for efficient theorem proving.\n* Conduct code reviews, provide constructive feedback, and maintain code quality standards.\n* Stay up to date with the latest advancements in formal methods and theorem proving techniques.\n* Actively engage in the open-source community; understand key trends and proactively recommend solutions, identify user needs, respond to feedback, and address bug reports. \n* Act as an ambassador for Lean FRO. This may include presenting talks, participating in academic conferences or workshops, contributing to papers and articles, and other activities that promote Lean’s continuous improvement and growth. \n\n\n\nRequirements: \n* Bachelor's, master's, or Ph.D. in Computer Science, Mathematics, or a related field. \n* Strong functional programming skills (experience in Lean is a big plus).\n* Familiarity with formal methods, interactive theorem provers, or related areas.\n* Experience with software development practices such as version control, code testing, and debugging.\n* Excellent problem-solving skills and ability to think critically.\n* Strong written and verbal communication skills.\n* Self-motivated and able to work both independently and in a team environment.\n* Passion for mathematics, formal methods, and the advancement of scientific research.\n* Through actions, interactions, and communications with others, demonstrate a commitment to diversity, inclusion, and cultural awareness.\n\n\n\nPreferred Qualifications: \n* Experience contributing to open-source projects.\n* Knowledge of mathematical logic, type theory, or related areas.\n* Familiarity with other interactive theorem provers such as Coq, Isabelle, or Agda.\n* Background in mathematical research or proof theory.\n\n\n\nWe Offer: \n* A competitive salary and comprehensive benefits package.\n* An opportunity to change the world and work with some of the smartest and most talented experts from different fields.\n* Excellent medical, dental, and vision insurance through a PPO plan; parental leave.\n* Generous time off and paid holidays.\n* Wellness allowance for fitness and wellness activities.\n\n\n\n\n$168,000 - $252,000 a yearThe salary range for this position considers numerous factors that impact compensation, including, but not limited to, experience, academic background, skill sets, specific domain expertise, and prior academic and industry contributions. This range has been established in the U.S. and has yet to be adjusted for geographical differences associated with the location where the candidate may be hired. \n\n\n\n\n\nWe aim to help fill a structural gap in today's R&D system. We enable fundamental research that requires unusual levels of scale and coordination yet is not rapidly monetizable by industry. We’re bringing together top talent from academia, industry, and startups to build a new model for innovative R&D. As an incubator within the Schmidt Futures Network, we identify high-impact scientific or technical research and development opportunities, ultimately defining and launching these projects as Focused Research Organizations.\n \nWe are an Equal Employment Opportunity employer that proudly pursues and hires a diverse workforce. We do not make hiring or employment decisions on the basis of race, color, religion or religious belief, ethnic or national origin, nationality, sex, gender, gender-identity, sexual orientation, disability, age, military or veteran status, or any other characteristic protected by applicable local, state, or federal law or company policy. We strive for a healthy and safe workplace and strictly prohibit harassment of any kind. \n\n#Salary and compensation\n No salary data published by company so we estimated salary based on similar jobs related to Engineer and Engineer jobs that are similar:\n\n $75,000 — $120,000/year\n
\n\n#Benefits\n 💰 401(k)\n\n🌎 Distributed team\n\n⏰ Async\n\n🤓 Vision insurance\n\n🦷 Dental insurance\n\n🚑 Medical insurance\n\n🏖 Unlimited vacation\n\n🏖 Paid time off\n\n📆 4 day workweek\n\n💰 401k matching\n\n🏔 Company retreats\n\n🏬 Coworking budget\n\n📚 Learning budget\n\n💪 Free gym membership\n\n🧘 Mental wellness budget\n\n🖥 Home office budget\n\n🥧 Pay in crypto\n\n🥸 Pseudonymous\n\n💰 Profit sharing\n\n💰 Equity compensation\n\n⬜️ No whiteboard interview\n\n👀 No monitoring system\n\n🚫 No politics at work\n\n🎅 We hire old (and young)\n\n
\n\n#Location\nRemote US

\nMysten Labs believes that decentralized and open protocols are the bedrock of the internet of value. This is why at Mysten Labs, we are creating foundational infrastructure to accelerate the adoption of decentralized protocols based on blockchain technologies.\n\nMysten Labs is looking for software engineer interns in blockchain cryptography with a focus in any of the following topics: Private NFTs, Anonymous Transactions, Key Loss Protection, Multi-Signatures and Zero Knowledge Proofs.\n\nSuccessful applicants will work closely with experts in both academia and industry experts, while enjoying a high degree of ownership & autonomy in working conditions & task prioritization.\n\nIdeal candidate expectations:\n- PhD or PostDoc researcher - or - engineer in cryptography, software security or distributed systems.\n- Understanding of fundamental cryptographic schemes & underlying math for any of the following: hash functions, finite field arithmetic, polynomials (FFT) & elliptic curves, bilinear pairings, threshold signatures.\n- Experience implementing high-performance & parallelizable protocols in languages such as Rust, Go, Java, or C/C++, and Github portfolio or productionized implementation will be a plus.\nOur team is remote first and we are hiring across the world. Here at Mysten Labs, you’ll be joining a world-class team with tremendous growth potential as we bring the next billion users to web3. We raised a $300M Series B round from top Silicon Valley led venture funds like Jump Crypto, Andreessen Horowitz (a16z), Binance Labs, Redpoint, Lightspeed, Coinbase Ventures, Electric Capital, Standard Crypto, NFX, Slow Ventures, Scribble Ventures, Samsung Next, Lux Capital, among other investment firms and strategic partners. Come join us and build the future of web3!\nCompensation Range: $8K - $10K \n\n#Salary and compensation\n No salary data published by company so we estimated salary based on similar jobs related to Engineer and Engineer jobs that are similar:\n\n $70,000 — $110,000/year\n
\n\n#Benefits\n 💰 401(k)\n\n🌎 Distributed team\n\n⏰ Async\n\n🤓 Vision insurance\n\n🦷 Dental insurance\n\n🚑 Medical insurance\n\n🏖 Unlimited vacation\n\n🏖 Paid time off\n\n📆 4 day workweek\n\n💰 401k matching\n\n🏔 Company retreats\n\n🏬 Coworking budget\n\n📚 Learning budget\n\n💪 Free gym membership\n\n🧘 Mental wellness budget\n\n🖥 Home office budget\n\n🥧 Pay in crypto\n\n🥸 Pseudonymous\n\n💰 Profit sharing\n\n💰 Equity compensation\n\n⬜️ No whiteboard interview\n\n👀 No monitoring system\n\n🚫 No politics at work\n\n🎅 We hire old (and young)\n\n
\n\n#Location\nUSA (Remote), Europe (Remote)

\nAbout Aztec\n\nAt Aztec, our goal is to take the original promise of Ethereum–a decentralized and verifiable world computer–and expand its capability immensely by making it fully encrypted.\n\nIn the current public blockchain paradigm, users and entities unknowingly broadcast data in the public, compromising privacy and security to get trustlessness.\n\nNot only are unencrypted blockchains inherently privacy-exposing, they require significant redundancy to compute and verify the legitimacy of transactions.\n\nImplementing scalable encryption in a public blockchain paradigm requires cutting-edge math and engineering. Thankfully, our team of scientists and engineers invented Plonk, the industry-standard zkSNARK, and Noir, the universal language of zero knowledge.\n\nNow, we’re building a first of its kind public-private encrypted blockchain: Ethereum, encrypted. And it’s now time to bring it to market.\n\nWe’ve raised $125 million from industry-leading investors including a16z crypto, Paradigm, Variant, Consensys, and a_capital, and we’re growing quickly.\n\n Role\n\nWe are looking for an applied cryptographer or a cybersecurity professional with love for applied cryptography, and with experience in auditing and breaking cryptographic protocols, to explore and secure our proving system stack. In this role you will be required to dive deep into the Zero Knowledge proving systems’ code, find bugs and potential issues, and create tooling to automate security checks. You will also be required to write specifications for these systems to assist external auditors\n\nRequired Experience\n\n\n* Security experience in a software eng context (≥ 3 years)\n\n* Industry (or large-project academic) programming experience in a low-level language (e.g., Rust or C++)\n\n* Familiarity with applied cryptography and discrete mathematics (fields, elliptic curves)\n\n* Excellent written and verbal communication skills on technical topics\n\n* Participation in CTFs in a cryptography role a plus\n\n\n\nWhat we offer:\n\n\n* Flexible and remote work environment\n\n* 25 days holiday + bank holidays annually\n\n* Additional benefits include health insurance, retirement plans, and opportunities for professional development.\n\n* Quarterly offsite travel for collaboration \n\n* Events and conference budget\n\n* An opportunity to work at the cutting edge of blockchain and FinTech with a world class cryptography and engineering team\n\n\n\n\nAztec Labs is an equal opportunity employer and we value creativity, diversity, and intellectual curiosity. If you're passionate about leveraging your creative talents to make a real-world impact, and if you want to be part of a team that's shaping the future of digital privacy, then we would love to hear from you.\n \n\n#Salary and compensation\n No salary data published by company so we estimated salary based on similar jobs related to Engineer and Engineer jobs that are similar:\n\n $70,000 — $110,000/year\n
\n\n#Benefits\n 💰 401(k)\n\n🌎 Distributed team\n\n⏰ Async\n\n🤓 Vision insurance\n\n🦷 Dental insurance\n\n🚑 Medical insurance\n\n🏖 Unlimited vacation\n\n🏖 Paid time off\n\n📆 4 day workweek\n\n💰 401k matching\n\n🏔 Company retreats\n\n🏬 Coworking budget\n\n📚 Learning budget\n\n💪 Free gym membership\n\n🧘 Mental wellness budget\n\n🖥 Home office budget\n\n🥧 Pay in crypto\n\n🥸 Pseudonymous\n\n💰 Profit sharing\n\n💰 Equity compensation\n\n⬜️ No whiteboard interview\n\n👀 No monitoring system\n\n🚫 No politics at work\n\n🎅 We hire old (and young)\n\n
\n\n#Location\nWorldwide

*Scroll has a remote-first work culture, our staff base is globally distributed and we are location agnostic. We make hiring decisions based on talent, culture fit and role suitability. If you have the skills and experience requested by this job description then please APPLY!In a world beset by plummeting trust, Scroll is building the trust layer to power the next phase of the Internet, using state-of-the-art math and cryptography. We’re a team of passionate builders, researchers, and cryptographers who care deeply about open-source software and the community that enables it. If you thrive on openness, ownership, and flexibility, we should chat. \n\nAbout Scroll…Scroll is building an open source, bytecode level compatible zkEVM layer 2 solution for Ethereum. Our mission is to scale Ethereum while maintaining our values of credible neutrality, openness, and execution.\nAbout the Job\n\n\n\n* We’re hiring a Protocol Engineer to serve as a foundational member of a new Protocol team, dedicated to keeping Scroll at the very forefront of blockchain and Ethereum innovation. \n\n* This hire will own and lead projects that ensure Scroll continues to differentiate itself, and pushes the boundaries of zkRollup technology. \n\n* The Protocol Engineer will design and implement features in production, and will contribute to and have a massive impact upon the broader Ethereum ecosystem.\n\n* You will work at the forefront of the industry, on massively complex problems, like decentralizing the sequencer. \n\n* You will do it alongside other deeply driven technical minds, in a culture defined by and dedicated to autonomy, ownership and openness. And you will have the chance to collaborate externally with thinkers and researchers in academia and other leading blockchain organizations.\n\n* This is a fully remote job.\n\n\n\nRequirements\n\n\n\n* Demonstrated ability to design and implement new, production-ready, open-source blockchain protocol projects using Golang or Rust and good understanding of Solidity. For instance, by having contributed to Ethereum, authored and implemented EIPs, published/commented on ethresear.ch, pushed PRs to nodes like geth or Lighthouse, EF fellowship, and/or written academic papers, etc. \n\n* You take ownership, and operate proactively, independently, and with openness and transparency. Confident but humble and low ego, your excitement over learning complex concepts motivates and inspires others.\n\n* You enjoy collaborating with others and excel at communicating with them, asynchronously and across cultures. You speak and write (documentation and specs, as well as on Slack), clearly and concisely.\n\n* Excellent coding standards (distributed systems, open source, correct and performant code, good developer practices, effective use of Notion/GitHub, performance profiling, optimization, correct + robust + maintainable code).\n\n\n\nNice to Have \n\n\n\n* Familiarity with Ethereum, EVM, L2s, Rollups, ZK\n\n* Familiarity with cryptography\n\n* Technical publications and/or articles, Twitter threads, etc.\n\n* The ability to speak Chinese\n\n\n\nWhat We Offer\n\n\n\n* A mission-led, collaborative culture\n\n* Opportunity to work with cutting edge technology and like-minded people who are contributing to the progression of Ethereum\n\n* Competitive salary package / generous paid time off / annual growth budget\n\n* Remote from any location with flexible hours\n\n* Home office set up / co-working membership allowance\n\n* Private healthcare in selected countries\n\n\nScroll is proud to be an equal opportunity workplace. We are committed to equal employment opportunities regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity, or Veteran status. If you have a disability or special need, please let us know and we'll do our best to accommodate. \n\n#Salary and compensation\n No salary data published by company so we estimated salary based on similar jobs related to Design, Ethereum, Golang and Engineer jobs that are similar:\n\n $65,000 — $110,000/year\n
\n\n#Benefits\n 💰 401(k)\n\n🌎 Distributed team\n\n⏰ Async\n\n🤓 Vision insurance\n\n🦷 Dental insurance\n\n🚑 Medical insurance\n\n🏖 Unlimited vacation\n\n🏖 Paid time off\n\n📆 4 day workweek\n\n💰 401k matching\n\n🏔 Company retreats\n\n🏬 Coworking budget\n\n📚 Learning budget\n\n💪 Free gym membership\n\n🧘 Mental wellness budget\n\n🖥 Home office budget\n\n🥧 Pay in crypto\n\n🥸 Pseudonymous\n\n💰 Profit sharing\n\n💰 Equity compensation\n\n⬜️ No whiteboard interview\n\n👀 No monitoring system\n\n🚫 No politics at work\n\n🎅 We hire old (and young)\n\n
\n\n#Location\nGlobal Remote

\nAbout Aztec\n\nAt Aztec, our goal is to take the original promise of Ethereum–a decentralized and verifiable world computer–and expand its capability immensely by making it fully encrypted.\n\nIn the current public blockchain paradigm, users and entities unknowingly broadcast data in the public, compromising privacy and security to get trustlessness.\n\nNot only are unencrypted blockchains inherently privacy-exposing, they require significant redundancy to compute and verify the legitimacy of transactions.\n\nImplementing scalable encryption in a public blockchain paradigm requires cutting-edge math and engineering. Thankfully, our team of scientists and engineers invented Plonk, the industry-standard zkSNARK, and Noir, the universal language of zero knowledge.\n\nNow, we’re building a first of its kind public-private encrypted blockchain: Ethereum, encrypted. And it’s now time to bring it to market.\n\nWe’ve raised $125 million from industry-leading investors including a16z crypto, Paradigm, Variant, Consensys, and a_capital, and we’re growing quickly.\n\n Role\n\nWe are looking for an applied cryptographer or a cybersecurity professional with love for applied cryptography, and with experience in auditing and breaking cryptographic protocols, to explore and secure our proving system stack. In this role you will be required to dive deep into the Zero Knowledge proving systems’ code, find bugs and potential issues, and create tooling to automate security checks. You will also be required to write specifications for these systems to assist external auditors\n\nRequired Experience\n\n\n* Security experience in a software eng context (≥ 3 years)\n\n* Industry (or large-project academic) programming experience in a low-level language (e.g., Rust or C++)\n\n* Familiarity with applied cryptography and discrete mathematics (fields, elliptic curves)\n\n* Excellent written and verbal communication skills on technical topics\n\n* Participation in CTFs in a cryptography role a plus\n\n\n\nWhat we offer:\n\n\n* Flexible and remote work environment\n\n* 25 days holiday + bank holidays annually\n\n* Additional benefits include health insurance, retirement plans, and opportunities for professional development.\n\n* Quarterly offsite travel for collaboration \n\n* Events and conference budget\n\n* An opportunity to work at the cutting edge of blockchain and FinTech with a world class cryptography and engineering team\n\n\n\n\nAztec Labs is an equal opportunity employer and we value creativity, diversity, and intellectual curiosity. If you're passionate about leveraging your creative talents to make a real-world impact, and if you want to be part of a team that's shaping the future of digital privacy, then we would love to hear from you.\n \n\n#Salary and compensation\n No salary data published by company so we estimated salary based on similar jobs related to Engineer and Engineer jobs that are similar:\n\n $65,000 — $110,000/year\n
\n\n#Benefits\n 💰 401(k)\n\n🌎 Distributed team\n\n⏰ Async\n\n🤓 Vision insurance\n\n🦷 Dental insurance\n\n🚑 Medical insurance\n\n🏖 Unlimited vacation\n\n🏖 Paid time off\n\n📆 4 day workweek\n\n💰 401k matching\n\n🏔 Company retreats\n\n🏬 Coworking budget\n\n📚 Learning budget\n\n💪 Free gym membership\n\n🧘 Mental wellness budget\n\n🖥 Home office budget\n\n🥧 Pay in crypto\n\n🥸 Pseudonymous\n\n💰 Profit sharing\n\n💰 Equity compensation\n\n⬜️ No whiteboard interview\n\n👀 No monitoring system\n\n🚫 No politics at work\n\n🎅 We hire old (and young)\n\n
\n\n#Location\nWorldwide

\nAbout this role\n\nWe are looking for an experienced Business Intelligence Analyst to scale a critically important function responsible for building and maintaining systems, processes and services that enable us to understand financial performance and unlock key business insights at Faire. The ideal candidate for this role will ensure key accounting procedures are automated in ways that are accurate, efficient, easy-to-understand, and scalable. This role will sit in the Finance department and collaborate with team members from a breadth of functional groups across Faire, including Accounting, Analytics Engineering and Data Infrastructure. This role will have a tremendous impact on the ability for Faire employees to use data effectively in order to report numbers externally and make impactful decisions internally. As an early member of a burgeoning team, you will have the opportunity to write the roadmap for how we improve access to business critical data and unlock automation that amplifies the impact of a variety of functions. \n\nWhat you’ll do \n\n\n*  Provide analytical and technical expertise and support to Accounting and Finance teams to foster and support data democratization that drives decision-making and accountability \n\n* Act as fundamental analytical partner to the Accounting team to gather ongoing requirements from product and operational teams to ensure the core ledgers accurately keep up with changes in the business ● Scope, design, create, and manage complex ETL flows that aggregate and synthesize key business performance metrics and financial reporting \n\n* Collaborate across Analytics Engineering, Data Infrastructure, and Finance as a key translator and process improver to ensure cohesion and efficacy across Faire’s data community \n\n* Field miscellaneous data-related questions for the Finance and Strategy and Accounting teams enabling others to get at the data they need accurately and efficiently \n\n* Unlock workflow automation with use of the latest capabilities made possible by Generative AI\n\n\n\n\nQualifications\n\nMust have: \n\n\n* 4+ years of work experience in Business Intelligence, Accounting, or comparable function ● Experience working with large transactional data sets, building ETL dataflows, performing in-depth data analyses using SQL, and automating KPI reports using a BI software (Mode, Tableau, Looker, etc.) \n\n\n\n\nNice to have: \n\n\n* Experience with Snowflake and/or Mode \n\n* BA/BS degree, ideally in computer science, math or another quantitative field \n\n* You are a team player and love to deliver outstanding results in a group setting \n\n* You want to work in a fast-paced environment with constant change \n\n* You are resourceful and not afraid to roll up your sleeves\n\n\n\nSalary Range\n\nCalifornia / New York: the pay range for this role is $147,000 - $202,000 per year. \n\nThis role will also be eligible for equity and benefits. Actual base pay will be determined based on permissible factors such as transferable skills, work experience, market demands, and primary work location. The base pay range provided is subject to change and may be modified in the future. \n\n\nFaire’s flexible work model aims to meet the needs of our diverse employee community by making work more flexible, connected, and inclusive. Depending on the role and needs of the team, Faire employees have the flexibility to choose how they work–whether that’s mainly in the office, remotely, or a mix of both. \n\nRoles that list only a country in the location are eligible for fully remote work in that country or in- office work at a Faire office in that country, provided employees are located in the registered country/province/state. Roles with only a city location are eligible for in-office or hybrid office work in that city. Our talent team will work with candidates to determine what locations and roles are eligible for each option.\n \n\n#Salary and compensation\n No salary data published by company so we estimated salary based on similar jobs related to Accounting, Finance and Math jobs that are similar:\n\n $30,000 — $60,000/year\n
\n\n#Benefits\n 💰 401(k)\n\n🌎 Distributed team\n\n⏰ Async\n\n🤓 Vision insurance\n\n🦷 Dental insurance\n\n🚑 Medical insurance\n\n🏖 Unlimited vacation\n\n🏖 Paid time off\n\n📆 4 day workweek\n\n💰 401k matching\n\n🏔 Company retreats\n\n🏬 Coworking budget\n\n📚 Learning budget\n\n💪 Free gym membership\n\n🧘 Mental wellness budget\n\n🖥 Home office budget\n\n🥧 Pay in crypto\n\n🥸 Pseudonymous\n\n💰 Profit sharing\n\n💰 Equity compensation\n\n⬜️ No whiteboard interview\n\n👀 No monitoring system\n\n🚫 No politics at work\n\n🎅 We hire old (and young)\n\n
\n\n#Location\nNew York City, New York, United States

\nWhat are we all about?\n\nWe are a team of world class builders and researchers with expertise across several domains: Ethereum Protocol Engineering, Layer-2, Decentralized Finance (DeFi), Miner Extractable Value (MEV), Smart Contract Development, Security Auditing and Formal Verification.\n\nWorking to solve some of the most challenging problems in the blockchain space, we frequently collaborate with renowned companies, such as Ethereum Foundation, StarkWare, Gnosis Chain, Aave, Flashbots, xDai, Open Zeppelin, Forta Protocol, Energy Web, POA Network and many more.\n\nWe actively contribute to Ethereum core development, EIP's and network upgrades together with the Ethereum Foundation, and other client teams.\n\n\n\n\n\n\n\nToday, there are nearly 200 of us working remotely from over 45+ countries.\n\n\n\n\n\n\n\n\n \n\n\nYou can view all our open positions here: https://jobs.nethermind.io/\n\n \nThe role:\n\nWe’re seeking senior auditors and developers with smart contract auditing experience/knowledge to join our team. You'll work on projects written in Solidity and Cairo. Knowledge of Rust and/or GoLang is a great plus. We are looking for someone who understands the Ethereum Virtual Machine, Yellow Paper, and the Solidity language. You’ll get the opportunity to work at the bleeding edge of Blockchain technology and interact with different teams working in every aspect of Ethereum and StarkNet.\nResponsibilities:\n\n\n* Work directly with protocols in the Ethereum and StarkNet ecosystems to review their code and help secure their protocols;\n\n* Collaborate with teammates to maintain and continually improve our existing blockchain security tools using modern software engineering practices;\n\n* Develop new blockchain security tools;\n\n* Engage in meetings with clients to discuss security and best practice improvements.\n\n\n\nRequirements:\n\n\n* PhD in Computer Science, Math or related field. \n\n* 3+ year(s) of experience in Solidity security analysis;\n\n* Solid understanding of the Ethereum Virtual Machine and Yellow Paper;\n\n* Fluency in Solidity development and the deployment of smart contracts;\n\n* Detailed understanding of common smart contract vulnerabilities;\n\n* Fluency with common tools and frameworks used for the development and security analysis of smart contracts;\n\n* Strong debugging skills and/or experience in reverse engineering;\n\n* Basic knowledge of Cairo and Starknet.\n\n\n\nNice to have:\n\n\n* Multiple years of prior experience in traditional cybersecurity (before transitioning to the blockchain space);\n\n* Experience in Cairo development;\n\n* Solid understanding of StarkNet;\n\n* Good written and verbal communication skills;\n\n* Understanding of most common DeFi applications.\n\n* A portfolio of blog posts or presentations on DeFi or security-related topics;\n\n* Publicly visible audit reports in your portfolio.\n\n\n\nPerks and benefits:\n\n\n* Fully remote\n\n* Flexible working hours\n\n* Plus equity\n\n\n\nKeep up to date on what we are working on by following us on our social channels\n\n \n\n \n\n \nClick here to view our Privacy Policy.\n \n\n#Salary and compensation\n No salary data published by company so we estimated salary based on similar jobs related to Solidity, Ethereum, Finance, Math, Senior and Golang jobs that are similar:\n\n $65,000 — $107,500/year\n
\n\n#Benefits\n 💰 401(k)\n\n🌎 Distributed team\n\n⏰ Async\n\n🤓 Vision insurance\n\n🦷 Dental insurance\n\n🚑 Medical insurance\n\n🏖 Unlimited vacation\n\n🏖 Paid time off\n\n📆 4 day workweek\n\n💰 401k matching\n\n🏔 Company retreats\n\n🏬 Coworking budget\n\n📚 Learning budget\n\n💪 Free gym membership\n\n🧘 Mental wellness budget\n\n🖥 Home office budget\n\n🥧 Pay in crypto\n\n🥸 Pseudonymous\n\n💰 Profit sharing\n\n💰 Equity compensation\n\n⬜️ No whiteboard interview\n\n👀 No monitoring system\n\n🚫 No politics at work\n\n🎅 We hire old (and young)\n\n
\n\n#Location\nWorldwide