Total 138 Senior Executive test engineer job vacancies in Education / Training category in The United States of America

The School of EEE invites applications for the position of Senior Research Engineer I (Satellite System Hardware).

The Research Engineer will work on a project to conduct the research on development of energy harvesting systems used in low power smart sensors for monitoring of buildings and bridges, as well as the integration of energy harvesters, power management circuit and monitoring sensors.

Key Responsibilities:

• Design and develop MCU/MPU/SOC platform.
• Analyze system requirements and generate modular specifications.
• Identify and qualify components for spacecraft operation.
• Build, test and modify prototypes.
• Circuit validation and system operational validation.
• Test and characterize circuits.
• Code and debug in embedded C.
• FPGA programming.
• Guide/design printed circuits to comply to EMC/EMI requirements.
• Work with team members to ensure smooth integration of various subsystems.
• Document all process and implementation.
• Manage tasks according to project schedule.
• Support the centre and project operation, such as satellite mission operation, satellite testing and student activities.
• Work on a project to conduct the research on development of energy harvesting systems used in low power smart sensors for monitoring of buildings and bridges.
• Work on integration of energy harvesters, power management circuit and monitoring sensors.

Job Requirements:

• Bachelor‘s degree and above in Electronic Engineering or related field from a reputable university.
• Diploma with good industry experience may also be considered.
• Experience in MCU/MPU/SOC embedded system platform design and programming.
• Good understanding and ability in analog and digital circuit design
• Proficient and good skill in pcb artwork such as Altium or Orcad.
• Knowledge of various embedded hardware and application systems.
• Experience in generation of design specification documentation, schematic capture, and circuit analysis and simulation.
• Experience with debugging tools such as bus and spectrum analyzer.
• Experience in CAN, SPI, I2C bus protocols.
• Able to multi-task and work in a dynamic environment.
• Fluent verbal and written communications in English.
• Complete full product life cycle knowledge is preferred.
• Experiences in FPGA, Analog or RF design is preferred.

We regret that only shortlisted candidates will be notified.

Hiring Institution: NTU

Purpose: This position seeks to recruit an experienced research engineer to assist in developing new sustainable methodologies for chemical breakdown of waste plastics.

Job Responsibilities:

• The researcher will be involved in and contribute actively to waste plastics upcycling research, including but not limited to the following:
• Assist in synthesis and characterisation of homogeneous and heterogeneous catalysts and assist in reaction screening
• Be in charge of essential research equipment and maintennance
• Assist in training and mentoring staff, interns and students as and when required
• Curating and managing experimental data, and assist in preparation of reports, presentations, technological disclosures and manuscripts

Job Requirements:

• MSc in Chemistry or equivalent with at least 3 years experience
• Familiar with chemical synthesis and routine/ essential characterization techniques
• Strong communication and interpersonal skills and ability to work cohesively in a team whilst sharing resources
• Strong interest to learn about new technologies
• Excellent organizational skills including attention to details
• Willingness to learn, with adaptability and flexibility to take on required/necessary tasks beyond the job description

The above eligibility criteria are not exhaustive. A*STAR may include additional selection criteria based on its prevailing recruitment policies. These policies may be amended from time to time without notice. We regret that only shortlisted candidates will be notified.

We are looking for a candidate for high-speed analog integrated circuit design. This candidate will contribute to the development of high linearity silicon photonics modulators for 6G and beyond communication systems. This requires the candidate to work closely with the optics team on the electro/optical co-design as well as system integration and validation.

• Perform system level analysis and design, to derive circuit-level design specifications
• Design and tapeout ICs which include state-of-the-art circuit blocks, e.g. wideband linear low-noise amplifier and transimpedance amplifier with a focus on circuits interfacing with silicon photonics elements
• Work together with team to investigate novel circuit/system solutions to create new inventions

Job Requirements

• Qualification & Field of Study: Minimum Bachelor’s degree and above in Electronic Engineering
• Min. Years of Experience: Minimum 2-years of transistor level analog circuit design experience

Other Requirements (e.g. Skills, Competencies)

• Good understanding of CMOS analog IC design methodologies and successful tapeout experience
• Familiar with analog IC design and verification flow
• Industry experience would be a plus
• Familiar with the IC test equipment such as oscilloscope, spectrum analyzer, etc.
• Good communication skills (both written and spoken)
• Able to generate high quality scientific publications and patents
• Team player, quick learner and self-driven

We are looking for a candidate for high-speed analog and mixed-signal integrated circuit design. This candidate will contribute to the development of high-speed silicon photonics transceiver for next generation wireline communication system. This requires the candidate to work closely with the optics team on the electro/optical co-design as well as system integration and validation.

• Perform system level analysis and design, to derive circuit-level design specifications.
• Design and tapeout ICs which include state-of-the-art circuit blocks e.g. analog-to-digital converter, equalizers (CTLE, DFE) as part of the high-speed data link system.
• Work together with team to investigate novel circuit/system solutions to create new inventions

Job Requirements

• Qualification & Field of Study: Minimum Bachelor’s degree and above in Electrical Engineering
• Min. Years of Experience: Minimum 2-years of transistor level analog circuit design experience

Other Requirements (e.g. Skills, Competencies)

• Good understanding of CMOS analog and mixed-signal IC design methodologies and successful tapeout experience
• Familiar with analog and mixed-signal IC design and verification flow
• Industry experience would be a plus
• Familiar with the IC test equipment such as oscilloscope, spectrum analyzer, etc.
• Good communication skills (both written and spoken)
• Able to generate high quality scientific publications and patents
• Team player, quick learner and self-driven

We are looking for a candidate for high-speed analog and mixed-signal integrated circuit design. This candidate will contribute to the development of high-speed silicon photonics transceiver for next generation wireline communication system. This requires the candidate to work closely with the optics team on the electro/optical co-design as well as system integration and validation.

• Perform system level analysis and design, to derive circuit-level design specifications.
• Design and tapeout ICs which include state-of-the-art circuit blocks e.g. analog-to-digital converter, equalizers (CTLE, DFE) as part of the high-speed data link system.
• Work together with team to investigate novel circuit/system solutions to create new inventions

Job Requirements

• Qualification & Field of Study: Minimum Bachelor’s degree and above in Electrical Engineering
• Min. Years of Experience: Minimum 2-years of transistor level analog circuit design experience

Other Requirements (e.g. Skills, Competencies)

• Good understanding of CMOS analog and mixed-signal IC design methodologies and successful tapeout experience
• Familiar with analog and mixed-signal IC design and verification flow
• Industry experience would be a plus
• Familiar with the IC test equipment such as oscilloscope, spectrum analyzer, etc.
• Good communication skills (both written and spoken)
• Able to generate high quality scientific publications and patents
• Team player, quick learner and self-driven

Job description
The candidate will be part of a team developing research projects on textual analysis and data mining. The responsibilities include but are not limited to:

• Research, develop and evaluate textual analysis algorithms and implementations
• Work with team members to develop end-to-end solutions leveraging on textual analysis and data mining for various applications domains, such as healthcare, aerospace, built environment and fintech
• Brainstorming technical solutions to address relevant industry problem statements
• Assist project leads in the execution and completion of tasks to required standards

Job requirements

• Master or Bachelor degree in STEM or AI/ML related fields
• At least 4 relevant years of experience
• AI/ML experience in industry and/or academia is highly sought
• Strong programming skills in Python (preferred) or R
• Knowledge and demonstrable experience in open-source NLP packages such as NLTK, Word2Vec, SpaCy, Gensim, Stanford CoreNLP will be a differential
• Smart and hardworking individual who can work under pressure within a tight deadline
• A good team player with can-do attitude
• Solid communication skills and problem-solving skills

As a Heterogeneous Integration Engineer, candidate will play a pivotal role in integrating modules, utilizing a wide spectrum of integration processes such as pick & place and flip chip bonding to assemble multiple components into a functional module. Additionally, you will be involved in encapsulating the modules to withstand reliability tests. This is an exceptional opportunity to work with state-of-the-art heterogeneous integration equipment, engage in ground-breaking research, and explore the frontiers of advanced electronics modules.

Key responsibilities for this role include:

Process development: Drive the advancement of various heterogeneous integration processes such as pick & place, flip chip bonding, underfill, solder ball attachment, and encapsulation. Your focus will be on achieving high reliability for electronic modules. This includes evaluating processing materials, executing "design of experiments" (DoE), performing metrology inspections, and reporting including data analysis.

Intellectual property and know-how development:

Seize the opportunity to conceptualize and develop intellectual properties and valuable know-how that aligns with industry needs.

Job Requirements:

• Degree/Master in Materials Science, Mechanical, Manufacturing, Chemical or Chemistry, and Electrical or Electronics.
• At least 5 years experience in semiconductor processes such as pick & place, flip chip & encapsulation will be added advantage.
• Fresh graduate is welcome to applied for this position of “Heterogeneous Integration Engineer”.
• Strong communication, industry awareness, and problem-solving skills.
• Highly motivated to succeed, a self-starter who is driven and able to work with others effectively to get things done.

The above eligibility criteria are not exhaustive. A*STAR may include additional selection criteria based on its prevailing recruitment policies. These policies may be amended from time to time without notice. We regret that only shortlisted candidates will be notified.

As a Heterogeneous Integration Engineer, candidate will play a pivotal role in integrating modules, utilizing a wide spectrum of integration processes such as pick & place and flip chip bonding to assemble multiple components into a functional module. Additionally, you will be involved in encapsulating the modules to withstand reliability tests. This is an exceptional opportunity to work with state-of-the-art heterogeneous integration equipment, engage in ground-breaking research, and explore the frontiers of advanced electronics modules.

Key responsibilities for this role include:

Process development: Drive the advancement of various heterogeneous integration processes such as pick & place, flip chip bonding, underfill, solder ball attachment, and encapsulation. Your focus will be on achieving high reliability for electronic modules. This includes evaluating processing materials, executing "design of experiments" (DoE), performing metrology inspections, and reporting including data analysis.

Intellectual property and know-how development:

Seize the opportunity to conceptualize and develop intellectual properties and valuable know-how that aligns with industry needs.

Job Requirements:

• Degree/Master in Materials Science, Mechanical, Manufacturing, Chemical or Chemistry, and Electrical or Electronics.
• 2 years experience in semiconductor processes such as pick & place, flip chip & encapsulation will be added advantage.
• Fresh graduate is welcome to applied for this position of “Heterogeneous Integration Engineer”.
• Strong communication, industry awareness, and problem-solving skills.
• Highly motivated to succeed, a self-starter who is driven and able to work with others effectively to get things done.

The above eligibility criteria are not exhaustive. A*STAR may include additional selection criteria based on its prevailing recruitment policies. These policies may be amended from time to time without notice. We regret that only shortlisted candidates will be notified.

KEY JOB PURPOSE

We are looking for a focused and highly motivated individual to contribute to a dynamic and growing team. This team aims to expedite the novel light-weight and flexible perovskite solar cells for low-weight applications such as portable and wearable devices, BIPV and IoT.

KEY RESPONSIBILITIES

As a Research Engineer specializing in flexible perovskite solar cells, your responsibilities will revolve around conducting research, development, and optimization of this emerging technology. Here are some key job scopes for this position:

· Optimize deposition techniques, such as solution processing, vacuum deposition, or printing methods, to achieve uniform and high-quality perovskite thin films on flexible substrates.

· Investigate new materials, device architectures, and manufacturing methods to improve the overall performance and reliability of flexible perovskite solar cells.

· Investigate encapsulation strategies and barrier materials to protect flexible perovskite solar cells from degradation.

· Design and execute experiments to fabricate and characterize flexible perovskite solar cells.

· Conduct accelerated aging tests and reliability studies to evaluate long-term stability and durability of the devices.

· Scale up procedures from lab-scale to manufacturing scale.

· Conceptualize and realize new device configurations with enhanced stability and efficiency

· Report writing and results presentation

· Regular maintaining of research and study records, conceptualize, execute and interpret scientific experiments

· Work closely with internal colleagues in Singapore and China to work in company target.

COMPETENCIES AND QUALIFICATION REQUIREMENTS

· Master, PhD in Materials Science, Chemistry or related fields with in-depth knowledge of materials (especially perovskites), device physics and processing.

· Deep understanding of all kind of perovskite materials and interface engineering. Experience in flexible perovskite solar cells and low-temperature process/deposition is a plus.

· Expertise in device making and materials characterizations.

· Good skills in time management, experiment design and data analysis.

· Good communication and interpersonal skills.

We regret that only shortlisted candidates will be notified.

The eVTOL Research and Innovation Centre at School of Mechanical & Aerospace Engineering (MAE), Nanyang Technological University, Singapore, is looking for a strong candidate as Senior Research Engineer I in the area of Flight Control System.

Key Responsibilities:

• Design, development, and integration of avionics systems for advanced eVTOL project, ensuring seamless integration of avionics components with other aircraft systems.
• Oversee the design and development of avionics hardware, including sensor integration and communication interface control.
• Design a new ground station together with the supplier to operate the eVTOL
• Manage software development for avionics systems, ensuring compliance with safety and performance standards.
• Develop and implement a testing plan to verify the functionality and reliability of avionics systems.
• Conduct system testing, and troubleshooting, and participate in flight testing as needed.
• Prepare and maintain comprehensive documentation, including technical specifications, test plans, test reports and operation manual.
• Manage suppliers, and communicate project status and technical information to both technical and non-technical stakeholders.

Job Requirements:

• Bachelor’s or master’s degree or Ph.D in aerospace engineering, Electrical Engineering, or a related field.
• Minimum 3 years experience in designing and implementing flight control systems for aircraft.
• Strong proficiency in control theory, dynamic modelling, and simulation tools.
• Familiar with DO 160, DO178 and DO254.
• Excellent problem-solving and analytical skills.
• Effective communication and teamwork abilities.
• Fluent English skill is a must.

We regret that only shortlisted candidates will be notified.

The eVTOL Research and Innovation Centre at School of Mechanical & Aerospace Engineering (MAE), Nanyang Technological University, Singapore, is looking for a strong candidate as Senior Research Engineer I in the area of Airframe or Structure Design.

Key Responsibilities:

• Lead the conceptualization and detailed design of composite structures for eVTOL, ensuring they meet performance, weight, and manufacturability requirements.
• Develop 3D models and detailed engineering drawings using CAD software, ensuring precision and compliance with industry standards.
• Utilize advanced engineering principles and tools to optimize composite structures for strength, stiffness, and durability.
• Conduct material testing, sub-component testing and load proof testing to validate performance and reliability.
• Collaborate with aerodynamicists, stress analysts, and other stakeholders to integrate composite structures seamlessly into overall system designs.
• Define and specify load cases, load distributions, and factors of safety for composite structures.
• Define and optimize laminate stacking sequences to achieve desired mechanical properties.
• Select appropriate layup techniques and manufacturing processes for composite components.
• Work closely with manufacturing teams to ensure feasibility and efficiency in the production of composite structures.
• Focus on weight reduction strategies while maintaining structural integrity and performance.
• Prepare technical reports and presentations to communicate design concepts and progress to both technical and non-technical stakeholders.

Job Requirements:

• Bachelor's or master’s degree or Ph.D in aerospace engineering, Mechanical Engineering, or a related field.
• 5 years of experience in composite structure design and analysis.
• Strong knowledge of composite materials, manufacturing processes, and industry best practices.
• Experience with CAD design software such as Solidworks, NX or CATIA
• Experience with aerospace or automotive composite structures is highly desirable.
• Excellent problem-solving skills and the ability to work in a collaborative team environment.
• Effective communication skills, both written and verbal.
• Fluent English skill is a must.

We regret that only shortlisted candidates will be notified.

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modelingsoftware, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally andexternally.

QUALIFICATIONS

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

QUALIFICATIONS

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

The Centre of Excellence in Maritime Safety (CEMS) is a national R&D centre jointly established by the Singapore Polytechnic and the Singapore Maritime Institute. It collaborates with the maritime industry and research community to develop innovative digital solutions and training systems to enhance maritime safety, through state-of-the-art research facilities at CEMS, such as South-east Asia's first navigation research simulator.

The appointee will be part of the CEMS AI team in developing machine learning models, analytics capabilities in big data infrastructure, and conducting data science studies for SP. The resulted work will be used to enhance simulator training and assessment, innovate in training pedagogy and develop digital technologies for the maritime industry.

Responsibilities:

• Design research methodologies to develop AI algorithms and models. This includes designing and conducting experiments, as well as the implementation of the developed tools, systems and applications
• Build, organize, and maintain effective and efficient data infrastructure
• Build and develop data analytics capabilities in big data and conduct data science studies for SP
• Strengthen industry partners engagement in co-developing and adopting new technologies and new initiatives
• Collaborate with simulator technologist to develop and deploy AI solutions to enhance simulator capabilities in training and assessment
• Oversee awarded industry projects and ensure key milestones and project deliverables are met
• Conceptualise research proposals and present research concepts and ideology to senior management

Requirements:

• Relevant qualifications in Computer Science or related disciplines
• Relevant working experience and good knowledge in at least two of the following areas: 1) Natural Language Processing 2) Speech Recognition 3) Computer Vision
• Proficient in one or more programming languages such as Java, Python, C#, or C++
• Familiar with machine learning frameworks such as Tensorflow, PyTorch, or Keras
• Excellent communications and interpersonal skills and possess the ability to influence and engage effectively with various stakeholders
• Ability to work in a fast-paced environment
• Analytical and meticulous individual who can think strategically that align with SP and national agenda in maritime safety
• Previous experience in data science, including data analytics, data visualization, and statistical analysis, is a plus

Successful applicant will be offered a 2-year contract in the first instance.

If you are shortlisted for the position, you should hear from us within 30 days of the closing date of the advertisement.

A qualified candidate will be self-motivated with strong technical and analytical skills as well as possess practical and hands-on approach to engineering control in the areas of metrology management

Responsibilities:

· Recipe creation and optimisation for new R&D applications requirement.
- Preventive and corrective maintenance planning cum execution and vendor management.

· To take charge of new tools technical assessment and tender creation (equipment cum process application startup) and service contract tender set-up

· Drive continuous improvement projects (CIP) to achieve better measurement repeatability (MSA, GR&R, SPC etc).

· To set-up appropriate process and product control plan and out of control action plans (OCAP)

· Provide technical training to related staff on best-known practices in terms of application metrology recipe creation.

Requirement:

· Bachelor degree in Electrical and Electronics, Material, Physics or Chemical engineering

· Minimum 3~5 years of hands-on semiconductor experience (preferably in metrology application and equipment maintenance)

· Possess computer soft ware skills (i.e. JMP, Minitab, SQL, Visual basic, etc)

· Knowledge in problem solving and quality control skills (i.e. LEAN 6sigma, RCA, DOE, etc)