Aztec is hiring a Remote Proving Systems Security Engineer
\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
๐ Please reference you found the job on Remote OK, this helps us get more companies to post here, thanks!
When applying for jobs, you should NEVER have to pay to apply. You should also NEVER have to pay to buy equipment which they then pay you back for later. Also never pay for trainings you have to do. Those are scams! NEVER PAY FOR ANYTHING! Posts that link to pages with "how to work online" are also scams. Don't use them or pay for them. Also always verify you're actually talking to the company in the job post and not an imposter. A good idea is to check the domain name for the site/email and see if it's the actual company's main domain name. Scams in remote work are rampant, be careful! Read more to avoid scams. When clicking on the button to apply above, you will leave Remote OK and go to the job application page for that company outside this site. Remote OK accepts no liability or responsibility as a consequence of any reliance upon information on there (external sites) or here.
Convergent Research is hiring a Remote Principal Research Software Engineer
\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
๐ Please reference you found the job on Remote OK, this helps us get more companies to post here, thanks!
When applying for jobs, you should NEVER have to pay to apply. You should also NEVER have to pay to buy equipment which they then pay you back for later. Also never pay for trainings you have to do. Those are scams! NEVER PAY FOR ANYTHING! Posts that link to pages with "how to work online" are also scams. Don't use them or pay for them. Also always verify you're actually talking to the company in the job post and not an imposter. A good idea is to check the domain name for the site/email and see if it's the actual company's main domain name. Scams in remote work are rampant, be careful! Read more to avoid scams. When clicking on the button to apply above, you will leave Remote OK and go to the job application page for that company outside this site. Remote OK accepts no liability or responsibility as a consequence of any reliance upon information on there (external sites) or here.
Aztec is hiring a Remote Proving Systems Security Engineer
\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
๐ Please reference you found the job on Remote OK, this helps us get more companies to post here, thanks!
When applying for jobs, you should NEVER have to pay to apply. You should also NEVER have to pay to buy equipment which they then pay you back for later. Also never pay for trainings you have to do. Those are scams! NEVER PAY FOR ANYTHING! Posts that link to pages with "how to work online" are also scams. Don't use them or pay for them. Also always verify you're actually talking to the company in the job post and not an imposter. A good idea is to check the domain name for the site/email and see if it's the actual company's main domain name. Scams in remote work are rampant, be careful! Read more to avoid scams. When clicking on the button to apply above, you will leave Remote OK and go to the job application page for that company outside this site. Remote OK accepts no liability or responsibility as a consequence of any reliance upon information on there (external sites) or here.
Aztec is hiring a Remote Proving Systems Security Engineer
\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
๐ Please reference you found the job on Remote OK, this helps us get more companies to post here, thanks!
When applying for jobs, you should NEVER have to pay to apply. You should also NEVER have to pay to buy equipment which they then pay you back for later. Also never pay for trainings you have to do. Those are scams! NEVER PAY FOR ANYTHING! Posts that link to pages with "how to work online" are also scams. Don't use them or pay for them. Also always verify you're actually talking to the company in the job post and not an imposter. A good idea is to check the domain name for the site/email and see if it's the actual company's main domain name. Scams in remote work are rampant, be careful! Read more to avoid scams. When clicking on the button to apply above, you will leave Remote OK and go to the job application page for that company outside this site. Remote OK accepts no liability or responsibility as a consequence of any reliance upon information on there (external sites) or here.
AppLovin is hiring a Remote Machine Learning Engineer Intern
A Day in the Life \n\nAt AppLovin, weโre at the forefront of the advertising technology industry. Our cutting-edge platform connects businesses with their potential customers using advanced machine learning technologies. With state-of-the-art ML infrastructure and models, our system rivals those of industry giants. We take pride in providing top-of-the-line compensation packages in the industry and are actively seeking extraordinary machine learning engineers to join our exceptional team.\n\nWe are in search of a Machine Learning Engineer Intern to become a member of our impactful Research Science team. In this role, you will play a pivotal part in developing cutting-edge deep learning architectures and advancing our ML infrastructure. If youโre looking for a learning opportunity that will allow you to push the boundaries of machine learning technology, build multi-billion dollar businesses with advanced algorithms, and work in a dynamic, innovative environment, this is the opportunity youโve been waiting for. This will be a 2-3 month long internship and could start in both Spring and Summer 2024 (depending on graduation date).\nRequirements\n\n\n* You are currently working towards earning a Ph.D. in Computer Science or a related quantitative / engineering field\n\n* Knowledge in deep learning architectures and frameworks (e.g., PyTorch, TensorFlow).\n\n* Solid programming skills in Python and proficiency in relevant ML libraries.\n\n* Excellent problem-solving abilities.\n\n* Strong communication skills and the ability to work collaboratively in a team environment\n\n\n\nPreferred Qualifications\n\n\n* Experience in Recommendation System Research: Candidates with a background in developing or researching recommendation algorithms or systems.\n\n* Achievements in CS or Math Competitions: We value candidates who have received awards or recognition in computer science or mathematics competitions.\n\n* Non-Academic Technical Experience: Participation in events like hackathons is highly regarded, demonstrating practical and innovative technical skills outside of formal education.\n\n\n \n\n#Salary and compensation\n
No salary data published by company so we estimated salary based on similar jobs related to Python and Engineer jobs that are similar:\n\n
$55,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\nPalo Alto, California, United States
๐ Please reference you found the job on Remote OK, this helps us get more companies to post here, thanks!
When applying for jobs, you should NEVER have to pay to apply. You should also NEVER have to pay to buy equipment which they then pay you back for later. Also never pay for trainings you have to do. Those are scams! NEVER PAY FOR ANYTHING! Posts that link to pages with "how to work online" are also scams. Don't use them or pay for them. Also always verify you're actually talking to the company in the job post and not an imposter. A good idea is to check the domain name for the site/email and see if it's the actual company's main domain name. Scams in remote work are rampant, be careful! Read more to avoid scams. When clicking on the button to apply above, you will leave Remote OK and go to the job application page for that company outside this site. Remote OK accepts no liability or responsibility as a consequence of any reliance upon information on there (external sites) or here.