Senior Research Software Engineer (Tooling)
Remote US
Lean Focused Research Organization (FRO) – Lean /
Full Time /
Remote
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.
About the Role
We are seeking a talented and motivated Senior Research Software Engineer to join our team at the Lean FRO. As a Senior 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:
- Collaborate with researchers and developers to design, implement, and improve critical tooling in Lean’s ecosystem, including tools for rich mathematical document authoring, proof development and exploration, online collaboration, and advanced visualizations and interactivity.
- Participate in cutting-edge research projects that help Lean reach a larger and more diverse set of new users, and improve the experience of its existing users.
- Conduct code reviews, provide constructive feedback, and help maintain code quality standards.
- Engage with external users and researchers interested in Lean and work to resolve their issues and identify improvements for long-term success with Lean.
- Actively engage in the open-source community, responding to user feedback and addressing 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.
- Help junior members of the team learn and grow through mentorship and feedback.
Requirements:
- Bachelor's degree in Computer Science, Mathematics, or a related field. A higher degree is a plus.
- 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 independently as well as 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 with the design/implementation of typesetting systems, DSLs for documentation.
- Experience with design/implementation of IDE tooling. (e.g. VSCode plugins, LSP services)
- Experience with common practices for frontend development. (e.g. Typescript, React, etc.)
- 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.
- Available for full-time employment. Part-time could be considered for strong candidates.
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.
$133,000 - $200,000 a year
The 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 not been adjusted for geographical differences associated with the location where the candidate may be hired.
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.
