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