Senior Lean Programming Engineer

5 days ago

Singapore HUMMINGBIRD BIOSCIENCE PTE. LTD. Full time
Roles & Responsibilities

About the role

We are looking for a LEAN Programming Engineer to take a hands-on implementation approach in designing, implementing, and optimizing our theorem-proving AI system. You will contribute to research and development of critical components of our AI architecture: (a) formalizing mathematical, scientific and engineering problems into a domain knowledge model and representation, and (b) independent validation of outputs via formal verification systems. The ideal candidate will have a strong background in functional programming languages, which we believe is the foundation for developing a logical reasoning AI system. We are especially interested in candidates who have worked in developing and using automated theorem provers, formal verification systems or applications, and symbolic computation/algebra systems extensively. A strong academic or research foundation in logic systems (higher/first-order logic, etc.) will be invaluable.


KEY RESPONSIBILITIES

▪Implement and optimize algorithms for automated theorem proving, including but not limited to, proof search, term rewriting, and logical inference.

▪Incorporate advanced mathematical concepts and formal methods into the design and development process.

▪Utilize knowledge of various logic systems and frameworks such as HOL, FOL, DL, Modal Logic, and Temporal Logic in algorithm development.

▪Leverage Computer Algebra Systems (CAS) such as Mathematica, Maple, SageMath, Maxima, or SymPy for symbolic computation and algebraic manipulation.

▪Collaborate with AI researchers and mathematicians, and other engineers to write good quality code and ensure seamless integration and interoperability of different system modules.


MUST-HAVE QUALIFICATIONS

▪Masters / Ph.D. in Computer Science or Mathematics (or Advanced Master’s degree)

▪6+ years experience in at least one of Lean, Coq, Agda, or Isabelle.


DESIRABLE SKILLS

▪Strong understanding of functional programming principles and paradigms.

▪Familiarity with automated theorem proving techniques and tools.

▪Knowledge of formal methods and formal verification.

▪Understanding of category theory, type theory, or other advanced mathematical concepts.

▪Familiarity with logic theories such as Higher-Order Logic (HOL), First-Order Logic (FOL), Description Logic (DL), Modal Logic, and Temporal Logic.

▪Understanding of algebraic structures and symbolic computation.

▪Experience with AI and machine learning frameworks is highly desirable.

▪Contributions to open-source projects in the functional programming, AI, or formal verification communities.

Hummingbird Bioscience is firmly committed to Equal Employment Opportunity (EEO) and to compliance with all Singapore and US federal, state and local laws and/or guidelines that prohibit employment discrimination on the basis of age, race, color, gender, sexual orientation, gender identity, ethnicity, national origin, citizenship, religion, genetic carrier status, disability, pregnancy, childbirth or related medical conditions, marital status, protected veteran status and other protected classifications.


Tell employers what skills you have

EDI
Mathematics
Artificial Intelligence
Research and Development
Algebra
Algorithm Development
Data Science
Agda
Mathematica
Coq
Applied Mathematics

  • Engineer /Senior Engineer, MSB LEAN MANUFACTURING

    3 weeks ago

    Singapore MICRON SEMICONDUCTOR ASIA OPERATIONS PTE. LTD. Full time

    Roles & ResponsibilitiesJob DescriptionAs Engineer of MSB Lean Manufacturing, you will manage the implementation of Lean transformation methodologies and tools in Assembly, Test and SSD manufacturing at MSB. You will collaborate closely with site functional teams to identify, explore and implement lean methodologies and tools to drive improvements in...

  • Senior technical engineer

    2 weeks ago

    Singapore The Chemical Engineer Full time

    About us At Exxon Mobil, our vision is to lead in energy innovations that advance modern living and a net-zero future. As one of the world’s largest publicly traded energy and chemical companies, we are powered by a unique and diverse workforce fueled by the pride in what we do and what we stand for. The success of our Upstream, Product Solutions and Low...

  • Lean Improvement Project Manager

    3 weeks ago

    Singapore BIO-RAD LABORATORIES (SINGAPORE) PTE LTD Full time

    Job SummaryWe are seeking a highly skilled Lean Improvement Project Manager to lead and manage lean and continuous improvement projects within our manufacturing management department. The ideal candidate will have a strong background in lean principles and methodologies and be able to drive a culture of continuous improvement and operational excellence...

  • Lean/Cont Improvement Proj Mgr

    3 weeks ago

    Singapore BIO-RAD LABORATORIES (SINGAPORE) PTE LTD Full time

    Roles & ResponsibilitiesThe Lean/Continuous Improvement Project Manager is to lead and manage lean and continuous improvement projects within the manufacturing management department. The role involves identifying opportunities for process improvements, implementing lean methodologies, and ensuring sustainable improvements in efficiency, quality, and cost...

  • Senior Tooling Engineer

    3 weeks ago

    Singapore RS RECRUITMENT AGENCY LLP Full time

    Roles & ResponsibilitiesJob Description: To Lead the tooling team in problem-solving, identifying problems, and analysis of root causes. Liaise with the various departments; design, manufacturing, and planners on the progress to ensure effective tooling and achieving 100% on-time delivery. Analyse stamping processes and identify opportunities for process...

  • Gsc lean/cont improvement project manager

    1 week ago

    Singapore Bio-Rad Laboratories, Inc Full time

    The Lean/Continuous Improvement Project Manager is to lead and manage lean and continuous improvement projects within the manufacturing management department. The role involves identifying opportunities for process improvements, implementing lean methodologies, and ensuring sustainable improvements in efficiency, quality, and cost reduction. The...

  • Lean/Continuous Improvement Project Lead

    2 weeks ago

    Singapore Bio-Rad Laboratories, Inc. Full time

    About the Role:The Lean/Continuous Improvement Project Manager at Bio-Rad Laboratories, Inc. will be responsible for leading and managing lean and continuous improvement projects within the manufacturing management department.Key Responsibilities:Lead and manage lean and continuous improvement projects from inception to completion.Identify opportunities for...

  • Senior Program Engineer

    3 weeks ago

    Singapore PERSONNEL LINK JOBHUB PTE. LTD. Full time

    Job Title: Senior Program EngineerJob Summary:Are you a skilled professional with experience in Business Development and program management? Do you have a strong technical background and excellent communication skills? We are seeking a Senior Program Engineer to join our team at PERSONNEL LINK JOBHUB PTE. LTD.Key Responsibilities:• Provide technical...

  • Avp, productivity

    1 week ago

    Singapore TRUST RECRUIT PTE. LTD. Full time

    Job Functions Responsible for developing and implementing productivity projects in group companies in SEA & India Partner with all stakeholders to implement projects to achieve operating income improvements Provide leadership and directions to project teams through coaching and mentoring, and provide guidance as Subject Matter Expert, as a resource to...

  • Gsc lean/cont improvement project manager

    1 week ago

    Singapore UNAVAILABLE Full time

    Overview The Lean/Continuous Improvement Project Manager is to lead and manage lean and continuous improvement projects within the manufacturing management department. The role involves identifying opportunities for process improvements, implementing lean methodologies, and ensuring sustainable improvements in efficiency, quality, and cost reduction. The...

  • AVP, Productivity

    3 weeks ago

    Singapore TRUST RECRUIT PTE. LTD. Full time

    Roles & ResponsibilitiesJob Functions Responsible for developing and implementing productivity projects in group companies in SEA & India Partner with all stakeholders to implement projects to achieve operating income improvements Provide leadership and directions to project teams through coaching and mentoring, and provide guidance as Subject Matter...

  • Senior Lean Manufacturing Plant Director

    3 weeks ago

    Singapore RANDSTAD PTE. LIMITED Full time

    Roles & ResponsibilitiesJob OverviewThe candidate will be responsible to oversee all aspects of the development and implementation of Manufacturing, Operations and strategies expansion for the business. Reporting directly to the senior operations director, he will also support the daily operations of manufacturing and operations as well as cost reduction,...

  • Avp, productivity

    1 week ago

    Singapore TRUST RECRUIT PTE. LTD. Full time

    Job Functions Responsible for developing and implementing productivity projects in group companies in SEA & India Partner with all stakeholders to implement projects to achieve operating income improvements Provide leadership and directions to project teams through coaching and mentoring, and provide guidance as Subject Matter Expert, as a resource to...

  • M & e manager / a1 main con > perm

    2 weeks ago

    Singapore Preferably Professional Engineer Full time

    Client: MNC, A1 Main Contractor. Mega Projects Staff Benefits: 17 days annual leave, Year-End Bonus + VB. Salary: Negotiable Based on Qualification, Experience & Capability Location: Central Job Requirements: Degree in Electrical or Mechanical Engineering, recognized by PE Board Singapore/ BCA / IES Min 10 year experience in Mechanical & Electrical...

  • Senior quality program lead

    1 week ago

    Singapore GLAXO WELLCOME MANUFACTURING PTE LTD Full time

    Purpose The Senior Quality Program Lead is responsible for ensuring seamless integration and alignment of projects within the Quality department. This role ensures that site improvement plans, site quality plans, and CAPEX projects are executed effectively, continuous improvement practices are implemented while fostering stakeholder collaboration and...

  • Senior / instrumentation engineer

    1 week ago

    Singapore SENIOR SPIRIT OF ROSELLE PARK Full time

    Responsibilities: Prepares key project documentation in executing the complete instrumentation engineering scope of work as per the project requirements in meeting customer’s expectations Prepares instrumentation system concepts, schedule of deliverables and plan activities in line with overall project schedule, delegate the tasks to instrumentation team...

  • Program Director

    3 weeks ago

    Singapore ASIA SEARCH PTE. LTD. Full time

    Roles & ResponsibilitiesOur client is a US MNC and a Fortune 500 Company that provides Design and Manufacturing solutions to the customers worldwide. They are currently hiring for a Program Director and will like to invite interested candidate to submit your detailed resume to talent@asiasearch.com.sgProgram DirectorResponsibilities: Manage the Program...

  • System Quality Program Manager

    5 days ago

    Singapore HP SINGAPORE (PRIVATE) LIMITED Full time

    Roles & ResponsibilitiesWhat a System Quality Program Manager does at HP:Manage Quality Programs: Lead quality assurance programs from initiation through closure, ensuring alignment with project scope, goals, and deliverables. Oversee all aspects of quality program management, including planning, budget and resource control. Conduct System At Glance Test,...

  • Senior facility engineer

    1 week ago

    Singapore Fong's Engineering & Manufacturing Pte Ltd Full time

    Responsibilities: Manage engineers & contractors to perform preventive maintenance, repair maintenance, building and ground services to achieve minimum disruptions to operations. Manage upgrading projects to ensure projects are on schedule and within budget, complying with regulatory and technical requirements. Work closely with project lead on project...

  • Manufacturing engineer, senior

    1 week ago

    Singapore Zebra Full time

    Remote Work: No Overview: At Zebra, we are a community of innovators who come together to create new ways of working to make everyday life better. United by curiosity and care, we develop dynamic solutions that anticipate our customer’s and partner’s needs and solve their challenges. Being a part of Zebra Nation means being seen, heard, valued, and...