Computational Mathematics (CM) Team Leader

NextSilicon is reimagining high-performance computing. Our accelerated compute solutions leverage intelligent adaptive algorithms to vastly accelerate supercomputers, driving them forward into a new generation. Our new software-defined hardware architecture enables HPC to fulfill its promise of breakthroughs in all fields of advanced research.

At NextSilicon, everything we do is guided by three core values:

• Professionalism: We strive for exceptional results through professionalism and unwavering dedication to quality and performance.
• Unity: Collaboration is key to success. That's why we foster a work environment where every employee can feel valued and heard.
• Impact: We're passionate about developing technologies that make a meaningful impact on industries, communities, and individuals worldwide.
  
  

• Advanced degree (M.Sc. or Ph.D. preferred) in Applied Mathematics, Computer Science, Engineering, or a related field with a strong emphasis on mathematics.
• Proven experience in technical leadership, with a record of guiding high-performance, research-focused teams.
• Extensive experience in algorithm design and implementation, including a strong publication or development record.
• Proficiency in C and Python, particularly for algorithmic applications.
• Deep understanding of floating-point algorithms, numerical methods, and formal proof development.
• Strong interpersonal and communication skills for effective team leadership and cross-functional collaboration.
• Demonstrated ability to balance hands-on research with strategic oversight.
• Familiarity with agile methodologies in a research and development setting.
  
  

• Lead and mentor a team of computational mathematics researchers, fostering a collaborative, high-performance environment.
• Oversee the design and implementation of numerical algorithms from initial concept to final solution, ensuring mathematical rigor and optimal performance.
• Actively contribute to hands-on research, algorithm design, and coding in C and Python.
• Ensure the accuracy and efficiency of numerical algorithms through formal verification, numerical analysis, and correctness proofs.
• Establish and guide the team in testing methodologies for robust design verification.
• Collaborate with cross-functional teams to integrate the coprocessor’s mathematical models into broader company goals.
• Maintain and develop team expertise in floating-point algorithms, numerical methods, and cutting-edge computational techniques.