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 results-driven Senior Software Engineering Manager to join
our team at the Lean FRO. In this role, you will focus on managing and
developing a high-performing team of engineers, ensuring that they are aligned
with our organizational goals and delivering impactful results. As a Senior
Software Engineering Manager, you will work closely with our technical
leadership to implement strategic plans, track progress, and maintain a focus
on quality and efficiency. This role is crucial for ensuring that our team
remains productive, motivated, and aligned with the broader mission of the
Lean FRO.
Responsibilities:
* **People Management:** Lead, mentor, and develop a team of software engineers, focusing on their growth, well-being, and productivity.
* **Progress Tracking:** Monitor project timelines, track the progress of ongoing initiatives, and ensure that deadlines are met without compromising on quality.
* **Goal Alignment:** Work closely with our technical leadership to ensure that the team’s efforts are aligned with the strategic goals of the Lean FRO, maintaining focus on the most impactful projects.
* **Team Performance Management:** Conduct performance reviews, provide feedback, and implement strategies to improve team performance and deliver results.
* **Code Quality and Reviews:** Ensure code quality through rigorous reviews, constructive feedback, and adherence to best practices in software development.
* **Performance Optimization:** Drive efforts to optimize Lean's performance and scalability, addressing complex challenges that arise as the ecosystem grows.
* **Resource Allocation:** Ensure that resources are efficiently allocated to meet project requirements and organizational priorities.
* **Communication and Reporting:** Facilitate clear communication within the team and across the organization.
* **Team Cohesion:** Foster a collaborative and inclusive team environment, promoting open communication and the exchange of ideas.
* **Advocacy and Promotion:** Act as an ambassador for Lean FRO, representing the organization at conferences, workshops, and other public forums, and contributing to the promotion of Lean’s continuous improvement and growth.
Requirements:
* **Educational Background:** Bachelor's, master's, or Ph.D. degree in Computer Science, Mathematics, or a related field.
* **Leadership Experience:** Proven experience in leading and managing software engineering teams, with a track record of delivering high-quality software products.
* **Technical Expertise:** Strong functional programming skills (experience in Lean is a big plus), with a deep understanding of formal methods, interactive theorem provers, or related areas.
* **Project Management:** Experience in project management, including planning, tracking progress, and delivering projects on time and within scope.
* **Communication Skills:** Excellent written and verbal communication skills, with the ability to convey complex technical concepts to both technical and non-technical audiences.
* **Problem-Solving Ability:** Strong analytical and problem-solving skills, with the ability to navigate complex technical challenges and provide innovative solutions.
* **Team-Oriented:** Self-motivated, with a strong ability to work independently as well as lead a collaborative team environment.
* **Commitment to Diversity:** Demonstrate a commitment to diversity, inclusion, and cultural awareness through interactions and communications with others.
Preferred Qualifications:
* **Open-Source Contributions:** Experience contributing to open-source projects and engaging with the open-source community.
* **Knowledge in Mathematical Logic:** Familiarity with mathematical logic, type theory, or related areas, and experience with other interactive theorem provers such as Coq, Isabelle, or Agda.
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.
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.
