Principal Research Software Engineer | Convergent Research | $75k-$120k | Remote (US)

Principal Research Software Engineer | Convergent Research | $75k-$120k | Remote (US)

75,000 - 120,000 / year
Remote US
Application ends: July 13, 2024
Apply Now

Job Description

Highlights of the Job Offer

  • Position and Salary: Principal Research Software Engineer at Convergent Research with a salary range of $75,000 to $120,000 per year.
  • Educational Requirements: Bachelor’s, master’s, or Ph.D. in Computer Science, Mathematics, or a related field is required.
  • Experience: Strong functional programming skills are needed, with experience in Lean as a significant plus.
  • Technical Expertise: Familiarity with formal methods and interactive theorem provers like Coq, Isabelle, or Agda is advantageous.
  • Job Responsibilities: Development and leadership in improving Lean, including proof automation and enhancing the overall ecosystem.
  • Collaborative Work: Engage with external researchers and the Lean FRO team to set strategic priorities and solve scalability issues.
  • Professional Development: Opportunity to contribute to groundbreaking research and present at conferences or workshops.
  • Workplace Diversity: Demonstrated commitment to diversity, inclusion, and cultural awareness in all interactions and communications.
  • Benefits: Comprehensive benefits package including excellent medical, dental, and vision insurance, parental leave, generous time off, wellness allowance, and more.
  • Remote Work: The position is fully remote, aligning with Convergent Research’s support for distributed team environments.

Job Offer Details

About the Lean Focused Research Organization (FRO):

The 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. 

We 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.

Responsibilities:

  • Develop and lead efforts to improve Lean, including proof automation, standard libraries, and overall ecosystem.
  • Engage with external researchers interested in Lean to help resolve their issues and identify improvements for long-term success with Lean.
  • 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.
  • Solve hard scalability problems that arise as the Lean ecosystem grows in size and complexity.
  • Optimize Lean’s performance and scalability for efficient theorem proving.
  • Conduct code reviews, provide constructive feedback, and maintain code quality standards.
  • Stay up to date with the latest advancements in formal methods and theorem proving techniques.
  • Actively engage in the open-source community; understand key trends and proactively recommend solutions, identify user needs, respond to feedback, and address bug reports. 
  • 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.

Requirements:

  • Bachelor’s, master’s, or Ph.D. in Computer Science, Mathematics, or a related field. 
  • Strong functional programming skills (experience in Lean is a big plus).
  • Familiarity with formal methods, interactive theorem provers, or related areas.
  • Experience with software development practices such as version control, code testing, and debugging.
  • Excellent problem-solving skills and ability to think critically.
  • Strong written and verbal communication skills.
  • Self-motivated and able to work both independently and in a team environment.
  • Passion for mathematics, formal methods, and the advancement of scientific research.
  • Through actions, interactions, and communications with others, demonstrate a commitment to diversity, inclusion, and cultural awareness.

Preferred Qualifications:

  • Experience contributing to open-source projects.
  • Knowledge of mathematical logic, type theory, or related areas.
  • Familiarity with other interactive theorem provers such as Coq, Isabelle, or Agda.
  • Background in mathematical research or proof theory.

We Offer:

  • A competitive salary and comprehensive benefits package.
  • An opportunity to change the world and work with some of the smartest and most talented experts from different fields.
  • Excellent medical, dental, and vision insurance through a PPO plan; parental leave.
  • Generous time off and paid holidays.
  • Wellness allowance for fitness and wellness activities.

$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.

We 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.   We 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.

Salary and compensation

No salary data published by company so we estimated salary based on similar jobs related to Engineer and Engineer jobs that are similar:

$75,000 — $120,000/year

Benefits

💰 401(k)

🌎 Distributed team

⏰ Async

🤓 Vision insurance

🦷 Dental insurance

🚑 Medical insurance

🏖 Unlimited vacation

🏖 Paid time off

📆 4 day workweek

💰 401k matching

🏔 Company retreats

🏬 Coworking budget

📚 Learning budget

💪 Free gym membership

🧘 Mental wellness budget

🖥 Home office budget

🥧 Pay in crypto

🥸 Pseudonymous

💰 Profit sharing

💰 Equity compensation

⬜️ No whiteboard interview

👀 No monitoring system

🚫 No politics at work

🎅 We hire old (and young)

Location

Remote US