Total 2,321 Engineering job vacancies in New York, NY

Role Description:

• Responsible for semiconductor fab automation with Autonomous Mobile Robot (AMR) & SECS/GEM
• MES knwolegeable and work with vendors to evaluate and enable communication between MES, Tool and AMR.
• Responsible for proposing/developing/implementing/maintaining IOT automation systems collecting/cleaning/restructuring equipment data and storage in data management system
• Maintenance of AMR and existing system performing periodic data integrity checks, create automated failure alerts, perform timely fixes when necessary and continuously improve the automation frameworks with new innovative features\
• Create Web UI for admin/user required view & operation. Create automated periodic insights/analytics/reports/visualisation/alerts operations required for timely decision-making processes.

Job Requirements

• Degree in Computer Science, Engineering or relevant field
• Ability to work independently and team player to deliver result in fast paced and collaborative environment
• Preferable with 1-3 experience in various semiconductor process module/knowledge, equipment engineering or digital transformation, specifically in SECS/GEM Automation.
• Knowledge in communication systems and network protocols used between tool and factory automation (SECS/GEM knowledge & semiconductor/manufacturing environment)
• Knowledge in variety of operating system (OS) used for automation (e.g SECS/GEM, php, js, sql). Other technical skills such as AMHS, vb, xml will be a plus/
• Preferable to have experience in data mining, database engineering, software development

Logicalis is an international multi-skilled solution provider providing digital enablement services to help customers harness digital technology and innovative services to deliver powerful business outcomes.

Our customers span industries and geographical regions; and our focus is to engage in the dynamics of our customers’ vertical markets; including financial services, TMT (telecommunications, media and technology), education, healthcare, retail, government, manufacturing and professional services, and apply the skills of our 6,500 employees in modernising key digital pillars; data centre and cloud services, security and network infrastructure, workspace communications and collaboration, data and information strategies, and IT operation modernisation.

We are the advocates for our customers for some of the world’s leading technology companies including Cisco, HPE, IBM, CA Technologies, NetApp, Microsoft, Oracle, VMware and ServiceNow.

The Logicalis Group has annualised revenues of $1.7 billion, from operations in Europe, North America, Latin America, Asia Pacific and Africa. It is a division of Datatec Limited, listed on the Johannesburg Stock Exchange, with revenues of over $4.3 billion.

Job Summary

The Senior Network Operations Engineer is an Operations role whom will focus on SLA driven Level 3 Incident Management which encompasses responding and resolution of Network, Wireless, Security Infra related issues. The position will be a critical member of the Operations team whom are the higher level and Sev 1 n 2 escalations to diagnose and troubleshoot fault incidents. This role will work directly with customers to gather the fault symptoms and provide the resolution or work around and share best practices, make recommendations, document the issues, provide root cause incident reports. The job scope includes extensive support to client network support team to perform activities in network health check, wireless testing, user issues, break fix, preparing Incident root cause reports.

Responsibilities:

• Understand the process and practices related to GNC support Templates and Standard Operating Procedures
• Perform IOS upgrades and patches to fix software and ensure that the environment is bug/vulnerable free by keeping system with up to date software.
• Troubleshoot production issues and network problems to fix any user related issues and work with principal vendors and customer to provide the resolution with in the proposed timelines.
• Field engineer responsible for handling support issues on Enterprise Networking Platforms and Solutions related to Routing, Switching, Wireless, NAC, Security. Includes Vendors such as Cisco / Aruba / Fortinet / Riverbed / Palo Alto / F5 etc
• Under take escalation for Enterprise Networking related matters from level 1 helpdesk engineers, perform level 3 on site troubleshooting and hardware field replacement works for Enterprise Networking Solutions.
• Be part of a team of engineers that performs 24 hours standby duties on a rotational basis.
• Responsible for updating technical documentations for configuration changes made via helpdesks and/or managed services customers.
• Responsible for opening and closing of support tickets when applicable and providing timely updates to helpdesk personnel and customer for support cases that has been allocated to you
• Work closely with various team of engineers for troubleshooting in relation to Enterprise Networking incidents.

Qualifications:

• Minimum 5 years of relevant experiences in network operations including network, wireless, security technologies.
• Hands on experience in fixing user issues in production environment is essential
• CCNA/CCNP/CCIE certified plus any other networking certifications preferred
• Strong understanding about Enterprise Networking Solutions such as VSS,
• VPC, Multicast , MPLS etc..
• Ability in performing local / remote IOS upgrades on different products and RMAs for faulty devices in production

By submitting your application, you would have deemed to have given consent and have read through the DP notice for Job Applicants here: https://ap.logicalis.com/sites/default/files/2022-10/PIMS-A7.3-01%20Attachment%20I%20DP%20Notice%20for%20Job%20Applicants_updated9sept22.pdf

21st October,
Are you a meticulous Software Test Engineer Electronic Products with a passion for ensuring the highest quality in electronic products? A well-known electronic OEM company is seeking a talented individual to join their dynamic team. This role offers a unique chance to shape the future of innovative products by ensuring their software features are flawless. In this position, the successful candidate will be responsible for creating and executing tests for new software features on cutting-edge products. Initially, these tests will be conducted manually, providing a thorough understanding of the system. Subsequently, these tests will be automated using Python, ensuring efficiency and consistency in the testing process. Additionally, the role involves performing Regression testing to maintain the integrity of the software with each new update. The ideal candidate for this Software Test Engineer Electronic Products, will possess the following skills and experience: - Proficiency in Python for
... Click here to view more detail / apply for Software Test Engineer ? Electronic Products

A full description of the role is available in the attachment: job description. Please note that if a high number of applications are received this advert may close early. You areadvised to submityou application at the earliest opportunity. Across our organisation, people are guided by values that were co-developed with staff: we are kind; we are open; and we pursue excellence. Our values play into our ambition to develop a more diverse workforce, truly representative of our communities. We welcome applications from everyone, while working with our Staff Networks - including our Race Equality, LGBTQ+, Disability and Carers Networks - to increase the number of applications we receive from different backgrounds. If there is anything we can do to make our application process more accessible to you, please contact: recruitment@york.nhs.uk. As part of seeking to become more inclusive, we will consider requests for flexible working from the start of your employment. It may not be suitable for every role, but we will try and be supportive where we can. We would encourage you to speak to the recruiting manager named within this advert to discuss any requirements you may have. Armed Forces Friendly Employer We are holders of the Gold Award from the Defence Employer Recognition Scheme, which is helping actively promote SaBRE - Supporting Britains Reservists and Employers. This means that we have made a statement of intent to support all Defence personnel, including with applications for employment. COVID-19 Our Trust continues to strongly encourage our staff to be vaccinated against COVID19, this remains our best defence to protect our patients, ourselves and everyone else.

18 months Secondment or Fixed Term

A number of opportunities have arisen within the Network Team of the Digital and Information Service at York and Scarborough Teaching Hospitals NHS Foundation Trust.

The Network Team supports a vast range of equipment, services and products that help maintain the seamless and secure flow of information all around the Trust’s network. The team is responsible for around 550 Cisco LAN/WAN devices, which allow network connections to over 8000 PC’s, Printers, and over 4000 Cisco IP Phones.

The team is also responsible for the Cisco video infrastructure and supports the Cisco IPT solution across the trusts estate. The team has responsibility for the perimeter security solutions deployed across the York and Scarborough teaching hospitals sites.

The Trust has recently secured a multimillion-pound project which will see us embark on a complete LAN/WAN/WiFi and DC replacement programme utilising Cisco DNA, WiFi 6 and ACI technologies, to ensure the Trust is capable of delivering safe and effective health care whilst leveraging the most recent clinical and IT technologies.

We are looking for outstanding candidates who will put the needs of patients at the centre of everything they do and will share our Trust core values of Kindness, Openness and Excellence.

The role will require you to be available for an on-call rota requiring Out of hours support, and the candidate will be required to travel between sites and carry equipment, so a driving licence is essential. Pool cars will be provided.

The Trust offers an comprehensive training package, enabling career progression to more senior roles within the team and across the department and the Trust as a whole.

If you are applying on a secondment basis you must seek approval from your current line manager prior to applying

Our benefits

We offer a range of benefits to support our staff including:
• Access to the NHS Pension Scheme, providing generous benefits upon retirement, as well as a lump sum and pension for dependants
• 27 days holiday rising to 33 days (depending on NHS Trust service)
• A variety of different types of paid and unpaid leave covering emergency and planned leave
• Confidential advice and support on personal, work, family and relationship issues, 24/7, from our Employee Assistance Programme
• NHS Car Lease scheme and Cycle to Work scheme
• An extensive range of learning and development opportunities
• Discounts on restaurants, getaways, shopping, motoring, cinema and finance through a of providers

For further information on the fantastic range of benefits we offer please visit the Trust's dedicated Staff Benefits pages.

A full description of the role is available in the attachment: job description.

Please note that if a high number of applications are received this advert may close early. You are advised to submit you application at the earliest opportunity.


Across our organisation, people are guided by values that were co-developed with staff: we arekind; we areopen; and we pursueexcellence.

Our values play into our ambition to develop a more diverse workforce, truly representative of our communities. We welcome applications from everyone, while working with our Staff Networks - including our Race Equality, LGBTQ+, Disability and Carers Networks - to increase the number of applications we receive from different backgrounds. If there is anything we can do to make our application process more accessible to you, please contact:recruitment@york.nhs.uk.

As part of seeking to become more inclusive, we will consider requests for flexible working from the start of your employment. It may not be suitable for every role, but we will try and be supportive where we can. We would encourage you to speak to the recruiting manager named within this advert to discuss any requirements you may have.

Armed Forces Friendly Employer

We are holders of the Gold Award from the Defence Employer Recognition Scheme, which is helping actively promote SaBRE - Supporting Britains Reservists and Employers. This means that we have made a statement of intent to support all Defence personnel, including with applications for employment.

COVID-19

Our Trust continues to strongly encourage our staff to be vaccinated against COVID19, this remains our best defence to protect our patients, ourselves and everyone else.


This advert closes on Monday 25 Nov 2024

Proud member of the Disability Confident employer scheme

Overall Job Purpose

Lead or assist a team in the development and building of CMMS databases for new or existing projects, provide support to the team(s) to ensure contractual/specification functionality and business objectives are achieved.

Take part in other activities assigned or designated by the manager relating to the current role.

Core Responsibilities

• Execution of the delivery for the CMMS Database build as per planned schedule and milestones.
• Lead and oversee work execution of a CMMS database build or data mining/gathering activity for use with a CMMS.
  Vetting on the quality of final data to be included in the CMMS build as per project specification.
• Coordination of data information requirement with EPCI group, project managers and client. Serves as the main point of contact on CMMS database project and/or remediation work.
• Identifying maintainable equipment/items to be marked for the CMMS from various sources.
• Meet with project groups in relation to data acquisition and delivery to the build team.
• Provide monthly reports on the status of assigned CMMS database build project.
• Guides and ensures database build team members follow project specification standards.
• Ensure CMMS database handover acceptance as per agreed specifications and functionality with client.
• Implementation of CMMS database remediation projects as per agreed work scope.
• Support and assist in implementation of change requests in the CMMS for the company’s internal operating assets when requested.
• To manage and update project schedules and progress diligently.
• To give feedback and suggest improvements to current CMMS database build or data mining/gathering processes.
• Ensure constant communication flow to the Information Management team and individuals involved in the project.

Educational Qualification:

• Preferable with a 4-year Bachelor Diploma in Marine or Mechanical or Electrical engineering.

Relevant Work Experience (Mandatory):

• At least 1.5 years working on CMMS plant maintenance database or from a marine vessel or onshore plant maintenance related background.
• Exposure to onshore production plant or Marine or Oil and Gas industry.
• User and operating knowledge to at least one Computerized Maintenance Management System (CMMS). E.g., SAP-PM, Maximo, NSE, AMOS, TM Master, Star Systems, etc.
• Practical exposure to data acquisition and manipulation to facilitate a secure, complete, and accurate data gathering and processing.
• Identifying tags, boundary mark ups, location and its boundaries from P&ID’s and other source materials. ***
• Able to identify maintainable equipment from tags and P&ID’s. ***

*** Mandatory requirement

Desirable Traits:

• Experience in being a member of or acted as a lead in a CMMS database building project.
• Working knowledge in reliability and maintenance analysis methodologies.
• General working knowledge on planned maintenance and project engineering specific to the oil and gas and/or marine industry.
• Familiarity with sea going vessel or onshore plant equipment and maintenance.
• Familiarity with industry standards such as ISO 9001 / 14001 / 14224.
• Strong analytical and evaluation capability.
• Excellent people management skills. Able to lead and motivate team members.
• Self-motivated with a strong drive to innovate and propose processes that will enhance work output.
• Excellent report writing and presentation skills.

Certifications:

• CMMS user training certification.

Computer Software:

• Advance Microsoft Excel operation and manipulation.
• Microsoft Office Suite operations.
• Knowledge in effective use of Microsoft Project for scheduling and planning.
• Good to have but not mandatory: Knowledge in Structured Query Language (SQL) / Python scripting / Visual Basic for Applications (VBA).

Ref ID: JT

Be part of a team of software engineers involved in making one of the world's most advance unmanned surface vessel and future marine technologies. We are a Singapore company with international connections. We are only looking for someone who is interested in being independent, creative and innovative and dare to try. You might also have a love for the seas and enjoy some real outdoor adventure. The job requires hardwork which means self motivation and those who fear this need not apply.

Your qualifications should involve a degree in computer engineering or equivalent but if you can demonstrate programming prowess, we are happy to consider.

We deal mostly in Python language, Java and C++ and we need someone who knows networking, TCP/IP well. Basically a fast learner can pick up these skills in a short time as long as you are willing to work hard for your own future.

We have many exciting projects in the pipeline.

Will you be that person?. Come for an interview and discuss your future now.

ABOUT Defense and Security

Our coverage spans across an extensive spectrum of fields, encompassing proven solutions in Defence & Military, Security & Surveillance, Intelligence & Big Data, Secure Radio Communications, to Cybersecurity, Network & Infrastructure Security.

We are at the forefront of cutting-edge technology with a rich legacy in excellence and innovations. With the combined expertise of 2100 staff in Singapore, and over 80,000 professionals across 68 countries, Thales Singapore Engineering Team is the key contributor in keeping Asia-Pacific & the world safe and secure, protecting and changing lives every single step we take.

Along with other departments in Singapore, such as Thales Research & Technology, we engineer state-of-art technological solutions from dreams into reality for the world. If you are ready to make a difference on a global scale, our team is the place for you. Join us today and embark on an extraordinary journey of writing the next chapter of history for a better world.

KEY ACTIVITIES AND RESPONSIBILITIES

As a DevOps Engineer, you are accountable for the following:

· Guarantee the technical solution for infrastructure & deployment

o System architecture & PaaS implementation

o Define and develop the means so that products are correctly and continuously integrated and deployed in development, quality assurance, and production environments, respecting established rules.

o Support delivery teams with automated tools and scripts to provision infrastructure resources (compute, network & storage) in a simple and efficient manner.

· Secure the product operability

o Understand the functional context of the product up to the point of challenging functional decisions

o Guarantees that the product underlying architecture is state of the art.

o Ensures that operational best practices (supervision/monitoring, backups, archives, log management) are implemented.

· Ensure the software team is informed and aware of operational constraints, and if required trains the team on those topics.

KEY KNOWLEDGE AND EXPERIENCE

To be successful in your role, you will have demonstrated and/or acquired the following knowledge and experience:

· System skillset :

o System Administration basic skillset (services, ssh, user management, …)

· DevOps tooling advanced skillset :

o Extensive working experience (at least 3 years) with Containerization: Docker, Kubernetes and Helm

o Using and administrating GitLab CI/CD

o Developing and maintaining Ansible Playbooks and Modules

o Deploying and setup of CI/CD pipelines (closely work with development team to develop CI/CD pipelines and deploy into private and public cloud)

o Scripting experience in Shell (bash or Python) etc

o Using Jira / Confluence

o Code documentation using Markdown

· Infrastructure as code skillset :

o Automate deployment and configuration using Ansible

o Working knowledge VMware ESX and other virtualization technologies

· Network basics :

o Good working experience with NGINX and HA proxy deployment and configuration

o Familiar with commonly used network commands (e.g. curl, telnet, netstat)

o LAN architecture (CIDR, vLAN, routing, NAT)

o DNS and SSL (internal, external)

· Security :

o Secrets management using various vaults (Gitlab security vaults, Kubernetes secrets)

o SSH administration

Good-to-have Skills:

· System Administration advanced skillset (IPtables, scripting, advanced kernel tuning, ...)

· Experience with Sonarqube and Nexus repository

· Cloud skillset:

o Use Azure CLI

o Automate Azure resources provisioning with Terraform

o Administrate a IaaS tenant (Azure)

o Administrate a PaaS tenant

· Build for the Run:

o Deploy and administrate monitoring and alerting tooling (grafana, prometheus)

o Craft monitoring and alerting thresholds

o Deploy and administrate a log concentration tool (ELK and FluentBit)

o MQTT broker configuration

· Other useful skills:

o General technical architecture methodology understanding (RPO, RTO, SLA, flow matrix, ...)

o Database administration basics (ex : MySQL dump, clustering models, deployment architecture)

o Agile methodology and process understanding and experience

o Development skill with one of the following language: Java, Go, C#

Behaviour:

· Produces Ingenious, astute design, with an open mind

· Excellent communication, presentation and interpersonal skills. Able to fluently communicate with local project team and external stakeholders.

· Collaborative team players preferred

Introduction:

Hostmost Group of Companies is a leading Marine Radio Communications and Navigation system service provider. Established in 1989, we have expanded our operations globally, providing reliable services to clients across different regions. With 14 wholly owned offices and depots spanning Asia to North America, we pride ourselves on maintaining a strong global service network. At Hostmost Group, we believe in continuous improvement and invest in staff training to stay ahead of industry trends and requirements. Our group is currently expanding and there will be several vacancies available.

Job Descriptions:

· Manage sales enquires and process quotations.

· Process sales or service orders.

· Process draft billings.

· Meet up with customers.

· Any ad hoc duties as assigned

Requirement:

· Diploma & above.

· Minimum 2 years of sales or admin experience. Commensurate with experience.

· Knowledge of SAP will be an advantage.

· We are currently prioritising candidates able to work in Singapore without the need for sponsorship of an employment visa.

Location:

· Near Pasir Panjang MRT station (SINGAPORE)

Interested candidates who wish to apply for the advertised position, please send full resume with the following details:

1. Reasons for leaving ALL your employment

2. Current & expected salary

We regret that only shortlisted candidates will be notified.

Job Types: Full-time, Permanent

Benefits:

· Dental insurance

· Health insurance

Schedule:

· Monday to Friday

· Weekend availability

Education:

· Local Polytechnic Diploma (Preferred)

Experience:

· Sales: 2 years (Preferred)

Job Types: Full-time, Permanent

Pay: $3,000.00 - $5,500.00 per month

Benefits:

• Dental insurance
• Health insurance

Schedule:

• Monday to Friday

Supplemental Pay:

• 13th month salary
• Performance bonus

Work Location: In person

1.Responsible for the coordination and management of the operation and maintenance team, including network/hardware planning management, basic operation and maintenance, database operation and maintenance, application operation and maintenance, operation and maintenance platform, etc.;

2. Establish and improve standardized operation and maintenance systems, processes, management strategies and security strategies to ensure the quality of operation and maintenance;

3. Responsible for the deployment and daily maintenance and management of the company's operation and maintenance systems to ensure the normal operation and emergency response of the operation system;

4. Ensure the safety of operation and maintenance of the department, handle operation and maintenance accidents, optimize various maintenance workflows, and continuously reduce system risks;

5. Responsible for the management of the operation and maintenance team, the improvement of employees' work skills, etc.

Job Description:

• Experience in data center deployments and building large-scale infrastructure.
• Strong knowledge of network routing and switching concepts and protocols, including BGP, TCP/IP, VLAN, ISIS, OSPF, and MPLS.
• Proficiency in performing basic tasks using the Linux/Unix command line interface.
• Proven ability to analyze complex situations and apply troubleshooting skills, systems, tools, and creative problem-solving abilities under pressure.
• Preferred experience with Service Provider network hardware platforms and architectures, including routers, switches, and data center switching platforms.
• Prior experience with field-based work in data centers.

Education:

Bachelor’s in computer science, Computer Engineering or equivalent/higher

Language:

Fluent written and spoken English

Get to Know the Team

When you’re an engineer at Grab, you'll help shape the heart and soul of the company. Our team's mission is to create amazing services and tools that impact hundreds of millions of consumers, driving partners, and fellow Grabbers every day.

The applications we develop are core to our business. Your contributions will touch millions of lives, and you'll be recognised when you exceed our high expectations. You'll work in an international team of experienced developers who prioritise quality and new ideas. In our agile, test-driven development environment, you'll not only build new features and platforms but also evaluate the latest in mobile technology.

We're constantly improving our food delivery and supermarket platforms, handling tens of millions of bookings daily. New code reaches hundreds of millions of users quickly. You'll enhance features for our consumer and delivery-partner facing app, focusing on Deliveries, but we'll always welcome your fresh ideas. You'll work on one of the largest codebases in Southeast Asia, making an impact.

Get to Know the Role

We are looking for individuals with experience working within distributed environments to join our big data engineering group. You will report to the Senior Engineering Manager and be based onsite in Singapore. You will automate multiple big data flows, performance engineering, and building the internal big data pipeline platform to maintain the quality of our critical data. We offer the opportunity to work with a world-class engineering team managing petabytes of data in Southeast Asia.

The Critical Tasks You Will Perform

• Design the data warehouse schema in Bigquery and also be able to write code to process data from heterogeneous sources like APIs, PubSub, Transactional Databases.
• Lead, design, develop and manage data pipelines on the data ecosystem.
• Be hands on development in designing and developing ETL/ELT processes to ingest data into the data warehouse with focus on data quality and profiling.
• Participate in collaborations in external and team members and build SLAs.
• Take ownership of not just the Data Platform but also building the right
• Practise to lead the way forward for the team.
• Collaborate across teams and translate the requirements into actual workable
• Technical solutions.
• Ensure data quality and governance and participate in code reviews with focus on high quality technical documentation.

Qualifications

What Essential Skills You Will Need

• Bachelors/Masters in mathematics, computer science or other related quantitative discipline.
• 5+ years experience in data engineering roles.
• Familiarity with Hadoop, Hive, HBase, Spark, Flink, Airflow, Kafka, and Cloud software such as
• Redshift, EMR, BigQuery, Dataflow, Cloud Composer, BigTable, PubSub etc.
• Exposure to big data solutions from various data sources such as AWS, GCP, Microsoft Azure, Alibaba Cloud.
• Familiar with CI/CD and automating the deployments from dev to staging to production
• platforms.
• Experience with Data Warehouse concepts - Fact/Dimension Tables, CDC, SCD,
• partitioning and bucketing strategies.
• Proficient in writing complex SQLs, and experience in at least anyone of Java/Python/Golang.
• Experience in Metadata management, data discovery and creating data lineages.
• High personal code/development standards (peer testing, unit testing, documentation, etc).

Introduction:

Hostmost Group of Companies is a leading Marine Radio Communications and Navigation system service provider. Established in 1989, we have expanded our operations globally, providing reliable services to clients across different regions. With 14 wholly owned offices and depots spanning Asia to North America, we pride ourselves on maintaining a strong global service network. At Hostmost Group, we believe in continuous improvement and invest in staff training to stay ahead of industry trends and requirements. Our group is currently expanding and there will be several vacancies available.

Job Descriptions:

·Assisting the sales team.

·Manage sales enquiries and create quotations.

·Process sales or service orders.

·Process draft billings.

·Any ad hoc duties as assigned

Requirement:

·Diploma & above.

·Knowledge of ERP, SAP, and MICROSOFT BUSINESS CENTRAL will be an advantage.

. 1 year experience

Location:

·Near Pasir Panjang MRT station (SINGAPORE)

Interested candidates who wish to apply for the advertised position, please send full resume with the following details:

1. Reasons for leaving ALL your employment

2. Current & expected salary

We regret that only shortlisted candidates will be notified.

Career Path:

The Sales Assistant, who can prove to learn and progress well can promote to next advanced roles as Sales & Service Coordinator within the 1st year.

Job Types: Full-time, Permanent

Pay: $2,500.00 - $3,000.00 per month

Benefits:

• Dental insurance
• Health insurance

Schedule:

• Monday to Friday

Supplemental Pay:

• 13th month salary
• Performance bonus

Work Location: In person

You will drive R&D initiatives to make our autonomous vehicles operate at superhuman capabilities for comfortable, safe driving. On a daily basis, you will:

• Define and influence the direction of the team, organization, and/or department
• Advise leaders on technology problems and solutions
• Connect and drive business impact through technology solutions
• Formulate problems, architect solutions, and design processes
• Prototype, evaluate, implement, and iterate on solutions
• Pioneer research into state of the art solutions and systems for autonomous vehicles
• Productionize and deploy solutions onto autonomous vehicle fleets
• Mentor and grow junior and experienced engineers and researchers
• Help create and reinforce a culture of inclusion, innovation, and excellence

What We’re Looking For:

• Masters or PhD in Machine Learning, Computer Science, Applied Mathematics, Statistics, Physics or a related field; or equivalent industry experience
• In-depth understanding of common Machine Learning and Deep Learning algorithms
• Experience designing, training, and analyzing neural networks for at least one of the following applications: object detection, semantic/instance segmentation, visual classification, motion/gesture recognition, sensor fusion, multitask learning, motion prediction, and/or multi-object tracking
• Effectiveness at leading and executing large, complex technical initiatives
• Strong track record of tackling ambiguous problems, creating clarity from it, and driving it to successful outcomes
• Advanced knowledge of software engineering principles including software design, source control management, build processes, code reviews, testing methods
• Fluency in Python, including standard scientific computing libraries and Python bindings development experience
• Experience with PyTorch or other deep learning frameworks
• Experience working with large data sets and deriving insights from data
• Experience mentoring and leading others

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.