Total 546 supply chain engineer job vacancies in Education / Training category in Singapore

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

A Research Engineer position is open immediately in the Department of Mechanical Engineering, National University of Singapore. Successful candidate is expected to work in the field of AI for Science. Especially, the work is to develop advanced AI models for computational physics and computational materials applications. The candidate will also conduct calculations using DFT and/or AIMD for generating training dataset.

Qualifications

Candidates should have a master’s degree in physics, Materials Science, Electrical Engineering, Mechanical Engineering or a closely related field. They should also have excellent communication skills, both oral and written, and able to guide undergraduate students to conduct projects. Successful candidate is expected to perform DFT/AIMD calculations to understand the underlying physics for explainable AI model development. The candidates have higher priority if they have the background of the AI for Science.

Lab Officer/ Research Engineer

Job Description:

Be part of an exciting FAB Operations Team working on cutting-edge advanced packaging process technologies.
This position is based in Singapore.

Responsibilities:

• Operate multiple type of semiconductor equipment in cleanroom environment.
• Ability to use computer-based programs and applications to perform daily work/duties.
• Operate equipment based on the required process specifications (e.g. procedures, change notifications, etc.).
• Participate actively and be responsible in assigned on-the-job assignments and other required trainings when requested.
• Provide machine operations coverage and backup supports when necessary.
• Adequate understanding of the Equipment in-charge, monitor performance, timely communication with Engineers-in-charge to perform equipment errors recovery promptly when necessary.
• Demonstrate excellent teamwork to promptly execute process sequences and data collections if required.
• Always follow safety protocols & rules in the Clean Room.
• Ensure 6S in the work environment and promptly report hazards/ suspicious/ abnormal activities or personnel if any identified.
• Address potential areas for improvements such as wafers processing cycle time, Equipment utilization, Safety/ Compliances, and cost savings.

Experience:

• Diploma in MicroElectronics/Electrical/Mechanical/Chemical Engineering.
• Basic understanding on semiconductor process is preferred.
• 1-3 years of experience in semiconductor processes (Diffusion, Wet Clean, CMP, ECP, Litho, Etch, CVD, PVD, etc.) will be added advantages.
• Must be a self-starter, dependable and highly motivated

Responsibilities:
1. The candidate will be required to perform on-wafer device testing, test data analysis & perform test measurement automation
2. The candidate should have hands-on experience in using an oscilloscope, power supply, analyzer, probe station, and related test tools and data presentation
3. The candidate should know basic programming to instrumentation control using LabView, MATLAB, and other software such as Visual Basic, Python, C++, etc. as a plus
4. The candidate is required to have basic knowledge of semiconductor devices
5. Understanding the device"s electrical parameters such as current-voltage characteristics, resistance, capacitance, inductance, etc. will be an advantage

Qualifications:
1. ITE/Diploma with relevant sutdy (Electrical, Electronics, Computer Engineering, Physics, etc.) can be considered
2. Fresh graduate or 2-3 years experience in electrical instrument handling and system automation
3. Highly motivated to succeed, a self-starter who is driven and able to work with others effectively to get things done
4. Semiconductor industry experience is a plus

Lab Officer/ Research Engineer

Job Description:

Be part of an exciting FAB Operations Team working on cutting-edge advanced packaging process technologies.
This position is based in Singapore.

Responsibilities:

• Operate multiple type of semiconductor equipment in cleanroom environment.
• Ability to use computer-based programs and applications to perform daily work/duties.
• Operate equipment based on the required process specifications (e.g. procedures, change notifications, etc.).
• Participate actively and be responsible in assigned on-the-job assignments and other required trainings when requested.
• Provide machine operations coverage and backup supports when necessary.
• Adequate understanding of the Equipment in-charge, monitor performance, timely communication with Engineers-in-charge to perform equipment errors recovery promptly when necessary.
• Demonstrate excellent teamwork to promptly execute process sequences and data collections if required.
• Always follow safety protocols & rules in the Clean Room.
• Ensure 6S in the work environment and promptly report hazards/ suspicious/ abnormal activities or personnel if any identified.
• Address potential areas for improvements such as wafers processing cycle time, Equipment utilization, Safety/ Compliances, and cost savings.

Experience:

• Diploma in MicroElectronics/Electrical/Mechanical/Chemical Engineering.
• Basic understanding on semiconductor process is preferred.
• 1-3 years of experience in semiconductor processes (Diffusion, Wet Clean, CMP, ECP, Litho, Etch, CVD, PVD, etc.) will be added advantages.
• Must be a self-starter, dependable and highly motivated

Responsibilities:
1. The candidate will be required to perform on-wafer device testing, test data analysis & perform test measurement automation
2. The candidate should have hands-on experience in using an oscilloscope, power supply, analyzer, probe station, and related test tools and data presentation
3. The candidate should know basic programming to instrumentation control using LabView, MATLAB, and other software such as Visual Basic, Python, C++, etc. as a plus
4. The candidate is required to have basic knowledge of semiconductor devices
5. Understanding the device"s electrical parameters such as current-voltage characteristics, resistance, capacitance, inductance, etc. will be an advantage

Qualifications:
1. ITE/Diploma with relevant sutdy (Electrical, Electronics, Computer Engineering, Physics, etc.) can be considered
2. 2-3 years experience in electrical instrument handling and system automation
3. Highly motivated to succeed, a self-starter who is driven and able to work with others effectively to get things done
4. Semiconductor industry experience is a plus

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

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.

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

A Corp Lab in NTU is seeking to hire a Research Engineer who will contribute to the design and execution of robust research initiatives aimed at cultivating green premium strategies and green recommendation systems, fostering environmental benefits. Additionally, the role encompasses the development and refinement of large language models (LLMs) tailored to effectively influence consumer preferences towards environmentally sustainable products, thereby driving positive environmental impact through persuasive communication strategies.

Key Responsibilities:

• Designing and conducting comprehensive research focused on developing green premium strategies and green recommendation systems to enhance environmental benefits.
• Proposing recommendation methodologies that guide users towards more sustainable lifestyle choices by leveraging data analytics and user behavior insights.
• Developing or fine-tuning large language models (LLMs) that are optimized to influence and persuade consumers to prefer environmentally sustainable products.

Job Requirements:

• Masters’s degree in Computer Science or a related discipline.
• Bachelor’s degree holders with strong relevant experience will be considered.
• Possess a strong knowledge of deep learning techniques and recommendation system architectures aimed at enhancing the precision of guiding consumers towards sustainability. Demonstrated research experience or a proven track record in these areas is advantageous.
• Proficient in data analysis and data mining, with the ability to extract and interpret complex data sets to improve recommendation algorithms and strategies.
• Capable of collaborating effectively within interdisciplinary teams.
• Excellent communication and written skills in English as required for research work.

We regret that only shortlisted candidates will be notified.

Satellite Research Centre (SaRC) is dedicated to perform R&D projects in space science and technology. SaRC has successfully developed, launched, and operated 9 satellites in orbit. The centre has more than 10 years of accumulated experiences and data for satellite design and operation. SaRC has a full-fledged of facilities to realize the spacecraft simulation, testing, integration, and operation. The engineering laboratory, clean rooms and mission control room are equipped with specialized equipment such as the thermal vacuum chamber. SaRC is working closely with local SME, regional MNC, universities, and space agencies. The objective is to share and collaborate with expertise around the globe to achieve excellence in space.

Benefits:

• Gain real life experience in satellite projects in Satellite Research Centre (SaRC).
• Involve in the multi‐disciplinary program to conduct research/engineering work from concept to space qualify system.
• Experience working with the dynamic world class multidisciplinary team from international industry and academia partners.
• Exposure to space industry standards from ESA/ NASA/ JAXA and more.

We are looking for a responsible Principal Research Engineer in Satellite System Electronic Hardware.

Key Responsibilities:

• Design and develop MCU/MPU/SOC platform
• Analyze system requirements and generate modular specifications
• Identify and qualify components for spacecraft operation
• Build, test and modify prototypes
• Circuit validation and system operational validation
• Test and characterize circuits
• Code and debug in embedded C
• FPGA programming
• Guide/design printed circuits to comply to EMC/EMI requirements
• Work with team members to ensure smooth integration of various subsystems
• Document all process and implementation.
• Manage tasks according to project schedule
• Support the centre and project operation, such as satellite mission operation, satellite testing and student activities.
• Future potential role - Leading satellite team in system engineering or program management.

Job Requirements:

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

We regret that only shortlisted candidates will be notified.

About ByteDance

Founded in 2012, ByteDance's mission is to inspire creativity and enrich life. With a suite of more than a dozen products, including TikTok and Helo as well as platforms specific to the China market, including Toutiao, Douyin, and Xigua, ByteDance has made it easier and more fun for people to connect with, consume, and create content.

Why Join Us

Creation is the core of ByteDance's purpose. Our products are built to help imaginations thrive. This is doubly true of the teams that make our innovations possible.

Together, we inspire creativity and enrich life - a mission we aim towards achieving every day.

To us, every challenge, no matter how ambiguous, is an opportunity; to learn, to innovate, and to grow as one team. Status quo? Never. Courage? Always.

At ByteDance, we create together and grow together. That's how we drive impact - for ourselves, our company, and the users we serve.

Join us.

About the Team

The Seed Foundation Machine Learning (ML) Systems team provides end-to-end (E2E) machine learning experience and machine learning resources for the company. The team builds heterogeneous ML training and inference systems based on GPU and AI chips and advances the state-of-the-art of ML systems technology to accelerate models such as stable diffusion and LLM.

The team is also responsible for research and development of hardware acceleration technologies for AI and cloud computing, via technologies such as distributed systems, compilers, HPC, and RDMA networking. The team is reinventing the ML infra for large scale language models. We have published papers at top tier conferences such as SIGCOMM, NSDI, EuroSys, OSDI, SOSP, MLSys, NeurIPS, etc.

Responsibilities:

- Optimizing large scale parallel training for state of the art deep learning algorithms such as large language models, multi-modality models, diffusion, reinforcement learning, etc

- Research and develop our machine learning systems, including accelerated computing architecture, management and monitoring

- Deploy the machine learning systems, distributed machine learning training and inference

- Manage cross-layer optimization of system and AI algorithms and hardware for machine learning (GPU, ASIC)

Qualifications

Minimum Qualification:

- Bachelor or above degree in distributed, parallel computing principles and know the recent advances in computing, storage, networking, and hardware technologies;

- Familiar with machine learning algorithms, platforms and frameworks such as PyTorch and Jax.

- Have basic understanding of how GPU and/or ASIC works;

- Expert in at least one or two programming languages in Linux environment: C/C++, CUDA, Python;

Preferred Qualifications:

The following experiences will be a big plus:

- GPU based high performance computing, RDMA high performance network (MPI, NCCL, ibverbs);

-Distributed training framework optimizations such as DeepSpeed, FSDP, Megatron, GSPMD - AI compiler stacks such as torch.fx, XLA and MLIR;

- Large scale data processing and parallel computing;

- Experiences in designing and operating large scale systems in cloud computing or machine learning;

- Experiences in in-depth CUDA programming and performance tuning (cutlass, triton)

ByteDance 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 ByteDance, our mission is to inspire creativity and enrich life. 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.

About ByteDance

Founded in 2012, ByteDance's mission is to inspire creativity and enrich life. With a suite of more than a dozen products, including TikTok and Helo as well as platforms specific to the China market, including Toutiao, Douyin, and Xigua, ByteDance has made it easier and more fun for people to connect with, consume, and create content.

Why Join Us

Creation is the core of ByteDance's purpose. Our products are built to help imaginations thrive. This is doubly true of the teams that make our innovations possible.

Together, we inspire creativity and enrich life - a mission we aim towards achieving every day.

To us, every challenge, no matter how ambiguous, is an opportunity; to learn, to innovate, and to grow as one team. Status quo? Never. Courage? Always.

At ByteDance, we create together and grow together. That's how we drive impact - for ourselves, our company, and the users we serve.

Join us.

About the Team

The Seed Foundation Machine Learning (ML) Systems team provides end-to-end (E2E) machine learning experience and machine learning resources for the company. The team builds heterogeneous ML training and inference systems based on GPU and AI chips and advances the state-of-the-art of ML systems technology to accelerate models such as stable diffusion and LLM.

The team is also responsible for research and development of hardware acceleration technologies for AI and cloud computing, via technologies such as distributed systems, compilers, HPC, and RDMA networking. The team is reinventing the ML infra for large scale language models. We have published papers at top tier conferences such as SIGCOMM, NSDI, EuroSys, OSDI, SOSP, MLSys, NeurIPS, etc.

Responsibilities:

- Optimizing large scale parallel training for state of the art deep learning algorithms such as large language models, multi-modality models, diffusion, reinforcement learning, etc

- Research and develop our machine learning systems, including accelerated computing architecture, management and monitoring

- Deploy the machine learning systems, distributed machine learning training and inference

- Manage cross-layer optimization of system and AI algorithms and hardware for machine learning (GPU, ASIC)

Qualifications

Minimum Qualification:

- Bachelor or above degree in distributed, parallel computing principles and know the recent advances in computing, storage, networking, and hardware technologies;

- At least 3 years or more working experiences;

- Familiar with machine learning algorithms, platforms and frameworks such as PyTorch and Jax.

- Have basic understanding of how GPU and/or ASIC works;

- Expert in at least one or two programming languages in Linux environment: C/C++, CUDA, Python;

Preferred Qualifications:

The following experiences will be a big plus:

- GPU based high performance computing, RDMA high performance network (MPI, NCCL, ibverbs);

-Distributed training framework optimizations such as DeepSpeed, FSDP, Megatron, GSPMD - AI compiler stacks such as torch.fx, XLA and MLIR;

- Large scale data processing and parallel computing;

- Experiences in designing and operating large scale systems in cloud computing or machine learning;

- Experiences in in-depth CUDA programming and performance tuning (cutlass, triton)

ByteDance 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 ByteDance, our mission is to inspire creativity and enrich life. 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.

• Perm
• At least 5 years in a Release Train Engineer role or similar positions (Agile Coach, Scrum Master, Project Manager, Product Owner).
• Preferable experience in shipping, logistics, supply chain, or technology industries.
• Demonstrable knowledge in Applications, Data, and Technology architecture (especially CICD technologies).
• Proficient in designing and delivering scaled Agile programs.

As a Agile Train Engineer, you will lead a critical role as a dependency manager through the monitoring and coordination of ongoing projects and applications.

Responsibilities:

Agile Leadership:

• Facilitate cross-squad ceremonies to resolve impediments, track dependencies, and align with PI goals.
• Conduct regular check-ins with Scrum Masters, Product Owners, and other stakeholders.
• Foster collaboration between teams and System/Solution Architects.
• Champion Agile and SAFe principles, promoting a culture of continuous improvement and collaboration.

Planning & Coordination:

• Organize and facilitate PI Planning sessions, ensuring team alignment on priorities and objectives.
• Collaborate with Product Owners to prioritize and groom the Program Backlog.
• Monitor progress, address deviations, and ensure timelines and Definition of Done are met.

Communication & Reporting:

• Develop and maintain communication plans to keep stakeholders informed.
• Provide regular status updates to leadership, highlighting milestones, risks, and areas for improvement.
• Maintain transparency by reporting relevant metrics on the project's performance and health.

Problem Resolution:

• Identify and address impediments, risks, and dependencies proactively.
• Collaborate with teams to find creative solutions to challenges.
• Escalate critical issues to leadership with recommended actions.

Continuous Improvement:

• Organize and facilitate Inspect and Adapt workshops to gather feedback and identify improvement areas.
• Implement lessons learned and drive continuous improvement initiatives.
• Share best practices and contribute to the evolution of Agile practices within the organization.

Typical Deliverables:

• Prioritized and groomed Program Backlog for upcoming Program Increments.
• PI Planning artifacts, including Program Board, Program Backlog, and team plans.
• Regular status reports and metrics on the health and performance of the ART.
• Action plans and improvements from Inspect and Adapt workshops.
• Resolutions to impediments and dependencies impacting the Agile Project.

Requirements

• Bachelor's Degree in IT, Engineering, or related field.
• Minimum 5 years in a Release Train Engineer role or similar positions (Agile Coach, Scrum Master, Project Manager, Product Owner).
• Preferable experience in shipping, logistics, supply chain, or technology industries.
• Demonstrable knowledge in Applications, Data, and Technology architecture (especially CICD technologies).
• Proficient in designing and delivering scaled Agile programs.
• Experience engaging with both C-Suite and operational staff.
• Ability to articulate the benefits of an Agile operational model.
• Interest in emerging technology trends and their application to Agile transformation.
• Excellent stakeholder engagement, people management, and communication skills.
• Strong analytical, problem-solving, and critical thinking skills.
• Recent Agile certifications (SAFe RTE) preferred.
• Proficient with Microsoft Office applications (PowerPoint, Teams, Excel, SharePoint, Outlook).
• Proficiency in English, both verbal and written.

Triton AI Pte Ltd
Registration Number: R1980724
EA: 21C0661

Nanyang Technological University’s Digital Trust Centre (DTC) is looking for a Principal Research Engineer to research, design, develop, implement, and oversee techniques and systems platform related to Trust Technologies, which mainly cover three main areas: (i) privacy preserving AI, (ii) digital identity and decentralization, and (iii) AI safety. Privacy preserving technologies involved include homomorphic encryption, multi-party computation, searchable encryption, data synthesis and differential privacy, and federated learning. Decentralization technologies covered include blockchain, digital identity, distributed ledger, trust execution environment, and verifiable computing. AI safety technologies covered include AI model testing, evaluation and benchmarking, risks in generative AI contents, Large Language Model, and NLP.

The role will focus on emerging technologies that engender trust and espouse its values in digital technologies.

Key Responsibilities:

• Conduct research into trust technologies testing – translating research algorithms, and design/develop tools and frameworks into working prototypes that can explain how research outputs can be productised into new capabilities.
• Work closely with Centre’s researchers to design and develop system implementation work from research into product.
• Design and build working tools that can support technology transfer of new research capabilities to practical solution capabilities that 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, help to educate and raise the overall competency of Singapore manpower in emerging areas of trust technologies.
• Engage global partners and researchers to understand latest trends and advance Singapore’s mindshare in this domain.
• Responsible for the system and architecture design of trust solutions for digital transformation in addition to their engineering and implementation.

Job Requirements:

• The candidate should possess a Masters’ degree in computer science, software engineering, information theory or relevant field.
• With a minimum of 15 industrial and academic years of experience in software engineering and system development.
• Understand the emerging trends of IT technologies, in particular those related to privacy preserving and AI safety.
• Good communication skill.
• Self-motivated, and could deliver under tight schedule.

We regret that only shortlisted candidates will be notified.

Job Responsibilities:

• Responsible for performing professional process engineering research, development, and evaluation in support of the IME’s variety of programs requirements
• May conceive and plan projects involving definition and selection of new materials, concepts and approaches in the processing or development of new processes.
• Compiles and evaluates test data to determine appropriate limits and variables for process specifications.
• Championing engineering experiments for process characterization to drive for quality and yield improvement
• Setup and collect the experimental data and generate reports for both internal and customer distribution.
• Design and complete DOE (Design of Experiments) evaluations to characterize process window for new requirements
• Work closely with senior staff and process integrators to understand technology roadmaps, process capability requirements and business issues/ challenges.
• Act as a resource for colleagues with less experience; lead small projects with manageable risks
• Act as subject matter wet etch expert for both internal and external stockholders.

Requirements:

• Master’s degree in chemistry, Chemical engineering with 1+ years of relevant work experience in semiconductor process engineering; or
• Bachelor’s degree with 1+ years of relevant work experience in semiconductor process engineering.
• Prior experience in wet etch/ wet clean processes is preferred
• A safety mindset is the most prerequisite for this position.
• Hands-on experience in designing and executing experiments (DOE), statistical and cause analysis, and problem-solving methods
• Possess good interpersonal and communication skills

Job Responsibilities:

• Responsible for performing professional process engineering research, development, and evaluation in support of the IME’s variety of programs requirements
• May conceive and plan projects involving definition and selection of new materials, concepts and approaches in the processing or development of new processes.
• Compiles and evaluates test data to determine appropriate limits and variables for process specifications.
• Championing engineering experiments for process characterization to drive for quality and yield improvement
• Setup and collect the experimental data and generate reports for both internal and customer distribution.
• Design and complete DOE (Design of Experiments) evaluations to characterize process window for new requirements
• Work closely with senior staff and process integrators to understand technology roadmaps, process capability requirements and business issues/ challenges.
• Act as a resource for colleagues with less experience; lead small projects with manageable risks
• Act as subject matter wet etch expert for both internal and external stockholders.

Requirements:

• Master’s degree in chemistry, Chemical engineering with 1+ years of relevant work experience in semiconductor process engineering; or
• Bachelor’s degree with 1+ years of relevant work experience in semiconductor process engineering.
• Prior experience in wet etch/ wet clean processes is preferred
• A safety mindset is the most prerequisite for this position.
• Hands-on experience in designing and executing experiments (DOE), statistical and cause analysis, and problem-solving methods
• Possess good interpersonal and communication skills

Summary:

Skywork AI Singapore welcomes enthusiastic and forward-thinking research engineers to join our dynamic team at the Kunlun-2050 Research Lab Singapore. Being a new entrant in Singapore’s R&D landscape, we are dedicated to pushing the boundaries of Artificial General Intelligence (AGI) through foundational and application research, with a particular focus on Foundation Model 2.0 and Agents. Foundation Model 2.0 encompasses various dimensions, including pioneering new foundation modes and applications, optimizing training and inference acceleration, and conducting theoretical studies to enhance interpretability. Our work on Agents delves into both virtual and physical agents, propelling us into the forefront of AGI development.

We invite individuals who share our passion for AGI advancement and are eager to make their mark in the field to apply and become a vital part of our evolving team. Join us to contribute to cutting-edge research and explore the potential for technology transfer into Skywork AI's core products.

Key Responsibilities:

• Implement intricate algorithms and enhance model scalability
• Provide comprehensive engineering support to the research team
• Develop reusable libraries to support research in AGI field, focusing on Foundation Model 2.0 and Agents.
• Collaborate closely with our interdisciplinary team to publish influential research findings in top-tiered conferences and journals, making a significant impact on the AGI community.
• Actively explore technology transfer opportunities into Skywork AI's core products.

Desirable Experience:

• Hold a Bachelor’s degree or higher in computer science, statistics, engineering, applied mathematics, data science or related fields
• Possess more than three years of related work experience
• Demonstrated proficiency in programming languages
• Hands-on experience with deep learning frameworks and familiar with development tools
• Actively contribute to open-source projects
• Achievement in programming competitions and regional contests
• Attain esteemed recognition within the academic and professional community

Apply:

If you're excited to be part of our cutting-edge research team in the AGI space, please send your latest Curriculum Vitae to [email protected] to explore this exciting opportunity.

Skywork AI Singapore is committed to fostering diversity and welcomes candidates from all backgrounds to apply. Join us in shaping the future of AGI at Kunlun-2050 Research Lab. Your contributions can be instrumental in defining our journey as a new start-up in this dynamic field

Summary:

Being a new entrant in Singapore's R&D landscape, Skywork AI Singapore is dedicated to pushing the boundaries of Artificial General Intelligence (AGI) through foundational research, with a particular focus on Foundation Model 2.0 and Agents. Foundation Model 2.0 encompasses various dimensions, including pioneering new foundation models and applications, optimizing training and inference acceleration, and conducting theoretical studies to enhance interpretability. The work on Agents delives into both virtual and physical agents, propelling us into the forefront of AGI development.

Skywork AI Singapore is partnering with universities in Singapore, to invite motivated candidates to enroll in a PhD program and work at Skywork AI Singapore. Successful candidates will become full-time employees of Skywork AI and should qualify to be admitted into the PhD Programme at one of the universities in Singapore.

Candidate's Expectation:

• Work with our research scientists to conduct groundbreaking research in the AGI field, focusing on Foundation Model 2.0 and Agents
• Collaborate closely with our interdisciplinary team to publish influential research findings in top-tiered conferences and journals, making a significant impact on the AGI community
• Embrace the entrepreneurial spirit and actively explore technology transfer opportunities into business products

Desirable Experience:

• Demontrate a strong interest in a career in computer science
• Keen to study and perform research in areas such as Artificial Intelligence, Computer Vision, Deep Learning, Game AI, Natural Language Processing, Reinforcement Learning, and Speech Recognition. (Preferably but not limited to)
• Proficiency in differentiable programming frameworks such as PyTorch, TensorFlow, and JAX
• Possessed Bachelor's or Master's Degree in Computer Science/Engineering, Statistics, Mathematics, Data science, or related fields is highly desirable
• Not a recipient of, or hold any other scholarship or other award of a monetary nature (Excluding bursary and financial aid);
• Must meet the postgraduate admission and academic requirements
• For existing PhD candidates, must be 2 years or less into the postgraduate program

IPP trainees will be able to enjoy the following benefits:

• A Monthly salary of SGD6,000, in addition to CPF (for citizens and PRs), Medical Insurance, and many employment perks
• Sponsorship of tuition fee for 4 years
• Conference and travel allowances
• Computing equipment and GPU resources

Apply:

Interested candidates may send the latest Curriculum Vitae, transcripts and publication list to [email protected] to explore this exciting opportunity.

We are committed to fostering diversity and welcome candidates from all backgrounds to apply. Join us in shaping the future of AGI at Kunlun-2050 Research Lab.

Summary:

Skywork AI Singapore welcomes enthusiastic and forward-thinking research engineers to join our dynamic team at the Kunlun-2050 Research Lab Singapore. Being a new entrant in Singapore’s R&D landscape, we are dedicated to pushing the boundaries of Artificial General Intelligence (AGI) through foundational and application research, with a particular focus on Foundation Model 2.0 and Agents. Foundation Model 2.0 encompasses various dimensions, including pioneering new foundation modes and applications, optimizing training and inference acceleration, and conducting theoretical studies to enhance interpretability. Our work on Agents delves into both virtual and physical agents, propelling us into the forefront of AGI development.

We invite individuals who share our passion for AGI advancement and are eager to make their mark in the field to apply and become a vital part of our evolving team. Join us to contribute to cutting-edge research and explore the potential for technology transfer into Skywork AI's core products.

Key Responsibilities:

• Implement intricate algorithms and enhance model scalability
• Provide comprehensive engineering support to the research team
• Develop reusable libraries to support research in AGI field, focusing on Foundation Model 2.0 and Agents.
• Collaborate closely with our interdisciplinary team to publish influential research findings in top-tiered conferences and journals, making a significant impact on the AGI community.
• Actively explore technology transfer opportunities into Skywork AI's core products.

Desirable Experience:

• Hold a Master's degree or higher in computer science, statistics, engineering, applied mathematics, data science or related fields
• Possess more than three years of related work experience
• Demonstrated proficiency in programming languages
• Hands-on experience with deep learning frameworks and familiar with development tools
• Actively contribute to open-source projects
• Achievement in programming competitions and regional contests
• Attain esteemed recognition within the academic and professional community

Apply:

If you're excited to be part of our cutting-edge research team in the AGI space, please send your latest Curriculum Vitae to [email protected] to explore this exciting opportunity.

Skywork AI Singapore is committed to fostering diversity and welcomes candidates from all backgrounds to apply. Join us in shaping the future of AGI at Kunlun-2050 Research Lab. Your contributions can be instrumental in defining our journey as a new start-up in this dynamic field

The Centre for Advanced Robotics Technology Innovation (CARTIN) are seeking a highly skilled and motivated Autonomous Robotics Software Engineer to join our team.

Key Responsibilities:

• Develop and maintain software for autonomous sweeping vehicles.
• Conduct field testing trials to validate software performance and reliability.
• Provide software and computer support, including setting up and troubleshooting computer-related matters.
• Develop software tools, sensors, actuator drivers for testing safety-critical modules and sensors in robotic systems.
• Assist in integrating custom modules into complex software stacks.
• Work with Subject Matter Experts (SMEs) to carry out software acceptance testing, including unit, functional, and load testing, and organize test result records.
• Manage and deploy software commits for field testing, ensuring timely updates and maintenance.

Job Requirements:

• Bachelor's degree in Computer Science, Robotics, Electrical Engineering, or a related field. A Master’s degree is preferred.
• 2–6 years of experience in C++/ROS development.
• Hands-on experience in robotics and mechatronics.
• Experience with deploying ROS in real-world environments.
• Familiar with robotic sensor and actuator hardware such as LiDAR.
• Strong problem-solving skills and the ability to work in a multi-disciplinary team.
• Experience in developing software for cleaning systems or similar applications.
• Familiarity with robotics technologies.
• Knowledge of machine learning applications in robotics.
• Experience with software development life cycles, including design, implementation, deployment, and maintenance.

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.

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