Total 573 QC Engineer job vacancies in Education / Training category in The United States of America

Job Description:

The candidate needs to implement deep learning algorithms and propose novel solutions that optimize the computational efficiency for training and inference of foundation model. The candidate is expected to work as a team in problem analysis, design solutioning, conduct evaluation to build state-of-the-art foundational models and develop use cases. Strong problem solving, coding, and communications skills are expected.

Job Requirement:

· BSc/MSc in ML, NLP, background in speech, natural language understanding, multi-modal AI

· At least 5 years of experience

· Proficient programming skills, familiarity with Linux is a must

· Familiar with different deep learning and LLM training frameworks

· Strong analytical and critical thinking skills, good team player with good communication and interpersonal skills

· Knowledge in ML and Deep learning algorithms, and advanced NLP techniques are necessary

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.

Responsibilities

• Study the working flow between Technical, Production and Material, including the form, procedures, information flows, and system designs.
• Integrate Lean manufacturing Philosophy in the process of redesign
• Time study for the production process and ergonomics
• Under smart factory renovation, coordinate the activities, like facilitating the meeting, doing the necessary analysis, and providing the ideas from IE concern to the problems.
• Develop Workflow / Work instructions in the operation to control
• Carry out the analysis for production, QAQC, MMD. E.g., production scheduling, machine maintenance, QAQC quality VS cost, logistic & Store management analysis.
• Lead the ESG Smart factory initiatives as the company's ambassador and coordinated all meetings

Requirements

• Degree in Mechanical Engineering or relevant
• Knowledge of Factory automation
• Familiar with MS office
• Good communication and presentation skills
• Understand technical drawing
• Energetic and resourceful

Job Description:

The candidate needs to implement deep learning algorithms and propose novel solutions that optimize the computational efficiency for training and inference of foundation model. The candidate is expected to work as a team in problem analysis, design solutioning, conduct evaluation to build state-of-the-art foundational models and develop use cases. Strong problem solving, coding, and communications skills are expected.

Job Requirement:

· BSc/MSc in ML, NLP, background in speech, natural language understanding, multi-modal AI with minimum 4 years of relevant experience

· Proficient programming skills, familiarity with Linux is a must

· Familiar with different deep learning and LLM training frameworks

· Strong analytical and critical thinking skills, good team player with good communication and interpersonal skills

· Knowledge in ML and Deep learning algorithms, and advanced NLP techniques are necessary

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 University of Applied Learning, SIT works closely with industry in our research pursuits. Our research staff will have the opportunity to be equipped with applied research skill sets that are relevant to industry demands while working on research projects in SIT.

The research staff conducts research in the areas of video analytics for remote pilotage, video compression, advanced sensing techniques, sensor and operation data fusion, data analytics and machine learning algorithms. The primary responsibility of this role is to deliver the program objectives for remote pilotage.

Key Responsibilities:

• Participate in and manage the research project with Principal Investigator (PI), Co-PI and the research team members to ensure all project deliverables are met.
• Carry out Risk Assessment, and ensure compliance with Work, Safety and Health Regulations.
• Work independently, as well as within a team, to ensure proper operation and maintenance of equipment.
• Any other duties as assigned

Job Requirements:

• Have relevant competence in the areas of sensing or data analytics or sensor fusion
• Have a degree in electrical, or computer engineering or equivalent.
• Knowledge of programming, video analytics and compression will be advantageous.

Key Competencies:

• Good knowledge in sensing, programming, data analytics.
• Possess strong analytical and critical thinking skills.
• Show strong initiative and take ownership of work.

The National Centre for Research in Digital Trust invites applications for the position of Research Engineer II.

Nanyang Technological University’s National Centre for Research in Digital Trust (DTC) is a Trust Technology Research Centre to execute a national program to help put Singapore into a strong trust hub. The key objective is to support efforts to create a trusted digital environment for its people and businesses by providing businesses and consumers with greater assurance and confidence as they digitalize.

Key Responsibilities:

• Conduct research and development in trust technologies – translating algorithms into tools and frameworks and implementing working prototypes that can demonstrate how research outputs can be innovated to build new capabilities.
• Work closely with Centre’s researchers to design and develop research prototypes into the proof-of-concept systems.
• Design and build working tools that can support the technology transfer of new capabilities to research partners and can be used to showcase the value of a given research outcome.
• Write and maintain technical documentation, presentations, and papers on research into trust technologies testing, helping to educate and raise the overall competency in emerging areas of trust technologies.
• Engage global partners and researchers to understand latest trends and advance Singapore’s mindshare in this domain.

Job Requirements:

• Master’s degree in computer science/ engineering or related fields required.
• Candidates with minimum of 5 years continuous working experience in a similar role will be considered when appropriate.
• Bachelor degree with minimum 8 years relevant experience may be considered
• Proficiency in programming languages Java, C/C++ is a must.
• Experience in other programming languages and/or frameworks such as Python, Spring will be an advantage.
• Proficiency with using common Linux distributions such as Ubuntu, CentOS is a must.
• Proficiency and experience in developing network and communication protocols and using socket programming in cloud-based systems is a must.
• Proficiency in installing, configuring and using SQL database is a must. Experience in other data processing technologies such as NoSQL, Hadoop will be an advantage.
• Proficiency and experience in working with different virtualization technologies to enhance cloud service system performance is a must.
• Experience in developing ML systems from end to end, including data exploration, feature engineering, model training/evaluation will be advantageous.

Competencies:

• Good communication skills and some interdisciplinary interest is desired, to be able to interact with researchers at the Centre.
• Ability to work independently and to develop solutions under strict timelines is a must.
• Ability to code-switch effortlessly between talking business and talking tech, and can help stakeholders, engineers, and businesses easily understand difficult research tech concepts.
• Good knowledge of system platform development, socket programming, middleware technologies, API development, related application frameworks and service layer models.
• Familiarity with general API security concepts (such as key validation, authentication, authorisation)
• Good understanding of relational database and Unix shell scripting skills.

We regret that only shortlisted candidates will be notified.

Role:

Conduct exploratory and applicative research in the development of new chemistry for precision cleaning, coating materials and processes.

Involve the optimization of precision cleaning, coatings and assist the process development, product trials, scale ups & trouble shooting, and failure analysis.

Responsibilities:

• Work with Engineers in the development of new chemistry, coating products and processes.
• Optimize the coating materials, formulations, processes, and products.
• Perform complex processing experiments, and / or lead the projects / studies.
• Adapt to new technologies, new designs of experiments and new laboratory techniques.
• Write experimental results and technical reports and present at group and R&D meeting.
• Interface with other Coating team personnel as well as global R&D Departments, Engineering, Production, laboratories, vendors, etc.
• Being responsible for internal technical support and external technical cooperation.
• Being responsible for the development and innovation of products, creating and implementing the POR, the standardization and quantitative management of the team.
• Doing technical analysis and quality analysis regularly, being responsible for avoiding and remedying the mistakes of products and guiding the supervision of unqualified products.
• Strong business partnering, influencing, communication, stakeholder alignment, people management skills.
• Any other duties as assigned

Requirements:

· Diploma or Degree in Mechanical / Material Engineering

· 1 year of working experience in production environment

· On job training includes 1 year attachment in Production line.

· Innovation mind & strong interest in laboratory work and passionate for innovation

· Initiative, good analytical skills & good report writing skills.

· Self-motivated team player and able to work with minimum supervision

· Good communication and interpersonal skills, able to work efficiently in a multi-cultural environment.

· Demonstrates excellent verbal and written communication skills in English and Mandarin will be an added advantage in order to liaise with associates.

· Required to travel overseas on business needs.

The candidate will be working on projects related to vessel electrification and underwater robot.

Job description

1. Implement state-of-the-art techniques and tools such as data-driven modelling, AI, deep learning, machine learning etc, to solve challenging problems.

2. Perform dynamic modelling of physical systems, control design and the coupling of numerical and physical systems applied to electric vessels, underwater Robotics and/or other systems operating in the ocean environment.

3. Develop hardware and software control architectures, sensing systems to support R&D in the areas of offshore hydrodynamics and fluid-structure interactions. This includes developing, testing, troubleshooting software and verification procedures.

4. Develop engineering requirements, specification and validation criteria for high-quality research using combinations of physical experiments, sensing, numerical simulations as well as data analytics to develop integrated physical-numerical modelling, simulations and applications.

5. Survey literature and implement state-of-the-art techniques and tools (such as AI, deep learning, machine learning, etc) to solve challenging problems.

6. Collaborate with industry partners, affiliated research institutes and other relevant stakeholders to contribute to grant proposals for research funding consistent with the strategic goals of TCOMS.

7. Any other duties as assigned by supervisor.

Job Requirements

Qualification & Field of Study:

The candidate should have a background in engineering / computing or related fields.

Other Requirements:

· Good interpersonal and communications skills.

· Ability to adapt and work effectively as members of a team.

· Resourceful and self-driven with a high degree of professional integrity.

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.

TikTok is the leading destination for short-form mobile video. Our mission is to inspire creativity and bring joy. TikTok has global offices including Los Angeles, New York, London, Paris, Berlin, Dubai, Singapore, Jakarta, Seoul and Tokyo.

Why Join Us

Creation is the core of TikTok's purpose. Our platform is built to help imaginations thrive. This is doubly true of the teams that make TikTok possible. Together, we inspire creativity and bring joy - a mission we all believe in and aim towards achieving every day.

To us, every challenge, no matter how difficult, is an opportunity; to learn, to innovate, and to grow as one team. Status quo? Never. Courage? Always. At TikTok, we create together and grow together. That's how we drive impact - for ourselves, our company, and the communities we serve. Join us.

About TnS-Live-Algo Team

Our algorithm team is responsible for developing state-of-the-art computer vision and multimodality models and algorithms to protect our platform and users from the content and behaviors that violate community guidelines and related local regulations. With the continuous efforts from our team, TikTok Livestream is able to provide the best user experience and bring joy to everyone in the world.

Job Description

We are looking for a highly self-motivated research engineer to join our algo team in Singapore. In our team, you will have the opportunity to participate in the development of the cutting-edge content understanding model to help improve the recognition ability of violated content in TikTok Livestream, and will also be responsible for optimizing our distributed model training framework continuously. The ideal candidate should be experienced in building a computer vision model or multimodality model and have a very strong coding ability in Pytorch/Tensorflow

Responsibilities

- Develop computer vision model or multimodality model to recognize violation content in TikTok Livestream

- Explore cutting-edge multimodal or computer vision large models (CLIP, COCA, ALBEF, BLIP, Flamingo, ViT-G, ViT-22B, EVA-enormous, etc)

- Explore the application of LLM in our business scenarios, like pre-training, zero-shot/ few-shot learning, hard case mining, etc

- Continuously optimize the training framework to better adapt to the training of large models

Qualifications

1. Major in computer science or a related technical discipline

2. At least 1-3 years of experience in at least one of the following areas: computer vision, multimodality, LLM

3. Be proficient with at least one deep learning framework (e.g. PyTorch, TensorFlow)

4. Have excellent analytical and problem-solving skills, logical thinking skills, communication and collaboration skills

5. Published papers in the top AI conferences or journals is a plus, including CVPR, ICCV, ECCV, NIPS, ICML, ICLR, TPAMI, IJCV, etc

TikTok is committed to creating an inclusive space where employees are valued for their skills, experiences, and unique perspectives. Our platform connects people from across the globe and so does our workplace. At TikTok, our mission is to inspire creativity and bring joy. To achieve that goal, we are committed to celebrating our diverse voices and to creating an environment that reflects the many communities we reach. We are passionate about this and hope you are too.

Hydroleap is a Singapore-grown water treatment startup backed by governmental and private VCs. Seek to displace chemical pretreatment processes with proprietary, IoT-enabled electrical treatment technology. Hydroleap's deep technical expertise allows us to design modular electrical treatment processes and deliver end-to-end wastewater treatment systems, offering solutions that are automated, robust, cost-effective, and environmentally friendly.

Backed by reputable governmental and private venture capitalists (VCs) such as Wavemaker, Enterprise Singapore (Seeds Capital & SGInnovate), 500 Startups, Sparklabs Cultiv8, Entrepreneur First and a few more.

As Hydroleap is growing and offering solutions to more clients within the existing verticals (i.e construction) as well as the new verticals (industrial wastewater treatment), we are looking for an enthusiastic, ambitious, and high energy project manager who will be in charge of coordinating the project details, liaising with Clients and work closely with the technical and operational teams to ensure of project delivery and execution.

Your Key Responsibilities

The role of the Research Engineer is consisting of carrying out research programs while observing the objectives defined by the business division. To support R&D activities in wastewater treatment, and environmental control system.

Your Key Responsibilities

● Engaging R&D and product development activities to enable new product introduction and improvements.

● Design product and system prototypes to receive feedback and identify areas of improvement through R&D studies.

● Assisting the operation team to identify and troubleshoot the technical problems associated with the products.

● Involving mainly in R&D department and working closely with the rest of the technical, business, production, and operation teams for designing, manufacturing and implementation of innovative water and wastewater solutions.

● Evaluate alternatives, resolve technical issues and interface with other disciplines.

● Ensure technical accuracy, standard engineering practices and inclusion of appropriate documentation on various report and design project.

● Ensure good housekeeping in the laboratory and pilot plant and be responsible for the safety and environment compliance of the new processes.

● Perform other duties as needed.

Your Capabilities and Credentials

● Skilled in report and technical writing, organization, analytical and verbal communication.

● Demonstrated proficiency in problem solving and risk management.

● Experience in decision making, identifying, assessing, evaluating, and solving complex problems.

Education and Experience

● B.S Degree in Chemical, Environmental or Mechanical Engineering required.

● Minimum 1 year of work experience/internship experience in water treatment-based industry.

● Strong communication, skilled in report and technical writing, organization, analytical and interpersonal skills.

● Self-starter with ability work together with team members.

● Background will ideally include project work and process knowledge of water and wastewater treatment plant.

● Have enthusiasm for R&D work.

We thank all applicants for their interest, however, only those candidates selected for interviews will be contacted.

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

• Design, modification, and implementation of a modified Android AOSP for fine-graine monitoring of Android applications.
• Design, modification, and implementation of an Android kernel to support the modified AOSP.
• Design and implementation of an Android app that facilitates the communication between handsets and emulator.
• Experimenting the app and the modified AOSP and kernel on both real handsets and emulators.
• Evaluating the security capability and performance of the system.

QUALIFICATIONS

• Minimum Bachelor's degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Good communication skills in English.
• Relevant research experience in computer security and related areas is a plus.
• Advanced level of programming and software implementation, especially in C/C++ and Java.
• Good understanding of Android architecture and Android executables.
• Good analytical, technical, and problem-solving skills.
• Knowledgeable in software security problems and solutions.
• Research experience in software and system security related research.
• Applicants with research publications in security area will be advantageous.
• Self-motivated individual who can work independently and also collaboratively with team members.

OTHER INFORMATION

#LI-XL1

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

As a University of Applied Learning, SIT works closely with industry in our research pursuits. Our research staff will have the opportunity to be equipped with applied research skill sets that are relevant to industry demands while working on research projects in SIT.

The primary responsibility of this role is to deliver on an industry innovation research project where you will be part of the research team to design and develop a hybrid cloud and edge-based energy management (HCEEM) framework that enables virtual energy trading among distributed energy resources (DERs) and existing utilities, fostering a sustainable and efficient energy ecosystem.

Key Responsibilities

• Participate in and manage the research project with Principal Investigator (PI), Co-PIs, collaborators, and the research team members to conduct research on DERs and energy management techniques, focusing on the design and development of the HCEEM framework.
• Lead the development of algorithms, models, and methodologies for virtual energy trading among DERs and existing utilities.
• Collaborate with a multidisciplinary team of researchers and engineers to implement and test the HCEEM framework.
• Collect and analyze data from DERs, utilities, and energy markets to evaluate the performance and effectiveness of the framework.
• Publish research findings in reputable journals and present at conferences and workshops.
• Mentor and collaborate with graduate students and junior researchers, providing guidance and support in their research activities.
• Assist in writing grant proposals and securing funding for future research projects.
• Collaborate with industry partners and stakeholders to ensure the practical applicability and relevance of the research outcomes.
• Carry out Risk Assessment, and ensure compliance with Work, Safety, and Health Regulations.
• Coordinate procurement and liaison with vendors/suppliers.
• Work independently, as well as within a team, to ensure proper operation and maintenance of equipment.

Job Requirements

• Ph.D. in Electrical Power Engineering, Energy Management, or a related field, with a strong research focus on energy management and distributed energy resources. Candidates who have submitted their thesis can apply too.
• Extensive knowledge of energy management techniques, Smart Grid concepts, and virtual energy trading.
• Experience in algorithm development, optimization, and data analysis in the context of energy systems.
• Proficiency in programming languages (e.g., Python, MATLAB) and simulation tools commonly used in energy research.
• Strong analytical and problem-solving skills, with the ability to critically evaluate and interpret research data.
• Excellent written and verbal communication skills, with the ability to publish research findings and present at conferences.
• Proven track record of research publications in reputable journals and conferences.
• Ability to work both independently and collaboratively in a research team environment.
• Prior experience with cloud computing, edge computing, or energy market modeling is advantageous.
• Knowledge of regulatory frameworks and policies related to energy management and DER integration is a plus.

Key Competencies

• Able to build and maintain strong working relationships with people within and external to the university.
• Self-directed learner who believes in continuous learning and development
• Proficient in technical writing and presentation
• Possess strong analytical and critical thinking skills.
• Show strong initiative and take ownership of work.

KEY ROLES AND RESPONSIBILITIES:

The candidate will be responsible for designing and implementing instrumentation and data acquisition solutions and systems to be deployed on site, ensuring that the solutions are reliable and scalable. The candidate will also be responsible for developing and maintaining documentation for solutions, including design specifications and test plans. The successful candidate will be expected to have strong problem-solving skills and be able to troubleshoot and debug complex issues.

QUALIFICATIONS & EXPERIENCE

· Bachelor degree / Diploma in Engineering, Computer Science or any other related field

· Hands-on implementation experience in instrumentation and data acquisition

· Experience in the domain area / technology / programming languages and Communication/Data protocols

· Experience in code management and deployment

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.

The Air Traffic Management Research Institute (ATMRI) at NTU is inviting applications for the position of Research Engineer I.

Under ATMRI (http://atmri.ntu.edu.sg/), the Research Engineer will be part of a dynamic research team to research and develop Artificial Intelligence and Data Analytics models for Air Traffic Management.

Key Responsibilities:

• Support research and development related to Artificial Intelligence and Machine Learning applied to Air Traffic Control and Air Traffic Management.
• Develop algorithms and models (Deep Learning/Deep Reinforcement Learning), perform data mining, data analytics for advanced Air Traffic Management concepts.
• Develop prototypes and intelligent tools for Air traffic management.
• Support Principal Investigator/Team Lead with project management activities and preparation of progress reports.

Requirements:

• Bachelor’s degree in Computer Science/Aerospace Engineering/Operation Research or equivalent
• Experience in programming; excellent knowledge of Python Programming Languages
• Demonstrated academic project experience related to applied Machine Learning, Data Mining, Air Traffic Control or Air Traffic Management
• Good English writing and communication skills
• Able to work independently and be a team player

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 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

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