Total 67 Junior Executive level Engineering job vacancies in singapore tanglin road

• Answer and direct phone calls
• Organize and schedule appointments and meetings
• Maintain contact lists
• Produce and distribute correspondence memos, letters, faxes, and forms
• Assist in the preparation of regularly scheduled reports
• Develop and maintain a filing system
• Order office supplies
• Book travel arrangements
• Submit and reconcile expense reports
• Provide general support to visitors
• Provide information by answering questions and requests
• Take dictation

Key Responsibilities:

• Conduct site acceptance tests, oversee commissioning processes, and assist with the start-up of Insulating Glass machinery.
• Interface with customers for after-sales service, identify their needs, and provide tailored solutions.
• Address and resolve on-site maintenance issues by troubleshooting and offering technical support.
• Work collaboratively with customers to fulfill repair schedules effectively.
• Deliver training sessions to help customers optimize product performance.
• Provide feedback from the field to engineering and production teams for product improvements or new designs.
• Ensure compliance with validation processes, including product applications, controls, and documentation.

Requirements:

• Must be very willing to travel as there are times the travelling can take up to 8 weeks.
• Physical ability to handle heavy machinery parts and tool kits (>30kg).
• Ability to read and interpret technical drawings.
• Prior working experience in a technical servicing role is a must.
• Hands-on experience in servicing and the ability to work independently at job sites.
• Willingness to travel for service assignments within the SEA region.
• Strong problem-solving skills and a customer-focused mindset.

Thank you for your application and we regret that only shortlisted applicants will be notified

By submitting any application or resume to us, you will be deemed to have agreed & consented to us collecting, using, retaining & disclosing your personal information to prospective employers with the services provided by us.

EA (18C9514/R23118479)

We are seeking a skilled and motivated Data Engineer with expertise in Hadoop, Spark, OpenShift Container Platform (OCP), and DevOps practices. As a Data Engineer, you will be responsible for designing, developing, and maintaining efficient data pipelines, processing large-scale datasets. Your expertise in Hadoop, Spark, OCP, and DevOps will be crucial in ensuring the availability, scalability, and reliability of our ML Solutions.

Your main responsibilities will include:

• Implement data transformation, aggregation, and enrichment processes to support various data analytics and machine learning initiatives
• Collaborate with cross-functional teams to understand data requirements and translate them into effective data engineering solutions
• Ensure data quality and integrity throughout the data processing lifecycle
• Design and deploy data engineering solutions on OpenShift Container Platform (OCP) using containerization and orchestration techniques
• Optimize data engineering workflows for containerized deployment and efficient resource utilization
• Collaborate with DevOps teams to streamline deployment processes, implement CI/CD pipelines, and ensure platform stability
• Implement data governance practices, data lineage, and metadata management to ensure data accuracy, traceability, and compliance
• Monitor and optimize data pipeline performance, troubleshoot issues, and implement necessary enhancements
• Implement monitoring and logging mechanisms to ensure the health, availability, and performance of the data infrastructure
• Document data engineering processes, workflows, and infrastructure configurations for knowledge sharing and reference
• Stay updated with emerging technologies, industry trends, and best practices in data engineering and DevOps
• Provide technical leadership, mentorship, and guidance to junior team members to foster a culture of continuous learning and innovation to the continuous improvement of the analytics capabilities within the bank

• ·Bachelor's degree in Computer Science, Information Technology, or a related field
• Proven experience as a Data Engineer, working with Hadoop, Spark, and data processing technologies in large-scale environments
• Strong expertise in designing and developing data infrastructure using Hadoop, Spark, and related tools (HDFS, Hive, Pig, etc)
• Experience with containerization platforms such as OpenShift Container Platform (OCP) and container orchestration using Kubernetes
• Proficiency in programming languages commonly used in data engineering, such as Spark, Python, Scala, or Java
• Knowledge of DevOps practices, CI/CD pipelines, and infrastructure automation tools (e.g., Docker, Jenkins, Ansible, BitBucket)
• Experience with Graphana, Prometheus, Splunk will be an added benefit
• Strong problem-solving and troubleshooting skills with a proactive approach to resolving technical challenge
• Ability to manage multiple priorities, meet deadlines, and deliver high-quality results in a fast-paced environment

Have work experience with private projects for 3 to 5 years

To carry out site supervision and inspection of the works to ensure the works are constructed to required quality and accuracy

Supervision & Inspection for bore piling, ERSS, earth retaining wall & precast work with approved dwg, specification, rule & regulation.

Monitoring in structural material test and checking Method Statements, tests and drawings

Work closely with Consultants, Client & authority and attend progress and technical meetings

Reply some RFA/RFI and Maintain updated drawings/RFA/ RFI, all site records

Job Summary:

The Office Assistant in the construction sector provides administrative support to ensure smooth day-to-day operations in the office. This role involves a variety of clerical tasks, including document management, scheduling, communication, and coordination between different departments, contractors, clients, and suppliers. The Office Assistant plays a vital role in maintaining organized records, assisting with project documentation, and helping to streamline the administrative processes in the construction business.

Key Responsibilities:

. Working hours are from 8:00 am to 9:30 pm.

• Document Management: Organize and maintain physical and digital files for construction projects, contracts, invoices, permits, and other related documents.
• Data Entry & Record Keeping: Input project data into systems, track project milestones, and maintain accurate records for billing, project status, and time logs.
• Scheduling & Coordination: Assist with scheduling meetings, site visits, and appointments for project managers, engineers, and contractors. Coordinate with vendors and subcontractors.
• Communication: Answer phone calls, emails, and other correspondence related to construction projects. Respond to inquiries and redirect as necessary.
• Office Supplies & Inventory: Order office supplies and ensure that the office and construction site materials are well-stocked.
• Assisting with Reporting: Help prepare reports related to project progress, budgets, and timelines. May assist with financial documentation such as invoicing and receipts.
• Health & Safety Compliance: Ensure all necessary documentation for compliance with health and safety regulations is properly filed and up to date.
• Support to Project Team: Provide general administrative support to the project management team, including assisting with bid submissions, contract preparation, and maintaining communication with all stakeholders.
• Clerical Support: Perform general office duties such as photocopying, scanning, faxing, and filing. Handle mail and packages.
• Customer & Vendor Relations: Act as a liaison between clients, vendors, subcontractors, and internal teams to ensure smooth communication and operations.
• Data Management: Keep track of incoming and outgoing project materials and ensure proper documentation for all supplies ordered and delivered.

Qualifications:

• Education: High School Diploma or equivalent required; Associate's or Bachelor's degree in Business Administration, Construction Management, or related field preferred.
• Experience: Prior experience in administrative or office support roles, preferably within the construction or engineering industry.
• Skills:
  • Strong organizational skills with attention to detail.
  • Proficiency in office software (Microsoft Office Suite, Excel, Word).
  • Familiarity with construction terminology, project management software (Procore, Buildertrend, or similar), or willingness to learn.
  • Excellent communication skills, both verbal and written.
  • Ability to multitask and prioritize tasks effectively.
  • Ability to work independently and as part of a team.

Personal Attributes:

• Strong work ethic and commitment to quality and deadlines.
• Adaptable, proactive, and able to handle changing priorities in a fast-paced environment.
• Positive attitude and a strong team player.
• Discreet and trustworthy with sensitive company information.

Physical Requirements:

• Ability to sit for extended periods of time and work at a desk.
• Occasional light lifting of office materials (e.g., boxes of documents, office supplies).
• Willingness to occasionally visit construction sites to assist with project documentation or take deliveries..

-Supervise and coordinate the activities of site contractors ;

· Monitor job progress and ensure that civil and structural contracted works meets all practical, commercial, requirements of productivity, quality and contract target completions;

· Ensure all design work conforms to the codes and standards used by the client, or to agreed industry standards.

· Implement and oversee site projects assigned to ensure smooth project execution

· Manage internal and external contractors well to ensure quality of work and scope of work is within specifications.

· Responsible for all inspection activities being carried out.

· Assist in planning, schedule and technical support to PM and/or resident engineerr.

Key Responsibilities:

• Assist in the operation, maintenance, and troubleshooting of Building Management Systems (BMS) and Energy Management Systems (EMS).
• Understand and apply HVAC, Building Automation, and Energy Management systems to meet project specifications and ensure optimal system performance.
• Diagnose, troubleshoot, and resolve software and hardware issues in installed BMS and EMS systems.
• Analyze and resolve communication problems with control devices and other system components.
• Perform software preventive maintenance on installed BMS and EMS equipment to ensure system longevity and reliability.
• Support system commissioning and testing processes to verify that systems function as intended.
• Assist in system upgrades, ensuring compatibility with existing infrastructure and adherence to project timelines.

Key Requirements:

• Basic knowledge of HVAC systems, Building Automation, Energy Management, or related control systems.
• Familiarity with communication protocols such as BACnet, MODBUS, and LON.
• Strong troubleshooting skills for diagnosing and resolving system issues.
• Ability to work independently and as part of a team in a fast-paced environment.
• Good communication skills, both written and verbal.
• Proficiency in using software tools and diagnostic equipment for system maintenance and troubleshooting.
• Ability to learn new technologies and protocols quickly.

Thank you for your application and we regret that only shortlisted applicants will be notified

By submitting any application or resume to us, you will be deemed to have agreed & consented to us collecting, using, retaining & disclosing your personal information to prospective employers with the services provided by us.

EA (18C9514/R23118479)

Overall purpose of job

Provides clerical and administration support to the Production Department and office in the day-to-day operation.

Responsibilities

· To records all employees daily attendance and overtime, including production team

· Assist to check all timesheets for daily work attendance overtime with the timekeeper against the system and records daily timesheet into system

· To record all attendance of leave records and MC Records of the production employees and highlight daily the records to person in charge

· Sorting documents and paperwork

· Keeps records, distribution and filing of all documents

· Updates all safety policy.

· Assist to order material and to keep records of the inventory.

· Assists in keying in material requisition.

· Liaising with suppliers and customers for ordering, and delivery material

· Sourcing for suppliers, compare quotations, negotiate with suppliers

· Ordering of materials requested by project teams or if the stock inventory is low.

· Comply with all statutory requirements for safety.

· Maintains availability of forms, permits and stationary needed by the projects.

· To report all expiring license due for renewal, eg insurance, permits for machines, and any other license.

· Report all injuries to their manager and follow up all the required protocol for injuries.

· Any other tasks and responsibilities assigned from time to time.

Requirements

· Minimum of secondary education or preferably with GCE ‘O’ levels.

· Preferably 2 years of working experience or with relevant working experience.

· General working knowledge on filing and computer

· Required skill(s): Proficient in MS Office software such as word, excel Power-point and MS outlook

· Able to work in teams and can interact and communicate with diverse employee groups

· Able to work in fast-paced working environment

· Positive attitude and able to work independently and multi-task

·Able to work in Jurong Area/Tuas

.5.5 days work

Shortlisted will be notified through contact information provided

Established in 2017, QCP is one of the first digital asset trading firms in Singapore, with a vision to partner the next generation of investors to unlock institutional opportunities in digital assets. 

QCP brings to clients deep expertise gained from thriving through multiple market cycles. A global market maker in digital asset derivatives with a vast network of liquidity providers and counterparties, we are shaping the future of digital asset markets through greater access and efficiency. 

We offer a range of tailored derivatives and spot trading as well as structured solutions to institutional, professional and accredited investors. We also provide 24/7 liquidity across various markets in partnership with various exchanges and platforms. 

QCP is headquartered in Singapore and is supported by a strong team of professionals in trading, business development, operations, risk and compliance teams.

Our in-house publications track the constantly evolving state of digital assets and markets, and can be accessed on our Telegram (t.me/QCPbroadcast), website (qcpgroup.com), Twitter (@qcpgroup) and LinkedIn.

Responsibilities

As an Entry-Level Cloud Engineer at QCP Capital, you will play a key role in supporting the design, implementation, and maintenance of our AWS infrastructure. You will be part of the Technology Operations team, reporting to the Head of Technology, and will work closely with cross-functional teams to ensure our cloud-based systems' availability, scalability, and security. This is a great opportunity for a recent graduate with a passion for cloud technologies to gain hands-on experience and grow their skills in a dynamic and fast-paced environment.

• AWS Infrastructure Management
• Assist in the design, deployment, and maintenance of scalable and highly available AWS infrastructure.
• Support the implementation and management of AWS services such as ECS, EC2, S3, RDS, Lambda, Networking, and others as needed.
• Monitor and optimize resource usage, performance, reliability, and costs.
• Monitor and improve AWS network performance.
• Security and Compliance
• Participate in regular security assessments and audits to ensure compliance with industry standards.
• Work closely with the security team to assist in responding to and remediating security incidents.
• Support efforts to enhance cloud infrastructure and data protection following Well Architected Framework principles.
• Automation
• Develop basic infrastructure as code (IaC) using tools such as Terraform, CloudFormation, or the Cloud Development Kit (CDK).
• Learn to implement automation scripts to streamline routine tasks and improve operational efficiency.
• Assist in setting up CI/CD pipelines.
• Monitoring and Alerting
• Help set up and configure monitoring and alerting systems to proactively identify and resolve issues.
• Collaborate with other teams to respond to and resolve incidents.
• Collaboration
• Work closely with development and production teams to ensure seamless integration of cloud services.
• Provide technical support and assistance to team members and stakeholders as needed.

• Bachelor's degree in Computer Science, Computer Engineering, or a related field.
• 0-2 years of experience in cloud engineering, software development or related fields.
• Experience with programming languages (e.g., Python, Bash) is mandatory.
• Experience with docker and containerization is a plus.
• Good understanding of Networking.
• Familiarity with infrastructure as code tools (Terraform, CloudFormation, CDK) is a plus.
• Knowledge of CI/CD pipelines, cloud architecture, security and DevOps practices is an advantage.
• Strong problem-solving skills, eagerness to learn, and excellent communication skills.
• Able to work independently.
• Interest in building a career as a Cloud Engineer with a focus on AWS.
• AWS certifications (e.g., AWS Certified Solutions Architect, AWS Certified Developer) are an added bonus, but not required.

The Environment We Offer

As a growing firm with a tightly-knit team, we respect and listen to all our employees. You will get the chance to make an impact by having your voice heard by everyone, including the management.

Our employees enjoy a high level of autonomy at work. We focus on substance, not form - as long as you can perform, you will be recognized and rewarded. We are also dedicated to supporting our staff and ensuring they develop holistically to maximize their potential in the long- term.

We also provide flexible working arrangement as required and a casual and fun environment to boot!

Job Type: Full-Time

About Us:
AV Intelligence is a premier provider of high-end audio-visual solutions in Singapore and Malaysia, specializing in customized home theaters, premium sound systems, and integrated AV solutions for residential and commercial spaces. We pride ourselves on exceptional service, quality, and innovation. We are currently looking for an AV Installation Assistant to join our team and support our installation operations.

Job Summary:
The AV Installation Assistant/Engineer will work closely with our skilled installation team to set up and configure audio-visual systems for our clients. This role is perfect for someone with a passion for AV technology, an eye for detail, and a commitment to delivering high-quality work.

Key Responsibilities:

• Assist/ conduct in the installation, configuration, and troubleshooting of AV systems, including home theaters, audio systems, and other AV equipment.
• Help in / conduct cutting ceilings, running and organizing cabling, wiring, and mounting of equipment.
• Ensure the proper setup, alignment, and calibration of equipment for optimal performance.
• Maintain and organize tools, equipment, and supplies required for installations.
• Assist in testing systems post-installation to verify functionality and quality.
• Provide support in educating clients on basic system operation and troubleshooting.

Qualifications:

• Prior experience in AV installation, electrical work, or technical support is an advantage but not required; training will be provided.
• Basic understanding of AV systems, components, and wiring (preferred).
• Ability to use basic hand tools and follow installation instructions accurately.
• Excellent attention to detail and commitment to quality work.
• Strong communication skills and a positive attitude.
• Physical ability to lift equipment and work on ladders as required.

Preferred Qualifications:

• Familiarity with AV brands and equipment is a plus.
• Basic understanding of audio calibration and setup is an advantage.

Working Hours:

• Full-time.
• 5 days a week
• 9:30am -6:30pm
• Closed on Public Holidays
• 14 days a year

Remuneration

• Basic
• Bonus subject to your and Company's performance
• Mobil allowance
• Transport allowance
• Your remueration will be subject to your experience.
• The salary will be range posted is including the minimum bonus

How to Apply:
Please send your resume and a brief cover letter to [email protected] with the subject line "AV Installation Assistant Application - AV Intelligence."

AV Intelligence is committed to creating an inclusive environment and welcomes applications from all qualified individuals.

About the Company:

Dbiz is a high-performing product and engineering company that partners with organizations to build out digital solutions using the right technology at the right time. We pride ourselves on our innovative use of technology in various ways.

Role Summary:

We are seeking a talented and experienced Senior Outsystems Developer to join our dynamic team. The ideal candidate will have a strong background in developing and implementing solutions using the Outsystems platform, with proficiency in .NET, SQL, and JavaScript. This role involves designing, developing, and optimizing applications to meet business needs effectively.

Key Responsibilities:

• Design, develop, and maintain applications using the Outsystems platform.
• Utilize .NET, SQL, and JavaScript to create robust and scalable solutions.
• Collaborate with business stakeholders to understand requirements and translate them into technical solutions.
• Implement best practices in coding and application development.
• Troubleshoot and resolve application issues, ensuring optimal performance and user experience.
• Perform code reviews and provide mentorship to junior developers.
• Stay current with Outsystems updates and emerging technologies to continuously enhance skills and knowledge.
• Ensure adherence to project timelines and deliver high-quality solutions within deadlines.

Qualifications:

• Bachelor’s degree in Computer Science, Information Technology, or a related field.
• 2+ years of professional experience in software development with a focus on Outsystems, .NET, SQL, and JavaScript.
• Proven experience in developing and deploying applications using the Outsystems platform.
• Strong proficiency in the .NET framework and associated technologies.
• Extensive experience with SQL databases and writing complex queries.
• Advanced knowledge of JavaScript and its frameworks/libraries.
• Excellent problem-solving skills and attention to detail.
• Strong communication skills and ability to work collaboratively in a team environment.
• Experience in agile development methodologies is a plus.

Preferred Skills:

• Certifications in Outsystems or related technologies.
• Experience with the integration of Outsystems with other systems and APIs.
• Knowledge of cloud platforms and DevOps practices.

Life at Dbiz:

• Competitive salary and attractive benefits
• Dynamic and innovative work environment
• Opportunities for personal growth and development
• Engaging and collaborative company culture

Job Title: Assistant Field Service Engineer (1-Year Contract)

Company: [Global MNC Company in Power Solutions]

Location: [Location]

Job Summary:
Join our team as an Assistant Field Service Engineer, where you will assist in testing, commissioning, and startup operations for transformers and switchgear. Ideal candidates have 1-2 years of experience in electrical engineering or field service, with a strong interest in power equipment and safety practices.

Key Responsibilities:

• Support the testing, commissioning, and start-up of transformers and switchgear on-site.
• Assist senior engineers in troubleshooting and ensuring systems operate according to specifications.
• Conduct routine inspections, maintenance, and documentation of service activities.
• Adhere to all safety guidelines and work collaboratively with on-site teams to ensure smooth operations.

Qualifications:

• Diploma in Electrical Engineering or a related field.
• 1-2 years of experience in field service, ideally with power systems or heavy electrical equipment.
• Basic knowledge of transformers, switchgear, and safety standards.
• Strong communication skills and willingness to travel to various project sites.

For interested applicant, kindly send your resume in Word/PDF format to include the following in your resume:

1. Current Salary

2. Expected Salary

3. Availability

4. Reason for leaving

Thank you for your application and we regret that only shortlisted applicants will be notified

By submitting any application or resume to us, you will be deemed to have agreed & consented to us collecting, using, retaining & disclosing your personal information to prospective employers with the services provided by us.

License No: 23S1595

Registration No: R23116355

• Mondays to Fridays; Office hours

• Walking distance from MRT Station

• Salary: S$2500-2800/month

Job Responsibilities:

• Perform total preventive maintenance (TPM) procedures, inspections, basic troubleshooting on mechanical and hydraulic equipment/equipment failure

• Conduct regular maintenance tasks at the facilities

• Allocate appropriate resources to execute work orders

• Assess the need of mechanical spare parts to avoid delays in TPM

• Maintain and complete timely records

• Organise small workshop activities, incorporate efficient ways to maintain new equipment/plant, supervise external vendors

• Be involved in installation and commissioning processes

• Ensure all maintenance activities carried out are according to policies and regulations

• Assist Maintenance Supervisor (Mechanical) when needed

• Perform ad-hoc duties as required

Job Requirements:

• Minimum NITEC / Diploma in Mechanical Engineering or equivalent and above

• Minimum 1-2 years’ experience in a Power Plant environment

• Preferrable to have knowledge in plant operations

Interested and suitable candidates, please email your CV in MS Word to

[email protected]

Ammerline Lam Sze Yi (Ms)

Division Manager

CEI Registration No.: R1104463

Celecti Pte Ltd.

EA License: 16C8045

Personal Data Protection

“By submitting your curriculum vitae or disclosing your personal information in connection with your job application, you are deemed to have read and agreed to the terms of our Privacy Policy, and consented to the collection, use and disclosure of your personal data by us, in accordance with our Privacy Policy. Please access our website at www.celecti.com.sg for a copy of our Privacy Policy.”

We are seeking a electrical technician to join ourteam in Singapore.

The ideal candidate should

Job responsibilities

- installation of all types of CCTV/ door access ,etc.

- perform service & repair all types of CCTV/door access system.

- perform checking maintenance andtroubleshooting of CCTV/door access.

- Any other duties as assigned by Managerduring project, from time to time.

- perform handover with customer after jobcompleted.

Job requirement

- At least 4 Year(s) of working experience inelectrical work /installation /

- Have ITC/Diploma in Electrical may bepreferred.

- Be mild-tempered

- Be able to work overtime when required.

- Applicant with CSOC/BCSS cert may bepreferred.

- Required language (s): English (written andspoken)

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 manner as possible.

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

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

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

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

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

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

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

• Performs administrative functions and provides administrative support to project team and/or executive group in field or office as designated by management.
• Transcribe and distribute project documents and correspondence such as the subcontract base, subcontracts, purchase orders and various letters, create and maintain paper and electronic project flies according to company’s guidelines.
• Maintain and track project information for project team as directed.
• Follow up with subcontractors regarding project paperwork, eg. claim, certificate, delivery order etc as needed.
• Assist project team with closeout coordination and preparation of O & M manuals.
• Work with Executive Director / project manager(s) a directed to achieve departmental objectives.
• Assist Executive Director / project managers to prepare project documentation, eg cashflow, progress claim to client, project insurance, schedules etc.
• Order supplies for project team/office.
• Maintain personal, office and jobsite space and filing in a neat and organized manner.
• Set up project binders and order project drawings from local printing resources.
• Assist project team in the preparation and distribution of project punch lists to venders/subcontractors.
• Archive all project documentation according to company and/or client requirement.
• Participate in project and/or team meetings as needed.
• Assist with daily planning of managers schedules, meetings, interviews and possibly travel (through corporate agency), if assigned.
• Assist in the implementation of new procedures as designated by company.

Are you a recent graduate (0-3years) excited to dive into the world of testing and development? We’re looking for dynamic individuals to join our Research & Development Engineering team as an Engineering Assistant. Reporting to the Test and Lab Manager, you’ll play an important role in our prototype building, testing, and troubleshooting activities for power supplies.

Key Responsibilities:

• Prototype Building & Assembly: Lead the assembly of PCBA prototypes and power supplies.
• Component Management: Prepare and manage electrical and mechanical components for prototype building.
• Testing & Troubleshooting: Perform basic functional tests, EMI/EMC tests, and troubleshoot power supplies.
• Inventory Management: Oversee R&D electrical and mechanical component inventories, product samples, and lab consumables.
• Equipment Maintenance: Ensure the maintenance of equipment for daily tasks.
• Documentation: Prepare necessary documents for laboratory and equipment needs.
• Ad Hoc Support: Assist with occasional tasks assigned by the company.

Why Join Us?

• Innovative environment: Work on cutting-edge projects in a collaborative setting.
• Career growth: Opportunities for professional development and career advancement.
• Engaging work culture: Activities and a work environment that is employee-centric

Essential Duties and Responsibilities:

• Learns to conduct routine analyses in compliance with applicable methods, protocols, SOPs, and regulatory agency guidelines.
• Learns how to document work and maintain study documentation and laboratory records.
• Learns how to use laboratory equipment and software appropriate for assigned tasks.
• Learns to carry out testing on all aspects of work and calibration of equipment in the respective section when necessary.
• Learns to highlight abnormalities and discrepancies in the testing, calibration and results.
• Learns to perform the duties of a Quality Officer for the section
• Attends and participates in project meetings.
• Learns to perform peer review of data.
• Learns to highlight abnormalities and discrepancies in the testing, calibration and results.
• Contributes to a cohesive team environment. Plans individual workload in coordination with team members.
• General laboratory work like sample receipt and registration, preparation of sample bottles and helping to maintain cleanliness of laboratory, equipment and apparatus.
• Maintains a clean and safe laboratory work environment.
• Conducts all activities in a safe and efficient manner
• Assist the Lab Manager/Senior Chemist in all aspects of work in the respective section.
• Demonstrate and promotes the company vision.
• Regular attendance and punctuality.
• Performs other duties as assigned.

• Assist the Chief Engineer and/or Maintenance Officer to issue Work Orders / HotSOS to Duty Engineers and Technicians.
• To compile all hardcopies of Daily Activities, Meter Readings and Maintenance Report and transfer in engineering e-folder.
• Preparation and submission of Monthly Maintenance and Utilities Report.
• Check the work load and efficiency of various sections.
• To monitor and update Maintenance Schedule for both in-house Engineering Team and outsource Contractors on daily basis.
• Ensure Duty Personnel and Vendors carry out the Room Preventive Maintenance (RPM) and the Periodic Plant Maintenance (PPM) works according to the scheme and schedule.
• Filing of Vendor’s Service Reports, Invoices and other documents.
• To assist Chief Engineer and/or Maintenance Officer on Licensing and Maintenance Contracts expiry and renewal.

We are seeking a dynamic Junior Backend Engineer to provide a quick and satisfactory service at our agents' fingertips tailored to the local challenges to resolve our customer issues. The Agent Platform global team develops solutions for service agents across all DeliveryHero brands including foodpanda to serve a holistic group of users which includes customers, vendors and riders.

Responsibilities:

• Designing and implementing the features which will be used across the global platform.
• Manage project priorities, deadlines and deliverables within autonomous teams.
• Contributing to designing and evolving the system architecture to meet current needs and support future growth and technologies.
• Enforcing coding standards and conducting thorough code reviews to maintain high-quality codebase. Implement automated testing frameworks to catch bugs early and ensure software reliability.
• Work in a cross-functional and international team to deliver a holistic solution.
• Good understanding and independent application of cloud environment, CI/CD, testing and validation.
• Independently applies design patterns and best practices in reliability management (resiliency, autoscaling, monitoring, alerting).
• Identifying and resolving complex technical issues in software and infrastructure, continuously optimising for performance and scalability.

• MNC - subsidiary office
• Attractive Benefits
• 5 days work week

Job Description

• Responsible for projects management (pre-sales), technical activities including AutoCad drawings & electrical wirings
• Liaise with sub-contractors, vendors and customers for costs & leadtime
• Liaise with local and overseas customers
• Time and cost management of projects

Requirements

• ITE Diploma
• Knowledge in Autocad is a must
• Microsoft Office & Excel
• Good electrical & wiring background would be an advantage
• Knowledge in explosion proof product is a plus but not a must
• Well organised with good attention to details

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