Job Description:

• Responsible for the algorithm development of an AI accounting assistant, focusing on natural language processing (NLP) and speech recognition, to ensure users can easily input entries via voice or text.
• Develop and optimize AI algorithms to improve data recognition accuracy, and handle classification and storage of accounting data.
• Collaborate with backend engineers to seamlessly integrate the AI module into the system.

Requirements:

• Bachelor's degree or higher in computer science, artificial intelligence, data science, or related fields.
• At least 2 years of experience in AI algorithm development, particularly in NLP and speech recognition.
• Proficient in Python and familiar with common machine learning frameworks (such as TensorFlow, PyTorch).
• Experience in financial data processing or accounting-related projects is preferred.

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 and implement AI for software engineering solutions
• Conduct evaluations and/or user studies to validate the effectiveness of the algorithms and tools
• Write and publish research papers and present them to reputable academic conferences
• Package the documents, implementation code, evaluation results of the project for release
• Liaise with other team members of this project to realize the overall goal of the project

• Excellent Bachelor Degree in Software Engineering/Computer Science/Information Systems from a top-tier or local university. A Master Degree will be preferred
• Research experience in AI or Software Engineering, resulting in at least one submission/publication in a reputable research venue
• Excellent knowledge about AI
• Highly fluent in programming
• Competent in designing and implementing algorithms and data structures
• Excellent oral and written communication skills
• Excellent analytical, technical and problem solving skills
• Self-motivated individual who can work independently and also collaboratively with team members
• Able to work under strict deadlines

#LI-JN2

Interested applicants are invited to apply directly at the NUS Career Portal

Your application will be processed only if you apply via NUS Career Portal

We regret that only shortlisted candidates will be notified.

Job Description

Assistant Professor, Shengxiao (Alex) Li (Department of Architecture) is looking for a full-time research assistant/engineer to join in January 2025 and work on projects related to migration of older people and sustainable governance. Potential projects include using LinkedIn data to examine employment networks of sustainability-related employees and their impacts on governance outcomes, and migration networks of older Americans and potential drivers. The research assistant/engineer will meet with Alex regularly and report directly to Alex. Tasks of the research assistant/engineer include but not limited to reviewing literature; collecting, cleaning, and analyzing data sets; preparing research reports and funding applications; and fitting models using network analysis or big data analytics. They will also have the opportunity to work with a group of scholars from various disciplines, including but not limited to economics, sociology and engineering, and co-author on academic papers (depending on the contributions of the person hired for this position)

The position is a one-year appointment and might be renewable based on the performance and career plan of the hired person.

To apply for this position, please include:

• A cover letter briefing your interests in this position and how your past experience fit with this position;
• Your current CV detailing your educational background, skills (language and research methods), and relevant working experience;
• A writing sample.

Alex will review the materials from early November and will conduct interviews and make a decision by the middle of November.

Qualifications

Requirements:

• A bachelor’s or master’s degree in civil engineering, data science, computational social science, or other relevant disciplines by January of 2025.
• Good time management and multi-tasking skills;
• Passion/interest in one or more topics above;
• Excellent spoken and written English;
• Highly motived and with independent working ability;
• Statistical knowledge and command at least one of the following programming languages: R/Stata/Python.
• Experience of working on literature review and data analysis.
• Experience of using network analysis methods;
• Experience of using large-scale data sets, like smartphone data, smart card data, or large-scale administrative data;

Preferred skills:

• Excellent communication and experience in interviewing in English;
• Experience in interdisciplinary collaborations and research.

Digital Trust Centre (DTC) is looking for a candidate to join them as a Research Engineer II.

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.
• 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 to inform 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 primary responsibility of this role is to deliver on a research project where you will be part of the research team to develop yeast and fungi for food ingredient and biochemical production. The specific goals are:

1. Metabolic engineering of Yarrowia and Candida yeasts for organic acid production
2. Design and optimization of fermentation method in 10L and 100L stirred tank vessels

Key Responsibilities:

• Fulfill the primary responsibilities within the project:
  i. Deliver structured presentations of research plans and findings every two weeks.
  ii. Provide guidance and mentorship to junior research engineers and undergraduate students working in the same research field.
  iii. Prepare scientific manuscripts for reporting and potential publication (as first or co-author).
• Prepare writeup for new research grant application
• Support undergraduate lab class conduct where applied research outcomes are utilized in undergraduate teaching.
• Conduct thorough risk assessments and ensure adherence to work, safety, and health regulations for all research activities.
• Coordinate procurement activities with licensed vendors for research items.

Job Requirements:

• Have a relevant PhD degree in Biochemistry or Biochemical Engineering
• Have at least 1 year experience with the metabolic engineering of Yarrowia and Candida yeasts, including foreign gene expression and gene deletion.
• Have at least 1 year experience with the use of bioreactor, HPLC-MS and GC-MS.
• Prior experience in the genetic manipulation of filamentous fungi cell line engineering is advantageous.

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, take ownership of work, and able to cope with failures

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

• Code development.
• Database management.
• Data analysis and visualizationd.
• Experiment design and implementation.
• Software documentation.
• Meeting arrangementg.
• Presentation.
• Report writing.

• Minimum Bachelor's degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Relevant research experience is preferred.
• Proficiency in programming in Python and related packages.
• Knowledge in large language models, databases (including SQL), NLP, and machine learning.
• Experience with research works is preferred.
• Good analytical, technical and problem-solving skills.
• Applicants with research publications in AI or NLP area will be advantageous.
• Self-motivated individual who can work independently and also collaboratively with team members.

#LI-JN2

Digital Trust Centre (DTC) is looking for a candidate to join them as a Research Engineer II.

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.
• 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.
• 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 to inform that only shortlisted candidates will be notified.

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.

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 or Environmental 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.

Responsibilities:

• Engage and manage various stakeholders (internal and external) expectations and communication.
• Collaborate with functional teams to conduct cleanroom/facility planning and layout
• Carry out physical area/ floor marking, coordinate with functional teams in tool purchase, movement (in/out), tool relocation plan, project timeline and capacity update.
• Perform risk analysis of various project options and outcomes
• Maintain and validate capacity/capital/space models to enable accurate assessment of wafer fabrication and operations loading needs
• Support operational efficiency improvement efforts (cycle time, OEE improvement, capacity optimization, space optimization)

Requirements:

• Degree in Engineering (Industrial & Systems Engineering), Mechanical, or relevant field;
• Proficient in AutoCAD 2D/3D and Simulation Tool preferred
• Proficient with Microsoft Words, Excel and PowerPoint proficiency
• Preferably to have industrial engineering experience in a semiconductor/ manufacturing environment
• Ability to work independently and team player to deliver in fast paced and collaborative environment

Responsibilities:

• Engage and manage various stakeholders (internal and external) expectations and communication.
• Collaborate with functional teams to conduct cleanroom/facility planning and layout
• Carry out physical area/ floor marking, coordinate with functional teams in tool purchase, movement (in/out), tool relocation plan, project timeline and capacity update.
• Perform risk analysis of various project options and outcomes
• Maintain and validate capacity/capital/space models to enable accurate assessment of wafer fabrication and operations loading needs
• Support operational efficiency improvement efforts (cycle time, OEE improvement, capacity optimization, space optimization)

Requirements:

• Degree in Engineering (Industrial & Systems Engineering), Mechanical, or relevant field;
• Proficient in AutoCAD 2D/3D and Simulation Tool preferred
• Proficient with Microsoft Words, Excel and PowerPoint proficiency
• Preferably to have industrial engineering experience in a semiconductor/ manufacturing environment
• Ability to work independently and team player to deliver in fast paced and collaborative environment

As part of IME Integrated Circuit Design and System Department, we are seeking a candidate with relevant experience in analog integrated circuit design. This candidate will contribute to developing analog circuit blocks e.g. low-power operational amplifiers, voltage/current references, and voltage regulators based on thorough topology analysis. This candidate will work closely with other team members for the circuit design, test verification, as well as system integration and validation for a broad range of innovative sensor systems.

Role & Responsibilities

• Circuit schematic design and simulation, layout supervision, pre-tapeout design verification, test plan development and chip measurement
• Work together with teams to investigate novel circuit/system solutions to create new inventions

Requirements

• Bachelor’s / Master’s degree in Electronic Engineering
• Good understanding of CMOS analog IC design methodologies
• 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.
• Able to generate high-quality scientific publications and patents
• Team player, quick learner and self-driven

As part of IME Integrated Circuit Design and System Department, we are seeking a candidate with relevant experience in analog integrated circuit design. This candidate will contribute to developing analog circuit blocks e.g. low-power operational amplifiers, voltage/current references, and voltage regulators based on thorough topology analysis. This candidate will work closely with other team members for the circuit design, test verification, as well as system integration and validation for a broad range of innovative sensor systems.

Role & Responsibilities

• Circuit schematic design and simulation, layout supervision, pre-tapeout design verification, test plan development and chip measurement
• Work together with teams to investigate novel circuit/system solutions to create new inventions

Requirements

• Bachelor’s / Master’s degree in Electronic Engineering
• Good understanding of CMOS analog IC design methodologies
• 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.
• Able to generate high-quality scientific publications and patents
• Team player, quick learner and self-driven

Job Description:

Be part of an exciting FAB Team working on cutting-edge advanced packaging process technologies. Partner and work with various teams in IME, to be the lead in FAB inventory management, logistic planning, and its related operations to always enable smooth operations and develop packaging solutions and taking the solutions from concept to production.

This position is based in Singapore.

Responsibilities:

• Looking for a reliable, agile, resourceful, meticulous and professional individual.
• Lead in plan, sourcing and initiate - raise purchase requests accordingly to day-to-day materials / spare parts requirements to ensure stock adequacies, required to ensure smooth Fab operations.
• Follow through the orders from the start of purchase till delivery and to ensure that goods are delivered are on time (include coordination of shipments etc. with forwarders when required etc.)
• Provide good supports on logistics and inventory movements required to enable smooth FAB cleanroom operations.
• Excellent interpersonal skills and communication skills so to work seamlessly with various stakeholders to ensure inventory adequacy and logistics efficiencies.
• Self-starter with strong ability to work with own initiative under minimal supervision.
• Process strong sense of customer service mind-set and teamwork.
• Strong flexibility and ability to handle multiple requests from across teams.
• Good communication, analytical, problem-solving skills.
• Put-up good initiatives to move forward towards systematic inventory digitalization.
• Ability to work in a multi-task environment and perform other duties assigned by Department Managers.

Experience:

• Education: Diploma in engineering discipline. Preferably in procurement, supply chain logistic/ warehouse operation.
• At least 3 years of related semiconductor engineering experiences; with good wide contacts with semiconductor material suppliers, equipment vendors.
• Relevant experience in analytics or strategic reporting will be an advantage.

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.

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

#LI-JN2

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 your domain 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 prototypes for government and industry partners in the areas of computable contracts and "rules as code". Experience in requirements 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 multiple use cases so that we can abstract across them and develop generalized, reusable infrastructure. We will work with 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 be expected to actively participate in team meetings and text-based communications. You will be expected to be active 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 and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, 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.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code through community engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative 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.

Minimum qualifications:

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

Parsers, Compilers, and Programming Language Theory

Lex/YACC alex/happy Bison CFGs EBNF BNFC

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

Programming Languages and Frameworks:

Preferred: Haskell or OCaml. Python.

Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

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

Formal Verification and Specification Languages

Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

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 ProtocolRule Systems and Logics

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

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 Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:

RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

Job Description:

Be part of an exciting FAB Team working on cutting-edge advanced packaging process technologies. Partner and work with various teams in IME, to be the lead in FAB inventory management, logistic planning, and its related operations to always enable smooth operations and develop packaging solutions and taking the solutions from concept to production.

This position is based in Singapore.

Responsibilities:

• Looking for a reliable, agile, resourceful, meticulous and professional individual.
• Lead in plan, sourcing and initiate - raise purchase requests accordingly to day-to-day materials / spare parts requirements to ensure stock adequacies, required to ensure smooth Fab operations.
• Follow through the orders from the start of purchase till delivery and to ensure that goods are delivered are on time (include coordination of shipments etc. with forwarders when required etc.)
• Provide good supports on logistics and inventory movements required to enable smooth FAB cleanroom operations.
• Excellent interpersonal skills and communication skills so to work seamlessly with various stakeholders to ensure inventory adequacy and logistics efficiencies.
• Self-starter with strong ability to work with own initiative under minimal supervision.
• Process strong sense of customer service mind-set and teamwork.
• Strong flexibility and ability to handle multiple requests from across teams.
• Good communication, analytical, problem-solving skills.
• Put-up good initiatives to move forward towards systematic inventory digitalization.
• Ability to work in a multi-task environment and perform other duties assigned by Department Managers.

Experience:

• Education: Diploma in engineering discipline. Preferably in procurement, supply chain logistic/ warehouse operation.
• At least 3 years of related semiconductor engineering experiences; with good wide contacts with semiconductor material suppliers, equipment vendors.
• Relevant experience in analytics or strategic reporting will be an advantage.

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 manner as 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 and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, 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.

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

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.

Minimum qualifications:

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

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

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

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

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) 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 ProtocolRule Systems and Logics

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

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

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.

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

#LI-JN2

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 in computational 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 and presentations
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, 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
• 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
• 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.

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.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet 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 ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood 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 ProtocolRule Systems and Logics

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

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

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

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

#LI-JN2

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 manner as 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 and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, 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.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative 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.

Minimum qualifications:

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

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

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

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

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) 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 ProtocolRule Systems and Logics

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

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

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 manner as 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 and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, 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.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative 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.

Minimum qualifications:

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

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

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

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

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) 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 ProtocolRule Systems and Logics

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

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

We are looking for a talented and ambitious candidate to join our team in developing next-generation quantum sensors. The position will focus on modeling the dynamics and fabricating cryogenic components for the superconducting levitation of ferromagnetic particles.

This levitated, freely precessing particle forms a system of correlated spins, capable of rapidly averaging out quantum uncertainty. By harnessing this system, we aim to develop quantum sensors with sensitivities that exceed the standard quantum limit.

This position is based in the Quantum Innovation Centre (Q.Inc) and Institute of Materials Research and Engineering (IMRE). The successful candidate will contribute to a range of innovative activities, including:

Key Responsibilities:

• Modeling the dynamics of the levitated particle
• Microfabrication of the particle, silicon pocket, and superconducting materials
• Learning to operate a dilution refrigerator

Job Requirements:

• Bachelor's or master’s in physics, Applied Physics, Precise Instrumentation, or related fields
• Past experience in the job activities listed above is preferred, but a strong willingness to learn is sufficient. Trainings will be provided.
• Strong motivation for multidisciplinary research
• Prior experience in superconductivity and/or quantum sensing is highly preferred
• Basic programming skills (e.g., Python, MATLAB)
• Mechanical design
• Ability to work as a team and communicate effectively

We are seeking a talented and ambitious candidate to join our team in developing next-generation quantum sensors. The position focuses on the analysis and feedback control of a diamagnetically levitated ferromagnetic particle.

This levitated, freely precessing particle represents a system of correlated spins, capable of rapidly averaging quantum uncertainty. By leveraging this system, we aim to develop quantum sensors with sensitivities surpassing the standard quantum limits.

This position is based in the Quantum Innovation Centre (Q.Inc) and Institute of Materials Research and Engineering (IMRE). The successful candidate will contribute to a range of innovative activities, including:

Key Responsibilities:

• Analyzing signals acquired from SQUIDs (Superconducting Quantum Interference Devices)
• Investigating the coupling between the particle’s motion and the spin degrees of freedom of individual nitrogen-vacancy centers to explore mechanically mediated quantum networks
• Develop feedback control system to precisely manipulate the particle’s motions

Requirements:

• Bachelor or master’s in physics, Applied Physics, Precise Instrumentation, or related fields
• Strong motivation for multidisciplinary research
• Prior experience in superconductivity and/or quantum sensing is highly preferred

Job Overview:

The A*STAR Quantum Innovation Centre (Q.InC) is seeking a highly motivated Research Engineer to contribute to pioneering projects in the development of ultra-precision sensors. By integrating the latest advancements in levitation, optics, and quantum mechanics, this role offers the opportunity to be at the forefront of cutting-edge technology. The successful candidate will work closely with our dynamic team to drive impactful research while meeting real-world application needs.

Key Responsibilities:

• Design and construct experimental setups, including mechanical, electronic, optical, and micro systems.
• Maintain and operate optical and electronic measurement setups, and perform precise measurements
• Automate lab devices and experiments using Python, Matlab, or LabVIEW.
• Design and implement electronics and circuits for experimental purposes.
• Acquire and analyze data from various measurements.
• Collaborate with project teams to ensure timely delivery and quality execution of projects.
• Troubleshoot experimental setups and resolve technical issues.

Job Requirements:

• Bachelor's or Master's degree in Physics, Electrical Engineering, Mechanical Engineering, or related fields.
• Hands-on experience with experimental research in physics, mechatronics, microsystems, or optics is an advantage.
• Proficiency in programming (Python, Matlab, LabVIEW) or instrument automation is a plus.
• Strong critical thinking, problem-solving skills, and eagerness to learn.
• 0-2 Years of Experience

We are looking for a talented and ambitious candidate to join our team in developing next-generation quantum sensors. The position will focus on modeling the dynamics and fabricating cryogenic components for the superconducting levitation of ferromagnetic particles.

This levitated, freely precessing particle forms a system of correlated spins, capable of rapidly averaging out quantum uncertainty. By harnessing this system, we aim to develop quantum sensors with sensitivities that exceed the standard quantum limit.

This position is based in the Quantum Innovation Centre (Q.Inc) and Institute of Materials Research and Engineering (IMRE). The successful candidate will contribute to a range of innovative activities, including:

Key Responsibilities:

• Modeling the dynamics of the levitated particle
• Microfabrication of the particle, silicon pocket, and superconducting materials
• Learning to operate a dilution refrigerator

Job Requirements:

• Bachelor's or master’s in physics, Applied Physics, Precise Instrumentation, or related fields
• Past experience in the job activities listed above is preferred, but a strong willingness to learn is sufficient. Trainings will be provided.
• Strong motivation for multidisciplinary research
• Prior experience in superconductivity and/or quantum sensing is highly preferred
• Basic programming skills (e.g., Python, MATLAB)
• Mechanical design
• Ability to work as a team and communicate effectively